Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I keep working on the entry now titled homotopy groups in an (infinity,1)-topos (used to be "homotopy groups of an oo-stack").
The following subsections I added
Geometric Pi_oo of the terminal object in a locally connected oo-topos
Geometric Pi_0 of a genral object in a locally connected topos
Examples (meaning: general examples, neither purely categorical nor geometrical, currently a discussion of simple examples that distinguish the two notions)
This all needs more work. But I'll stop for a moment and instead start now an entry on locally n-connected (oo,1)-toposes, which I need for further discussion here.
added a brief section on n-connected and n-truncated objects to homotopy groups in an (infinity,1)-topos
The entry became too long for my taste, now that I want to work on the first part, so I split it into two sub-entries
1 to 3 of 3