scientific article; zbMATH DE number 7618933
From MaRDI portal
Publication:5048019
Publication date: 17 November 2022
Full work available at URL: https://arxiv.org/abs/2107.07621
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Cartesian bicategories. I
- Coherence for compact closed categories
- Categorical logic and type theory
- Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999
- Yoneda structures from 2-toposes
- Span, Cospan, and Other Double Categories
- Framed bicategories and monoidal fibrations
- Discrete Double Fibrations
- The comprehensive factorization of a functor
- A unified framework for generalized multicategories
- Augmented virtual double categories
- Algebraic Kan extensions in double categories