Pages that link to "Item:Q757581"
From MaRDI portal
The following pages link to On the conditions of full coherence in closed categories (Q757581):
Displaying 14 items.
- On natural transformations of distinguished functors and their superpositions in certain closed categories (Q579398) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Coherence completions of categories (Q1575878) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Full transitivity condition for the cotorsion hull. (Q2439428) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- On conditions of full coherence in biclosed categories: A new application of proof theory (Q3972526) (← links)
- On conditions of total coherence in closed categories (Q3974848) (← links)
- (Q4585075) (← links)
- Reductions in Intuitionistic Linear Logic (Q4882488) (← links)
- Proof of a S.Mac Lane conjecture (extended abstract) (Q5057466) (← links)