# Tagged Questions

53 views

### Torsors for 2-groups

Let $\mathbb{G}$ be a 2-group, by which I mean a strict monoidal category in which all objects are invertible (up to coherent isomorphisms) and all morphisms are invertible (strictly). What is the ...
225 views

### Where to get help with Homotopy type theory?

I'm trying to understand the Homotopy Type Theory book. I find myself completely lost in Chapter 2, especially when it starts using higher groupoids. What is the recommended background for this book? ...
75 views

### Should the first be the last by composition of paths?

Given two paths $f,g:\mathbb{I}\rightarrow X$ with $f\left(1\right)=g\left(0\right)$ there is a composite $f.g$ defined by $t\mapsto f\left(2t\right)$ if $2t\leq1$ and $t\mapsto g\left(2t-1\right)$ ...
379 views

### Statement about Homotopy in Brown's “Topology & Groupoids”

I am trying to understand a statement in Brown's Topology and Groupoids, 7.2.5 (Corollary 1), page 270. Let's first have some preliminary remarks Let $X,Y$ be topological spaces. The track groupoid ...
247 views

### can the statement “a simplicial set is the nerve of a category if and only if it satisfies a horn-filling condition” be tweaked for groupoids?

For some reason I convinced myself that a simplicial set (or maybe I mean directly Kan complex) is homotopy equivalent to the nerve of a groupoid if and only if it has no higher homotopy groups. Is ...
### Topological Space as an $(\infty,0)$-category
Given a topological space $X$, we may wish to consider it as an $(\infty,0)$-category, where the objects are the points of the space, the 1-morphisms are continuous paths between points, the ...