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 $\infty$-Giraud axioms of universal $\infty$-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 $(\infty,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_\to}_i X_i, A] \simeq {\lim_\leftarrow}_i [X_i, A] \,.$I have added statement and proof (last one in this section) that internal hom out of a constant $\infty$-stack produces the powering over $\infty$-groupoids
$[LConst S, A] \simeq A^S$added to the Properties-section a subsection with a remark on powering.
1 to 6 of 6