From gs-monoidal to oplax cartesian categories: constructions and functorial completeness

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

zbMATH Keywords

Kleisli categoryYoneda embeddingspan categorycartesian bicategoryfunctorial completenessgs-monoidal category

Mathematics Subject Classification ID

Category theory; homological algebra (18-XX)

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