scientific article; zbMATH DE number 15880

MaRDI QIDQ3972526zbMATH OpenFDO

Authors

Publication date 25 June 1992

zbMATH Keywords

balanced sequentsbiclosed categoriescoherencederivationslambda termssymmetric monoidal closed categories

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Foundations, relations to logic and deductive systems (18A15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• scientific article; zbMATH DE number 17524
• Coherence for star-autonomous categories
• Coherence for closed categories with biproducts
• On the conditions of full coherence in closed categories
• Applications of methods of proof theory in category theory.

Cited in

(10)

• Coherence in category theory and the Church-Rosser property
• Proof of a conjecture of S. Mac Lane
• Coherence for closed categories with biproducts
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Generalised Proof-Nets for Compact Categories with Biproducts
• Intensional Equality in Categories With Structure and Coherence Problems
• scientific article; zbMATH DE number 17524 (Why is no real title available?)
• scientific article; zbMATH DE number 578741 (Why is no real title available?)
• Coherence in Cartesian closed categories and the generality of proofs
• On the conditions of full coherence in closed categories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3972526)