From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness

T. A. Fritz, Fabio Gadducci, Davide Trotta, Andrea Corradini

Type: Preprint

Publication Date: 2022-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.2205.06892

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Completeness and expressiveness for gs-monoidal categories	2022	Andrea Corradini Fabio Gadducci Davide Trotta
+	From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness	2023	T. A. Fritz Fabio Gadducci Davide Trotta Andrea Corradini
+ PDF Chat	Coherence in cartesian theories using rewriting	2024	Samuel Mimram
+ PDF Chat	Rewriting in Free Hypergraph Categories	2017	Fabio Zanasi
+	Computational descriptions of higher categories	2021	Simon Forest
+	Semi-galois Categories I: The Classical Eilenberg Variety Theory	2015	Takeo Uramoto
+	Categories enriched over oplax monoidal categories	2022	Thomas Basile Damien Lejay Kevin Morand
+	Five Basic Concepts of Axiomatic Rewriting Theory.	2016	Paul-André Melliès
+	Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads	2014	Dimitri Chikhladze
+	Pre-rigid Monoidal Categories	2022	Alessandro Ardizzoni Isar Goyvaerts Claudia Menini
+	Rewriting in Gray categories with applications to coherence	2021	Simon Forest Samuel Mimram
+	Cartesian bicategories with choice	2020	Filippo Bonchi Jens Seeber Paweł Sobociński
+	Cartesian bicategories with choice.	2020	Filippo Bonchi Jens Seeber Paweł Sobociński
+	Dynamic Tracing: a graphical language for rewriting protocols	2023	Kristopher Brown David I. Spivak
+	Rewriting in Gray categories with applications to coherence	2022	Simon Forest Samuel Mimram
+	Five Basic Concepts of Axiomatic Rewriting Theory	2016	Paul-André Melliès
+ PDF Chat	Transposing cartesian and other structure in double categories	2024	Evan Patterson
+	Computational category-theoretic rewriting	2021	Kristopher Brown Evan Patterson Tyler Hanks James Fairbanks
+	Hypergraph Categories	2018	Brendan Fong David I. Spivak
+ PDF Chat	From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms	2024	Juan Climent Vidal Enric Cosme Llópez

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors