scientific article; zbMATH DE number 578741

zbMATH Open0801.18007MaRDI QIDQ4293571FDOQ4293571

Authors:

Publication date: 18 July 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• A categorical proof of a useful result
• Title not available (Why is that?)
• On varieties of closed categories and dependency of diagrams of canonical maps
• Title not available (Why is that?)

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)