1 problem

0 votes0 replies0 views
Non-equivalence of theories and homotopy 2-theories
Non-equivalence conjecture. The categories $\widetilde{\bf Theories}$ and $Ho(\widetilde{\bf 2Theories})$ are not equivalent.
Conjectureopen2-theories category-theory homotopy-theoryarXiv posted 2 days ago

Non-equivalence of theories and homotopy 2-theories