1 problem

0 votes0 replies0 views
Accessibility conjecture for models of appropriately nice PIE-limit 2-theories
An appropriately nice PIE-limit 2-theory is a two-dimensional theory whose models and pseudo morphisms form the 2-category under consideration. Accessibility conjecture. The 2-cate…
Conjectureopen2-categories accessible-categories limit-sketchesarXiv posted 2 days ago

Accessibility conjecture for models of appropriately nice PIE-limit 2-theories