3 problems

0 votes0 replies1 view
Classification conjecture for quantum modalities on diagram infinity-topoi
Classification conjecture for quantum modalities. There exists a coreflective full subcategory $\mathcal{D}\hookrightarrow\mathcal{C}$ such that $Q\cong r^{*}$ for the coreflector…
Conjectureopencategory-theory cohesive-topoi infinity-topoiarXiv posted 2 days ago
0 votes0 replies0 views
The conjecture that every infinity-topos models homotopy type theory
An $\infty$ -topos is a higher topos, providing a homotopy-theoretic setting for interpreting dependent type theory. Every-infinity-topos conjecture. Every $\infty$ -topos models hom…
Conjectureopenhomotopy-type-theory infinity-topoi localization-theoryarXiv posted 2 days ago
0 votes0 replies0 views
Joyal's conjecture on presentable stable infinity-categories as infinity-loci
Joyal's conjecture. Every presentable stable $\infty$ -category is an $\infty$ -locus.
Conjectureopeninfinity-categories infinity-topoi stable-categoriesarXiv posted 2 days ago

Classification conjecture for quantum modalities on diagram infinity-topoi