scientific article; zbMATH DE number 2006632

zbMATH Open1024.03066arXivmath/0006091MaRDI QIDQ4436028FDOQ4436028

Authors: Kosta Došen, Zoran Petrić 

Publication date: 23 November 2003

Full work available at URL: https://arxiv.org/abs/math/0006091

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

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

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)

Cited In (7)

• Toward weakly enriched categories: co-Segal categories
• Bicartesian coherence
• Cartesian bicategories. I
• Title not available (Why is that?)
• Cohesive categories and manifolds
• Coherence for bicategorical cartesian closed structure
• The maximality of Cartesian 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 Q4436028)