Double categories of relations
From MaRDI portal
Publication:5048019
Authors: Michael Lambert
Publication date: 17 November 2022
Full work available at URL: https://arxiv.org/abs/2107.07621
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Recommendations
Cites Work
- Title not available (Why is that?)
- Categorical logic and type theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- The comprehensive factorization of a functor
- Cartesian bicategories. I
- Yoneda structures from 2-toposes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic Kan extensions in double categories
- Coherence for compact closed categories
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Title not available (Why is that?)
- Framed bicategories and monoidal fibrations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A unified framework for generalized multicategories
- Title not available (Why is that?)
- Span, cospan, and other double categories
- Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999
- Discrete double fibrations
- Augmented virtual double categories
- Title not available (Why is that?)
Cited In (9)
- Formal category theory in augmented virtual double categories
- Categories of relations and functional relations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cartesian double theories: a double-categorical framework for categorical doctrines
- 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)