1 problem

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$,…