Terms
Terms and definitions related to Higher Topos Theory.
- (Infinity,1)-Category
- (Infinity,1)-Topos
- Adjunction
- Basis
- Closed Set
- Compactness
- Continuous Map
- Contractible
- Cover
- Directed Homotopy
- Fundamental Group
- Geometric Morphism
- Glue
- Homeomorphism
- Homotopy
- Homotopy Equivalence
- Homotopy Group
- Homotopy Type
- Infinity-Category
- Lawvere-Tierney Topology
- Open Set
- Path
- Presheaf
- Restriction
- Sheaf
- Sheaf Condition
- Sheaf of Spaces
- Site
- Subobject Classifier
- Topological Space