Cover Image

Monoidal bicategories, differential linear logic, and analytic functors

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Fiore, M., Gambino, N., Hyland, M.
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science Logic 18N10, 18M45, 18F40, 18D60, 18M80
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Monoidal Kleisli Bicategories and the Arithmetic Product of Coloured Symmetric Sequences
by: Gambino, Nicola, et al.
Published: (2022)

A unified treatment of commuting tensor products of categories, operads, symmetric multicategories and their bimodules
by: Gambino, Nicola, et al.
Published: (2025)

Symmetry shifting for monoidal bicategories
by: Stenzel, Raffael
Published: (2026)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

Homodular pseudofunctors and bicategories of modules
by: Street, Ross
Published: (2026)

The higher algebra and geometry of monoidal bicategories
by: Stenzel, Raffael
Published: (2026)

Integration of a categorical operad
by: Trnka, Dominik
Published: (2025)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

Limits and colimits of synthetic $\infty$-categories
by: Martínez, César Bardomiano
Published: (2022)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)

Homotopy Languages
by: Martínez, César Bardomiano, et al.
Published: (2025)

Dynamical systems as enriched functors
by: Das, Suddhasattwa, et al.
Published: (2025)

Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)

Layered Monoidal Theories II: Fibrational Semantics
by: Lobski, Leo, et al.
Published: (2026)

Model theory in compactly generated (tensor-)triangulated categories
by: Prest, Mike, et al.
Published: (2023)

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Axioms for the category of sets and relations
by: Kornell, Andre
Published: (2023)

From coextensive varieties to the Gaeta topos
by: Zuluaga, William
Published: (2022)

Exponentiable virtual double categories and presheaves for double categories
by: Arkor, Nathanael
Published: (2025)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Unbiased multicategory theory
by: Pisani, Claudio
Published: (2024)

Hom $ω$-categories of a computad are free
by: Benjamin, Thibaut, et al.
Published: (2024)

Yoneda lemma and representation theorem for double categories
by: Fröhlich, Benedikt, et al.
Published: (2024)

Kleisli categories, T-categories and internal categories
by: Bourn, Dominique
Published: (2024)

Higher crossed modules of algebras over an operad
by: Chabertier, Clovis
Published: (2024)

Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
by: Hu, Nick, et al.
Published: (2021)

Inner autoequivalences in general and those of monoidal categories in particular
by: Hofstra, Pieter, et al.
Published: (2022)

Cosmological Unstraightening
by: Rasekh, Nima
Published: (2025)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Toward the effective 2-topos
by: Awodey, Steve, et al.
Published: (2025)

The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

The formal theory of relative monads
by: Arkor, Nathanael, et al.
Published: (2023)

A note on the definition of derived functors
by: Schwarz, João
Published: (2025)

The formal theory of tangentads PART II
by: Lanfranchi, Marcello
Published: (2026)

The formal theory of tangentads PART I
by: Lanfranchi, Marcello
Published: (2025)