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.
started adding to (infinity,1)-topos a section on the (oo,1)-category of (oo,1)-toposes.
added to (infinity,1)-topos the article by Charles Rezk where he effectively (somewhat secretly) discusses the ∞-Giraud axioms of universal ∞-colimits in model theoretic terms. Also the followup by Wendt.
(I am sure I referenced Rezk’s article elsewhere already on the nLab. But not sure where! And it needs to be listed here in this entry.)
added a section Closed monoidal structure with statement and proof that every (∞,1)-topos is a cartesian closed (infinity,1)-category.
added in that section statement and proof that the internal hom in an infty-topos respects finite colimits in the first argument:
[lim→iXi,A]≃lim←i[Xi,A].I have added statement and proof (last one in this section) that internal hom out of a constant ∞-stack produces the powering over ∞-groupoids
[LConstS,A]≃ASadded to the Properties-section a subsection with a remark on powering.
1 to 6 of 6