scientific article; zbMATH DE number 2006632

MaRDI QIDQ4436028zbMATH OpenFDO

Authors Kosta Došen, Zoran Petrić

Publication date 23 November 2003

Full work available at URL https://arxiv.org/abs/math/0006091, http://link.springer.de/link/service/series/0558/bibs/2183/21830078.htm

zbMATH Keywords

categorial proof theoryconjunction and disjunctiondecidability of equality of deductions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Categorical logic, topoi (03G30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Recommendations

• Coherence for bicategories and indexed categories
• Coherence for bicategorical cartesian closed structure
• Algebraically coherent categories
• Coherence for closed categories with biproducts
• Coherence for bicategories, lax functors, and shadows
• Coherent functors and covariantly finite subcategories
• Cohomologies et extensions de catégories.
• scientific article; zbMATH DE number 4108979
• Cohomological correspondence categories
• Coherence completions of categories

Cited in

(7)

• Toward weakly enriched categories: co-Segal categories
• The maximality of Cartesian categories
• scientific article; zbMATH DE number 7352262 (Why is no real title available?)
• Cohesive categories and manifolds
• Coherence for bicategorical cartesian closed structure
• Cartesian bicategories. I
• Bicartesian coherence

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