scientific article; zbMATH DE number 3783245
From MaRDI portal
Publication:3961635
Cites work
- A notion of limit for enriched categories
- Cauchy characterization of enriched categories
- scientific article; zbMATH DE number 3508697 (Why is no real title available?)
- scientific article; zbMATH DE number 3605078 (Why is no real title available?)
- Introduction to bicategories
- Yoneda structures on 2-categories
Cited in
(53)- Lawvere completeness in topology
- Proarrows and cofibrations
- Fibrations and partial products in a 2-category
- Modulated bicategories
- An embedding theorem for tangent categories
- String diagrams for traced and compact categories are oriented 1-cobordisms
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
- A categorical approach to the maximum theorem
- Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\)
- An axiomatics for bicategories of modules
- The formal theory of monads. II
- Gapped boundary theories in three dimensions
- Morphisms of colimits: from paths to profunctors
- Injective hulls of quantale-enriched multicategories
- An introduction to quantaloid-enriched categories
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Algebraic databases
- scientific article; zbMATH DE number 4191968 (Why is no real title available?)
- scientific article; zbMATH DE number 3933292 (Why is no real title available?)
- scientific article; zbMATH DE number 29047 (Why is no real title available?)
- Lax algebra meets topology
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- Completely and totally distributive categories. I.
- Triposes, q-toposes and toposes
- Discrete double fibrations
- Double categories of relations
- Augmented virtual double categories
- Concurrent Process Histories and Resource Transducers
- From coherent structures to universal properties
- A formal logic for formal category theory
- Formal category theory in augmented virtual double categories
- Protocol choice and iteration for the free cornering
- Situated transition systems
- Cartesian double theories: a double-categorical framework for categorical doctrines
- The formal theory of relative monads
- Enhanced 2-categories and limits for lax morphisms
- Traced monoidal categories as algebraic structures in Prof
- Automata and coalgebras in categories of species
- From thin concurrent games to generalized species of structures (extended version)
- Univalent enriched categories and the enriched rezk completion
- Automata and coalgebras in categories of species
- Bicategories of automata, automata in bicategories
- Colax adjunctions and lax-idempotent pseudomonads
- The univalence principle
- Transposing cartesian and other structure in double categories
- Doubly weak double categories
- Length of fully faithful framed bicategories
- Double categories of profunctors
- Insights from univalent foundations: a case study using double categories
- Univalent enriched categories and the enriched Rezk completion
- Double categories of open systems: the cospan approach
- Cofibrations in the bicategory of topoi
- Enriched categories as a free cocompletion
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 Q3961635)
