Showing math.CTShow all
2 papers · 1 filter
math.CT2000
Coherence, Homotopy and 2-Theories
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.…
math.CT1999
The Syntax of Coherence
Noson S. Yanofsky
This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with st…