Pages that link to "Item:Q1377606"
From MaRDI portal
The following pages link to Proof of a conjecture of S. Mac Lane (Q1377606):
Displaying 7 items.
- Coherent homotopical algebras: ``Special gamma-categories'' (Q1372683) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- Sheaf representation of monoidal categories (Q2687340) (← links)
- (Q4585075) (← links)
