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

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

Type: Article

Publication Date: 2023-09-28

Citations: 2

DOI: https://doi.org/10.1007/s10485-023-09750-z

Similar Works

Action	Title	Year	Authors
+	From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness	2022	T. A. Fritz Fabio Gadducci Davide Trotta Andrea Corradini
+ PDF Chat	Monoidal Company for Accessible Functors	2017	Henning Basold Damien Pous Jurriaan Rot
+	Functional completeness of cartesian categories	1974	J. Lambek
+	Lifting closed and monoidal structures along semitopological functors	1979	Georg Grev
+	Monoidal categories and functors	1998
+	Strong functors and monoidal monads	1972	Anders Kock
+	Monoidal categories	1972	J. P. May
+	Monoidal Categories	2024
+	Monoidal categories	2010	Marcelo Aguiar Swapneel Mahajan
+	Monoidal categories	2015	Pavel Etingof Shlomo Gelaki Dmitri Nikshych Victor Ostrik
+	Monoidal categories	2010
+	Cartesian closed functor-structured categories	1980	Jiřı́ Adámek Vácłav Koubek
+	Monoidal functors	2010	Marcelo Aguiar Swapneel Mahajan
+	Languages for monoidal categories	1989	C. Barry Jay
+ PDF Chat	Double construction for monoidal categories	1995	Christian Kassel Vladimir Turaev
+	Extracting a proof of coherence for monoidal categories from a formal proof of normalization for monoids	1996	Peter Dybjer Ilya Beylin
+	Hilbert's Theorem 90 in monoidal categories	2022	Ahmed Al-Rawashdeh Bachuki Mesablishvili
+	Locally cartesian closed categories, coalgebras, and containers	2013	Tilo Wiklund
+	Cartesian closure — Higher types in categories	1986	Axel Poigné
+	Quantifier-complete categories	1976	M. E. Szabo

Action	Title	Year	Authors
+	A Framework for Universality in Physics, Computer Science, and Beyond	2024	Tomáš Gonda Tobias Reinhart Sebastian Stengele Gemma De las Cuevas
+	A Framework for Universality in Physics, Computer Science, and Beyond	2023	Tomáš Gonda Tobias Reinhart Sebastian Stengele Gemma De las Cuevas

Action	Title	Year	Authors
+	Sheaves in Geometry and Logic: A First Introduction to Topos Theory	2018	Saunders MacLane Galdós Ieke Moerdijk
+	None	1999	Andrea Corradini Fabio Gadducci
+ PDF Chat	Restriction categories I: categories of partial maps	2002	J.R.B. Cockett Stephen Lack
+	Categories of partial maps	1988	E. Powell Robinson Giuseppe Rosolini
+	Strong functors and monoidal monads	1972	Anders Kock
+	Coalgebras and cartesian categories	1976	Thomas F. Fox
+	Monads on symmetric monoidal closed categories	1970	Anders Kock
+	Restriction categories II: partial map classification	2003	J.R.B. Cockett Stephen Lack
+ PDF Chat	Restriction categories III: colimits, partial limits and extensivity	2007	Robin Cockett Stephen Lack
+ PDF Chat	Model Categories of Diagram Spectra	2001	Michael A. Mandell J. P. May Stefan Schwede Brooke Shipley