49 citations · 51 across the 2 of their papers we have counts for
1 paper · 1 filter
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…