1 paper · 1 filter
Noson S. Yanofsky
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure.…