From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
From MaRDI portal
Publication:6077384
DOI10.1007/s10485-023-09750-zarXiv2205.06892OpenAlexW4387117477MaRDI QIDQ6077384
Fabio Gadducci, Davide Trotta, Tobias Fritz, Andrea Corradini
Publication date: 18 October 2023
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2205.06892
Kleisli categoryYoneda embeddingspan categorycartesian bicategoryfunctorial completenessgs-monoidal category
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- Cartesian bicategories. I
- Categories of partial maps
- Sheaves in geometry and logic: a first introduction to topos theory
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Semantics of weakening and contraction
- Restriction categories II: Partial map classification
- Axiomatic description of categories of information transformers
- From probability monads to commutative effectuses
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- An algebraic presentation of term graphs, via gs-monoidal categories
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- Monads on symmetric monoidal closed categories
- Strong functors and monoidal monads
- Model Categories of Diagram Spectra
- A Survey of Graphical Languages for Monoidal Categories
- Monoidal Functors, Species and Hopf Algebras
- A Term-Graph Syntax for Algebras over Multisets
- Cartesian Bicategories II
- Coalgebras and cartesian categories
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
- Graphical Conjunctive Queries.
- Probability, valuations, hyperspace: Three monads on top and the support as a morphism
- A Convenient Category for Higher-Order Probability Theory
- Disintegration and Bayesian inversion via string diagrams
- On closed categories of functors
- Construction of biclosed categories
- Bilinearity and Cartesian Closed Monads.
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Restriction categories III: colimits, partial limits and extensivity
- Restriction categories. I: Categories of partial maps
- Representable Markov categories and comparison of statistical experiments in categorical probability
This page was built for publication: From gs-monoidal to oplax cartesian categories: constructions and functorial completeness