scientific article; zbMATH DE number 578741

MaRDI QIDQ4293571zbMATHFDO

Authors

Publication date 18 July 1994

zbMATH Keywords

proof theoryenriched categoriessymmetric monoidal closed categoriescommutative diagrams

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)

Recommendations

• scientific article; zbMATH DE number 17524
• On the conditions of full coherence in closed categories
• Proof of a conjecture of S. Mac Lane
• scientific article; zbMATH DE number 15880

Cited in

(4)

• scientific article; zbMATH DE number 17524 (Why is no real title available?)
• On varieties of closed categories and dependency of diagrams of canonical maps
• A categorical proof of a useful result
• scientific article; zbMATH DE number 1537938 (Why is no real title available?)

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 Q4293571)