1 problem

0 votes0 replies0 views
The Generalized Pushout Conjecture for infinity-groupoids and controlled theories
The Generalized Pushout Conjecture. The following statements hold: first, the map $p:X\to X_+$ is a weak equivalence; second, given a connected diagram of controlled theories $J$ ,…
Conjectureopencontrolled-theories infinity-groupoids model-categoriesarXiv posted 2 days ago

The Generalized Pushout Conjecture for infinity-groupoids and controlled theories