Pages that link to "Item:Q3972526"
From MaRDI portal
The following pages link to On conditions of full coherence in biclosed categories: A new application of proof theory (Q3972526):
Displaying 9 items.
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- On the conditions of full coherence in closed categories (Q757581) (← links)
- 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)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Generalised Proof-Nets for Compact Categories with Biproducts (Q3560838) (← links)
- Intensional Equality in Categories With Structure and Coherence Problems (Q3774045) (← links)
- On conditions of total coherence in closed categories (Q3974848) (← links)