The following pages link to Toposes as homotopy groupoids (Q1813668):
Displaying 7 items.
- On the construction of the Grothendieck fundamental group of a topos by paths (Q678834) (← links)
- Every étendue comes from a local equivalence relation (Q1208192) (← links)
- Representing topoi by topological groupoids (Q1295576) (← links)
- Toposes are Cohomologically Equivalent to Spaces (Q3197989) (← links)
- An addendum to “Path-lifting for Grothendieck toposes" (Q4372348) (← links)
- Sheaf Representations and Duality in Logic (Q5014593) (← links)
- Extension of topological groupoids and Hurewicz morphisms (Q6050140) (← links)