Pages that link to "Item:Q2373695"
From MaRDI portal
The following pages link to Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695):
Displaying 5 items.
- Coherence in category theory and the Church-Rosser property (Q1187545) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- Applications of methods of proof theory in category theory. (Q2744122) (← links)