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.
created shape of an (infinity,1)-topos
I added a simple but maybe useful observation to a new section Shape of an essential retract at shape of an (infinity,1)-topos.
I noticed that in HTT, Lurie actually defines Pro(C), for a large (∞,1)-category C, to be the (opposite of the) category of accessible left-exact functors from C to ∞Gpd. I think that fixes all my worries about it being the wrong definition. I added comments about this to shape of an (∞,1)-topos and pro-object in an (∞,1)-topos.
Ah, thanks. My fault.
(Your last link is supposed to go to pro-object in an (infinity,1)-category.)
1 to 4 of 4