CONFIGURATION SPACE INTEGRALS AND TAYLOR TOWERS
... consisting of collections of smooth maps {αS } such that, for every map XS → XS∪{i} in the diagram, the square ...
... consisting of collections of smooth maps {αS } such that, for every map XS → XS∪{i} in the diagram, the square ...
11.
... On R-regular and R-normal spaces Proof: Since X is R-hausdorff space and x0∉Y for each x∈Y,there exist disjoint R-open sets Ux and Vx such that x0∈ Ux and x∈ Vx .The collection { Vx/ x∈Y } is evidently anR-open cover of Y.Since Y is R-compact subspace of X,finitely many points x1,x2,…xn of Y such t ...
... On R-regular and R-normal spaces Proof: Since X is R-hausdorff space and x0∉Y for each x∈Y,there exist disjoint R-open sets Ux and Vx such that x0∈ Ux and x∈ Vx .The collection { Vx/ x∈Y } is evidently anR-open cover of Y.Since Y is R-compact subspace of X,finitely many points x1,x2,…xn of Y such t ...
http://www.math.uiuc.edu/~rezk/homotopy-topos-sketch.pdf
... Corollary 1.12. Let E be a presentable category, and let L : E → D be a functor to some category D. Then L admits a right adjoint if and only if L preserves small colimits. Proof of (1.11). First suppose that E = PSh(C). Given a functor F : PSh(C)op → Sets which takes colimits to limits, define a pr ...
... Corollary 1.12. Let E be a presentable category, and let L : E → D be a functor to some category D. Then L admits a right adjoint if and only if L preserves small colimits. Proof of (1.11). First suppose that E = PSh(C). Given a functor F : PSh(C)op → Sets which takes colimits to limits, define a pr ...
Full text
... and in particular the logic of subset spaces and the logical system of topologic. This is an area of research that considers the connection between topology and modal logic, in particular epistemic logic. This area of research is relatively young as it started with the work of Alfred Tarski and J.C. ...
... and in particular the logic of subset spaces and the logical system of topologic. This is an area of research that considers the connection between topology and modal logic, in particular epistemic logic. This area of research is relatively young as it started with the work of Alfred Tarski and J.C. ...