Double categories of relations

MaRDI QIDQ5048019zbMATH OpenFDO

Authors Michael Lambert

Publication date 17 November 2022

Full work available at URL https://arxiv.org/abs/2107.07621, http://www.tac.mta.ca/tac/volumes/38/33/38-33abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

relationsbicategoriesdouble categoriesCartesian equipmentsFrobenius law

Mathematics Subject Classification ID

2-categories, bicategories, double categories (18N10) Categorification (18N25)

Recommendations

• Bicategories of spans and relations
• Cartesian bicategories. I
• What is a free double category like?
• scientific article; zbMATH DE number 19493
• scientific article; zbMATH DE number 3861406

Cites work

• scientific article; zbMATH DE number 426317 (Why is no real title available?)
• scientific article; zbMATH DE number 3933292 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 3783245 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1389226 (Why is no real title available?)
• scientific article; zbMATH DE number 3221277 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• A unified framework for generalized multicategories
• Algebraic Kan extensions in double categories
• Augmented virtual double categories
• Cartesian bicategories. I
• Categorical logic and type theory
• Coherence for compact closed categories
• Discrete double fibrations
• Framed bicategories and monoidal fibrations
• Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999
• Span, cospan, and other double categories
• The comprehensive factorization of a functor
• Yoneda structures from 2-toposes

Cited in

(10)

• Categories of relations and functional relations
• Formal category theory in augmented virtual double categories
• scientific article; zbMATH DE number 5076886 (Why is no real title available?)
• scientific article; zbMATH DE number 7646802 (Why is no real title available?)
• Cartesian double theories: a double-categorical framework for categorical doctrines
• Double Categories of Relations
• Augmented virtual double categories
• Bicategories of spans and relations
• Double bicategories and double cospans
• Relations in operational categories

This page was built for publication: Double categories of relations

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