Buchumschlag

Layered Monoidal Theories II: Fibrational Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lobski, Leo, Zanasi, Fabio
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Category Theory Logic in Computer Science 18M05, 18M30 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
von: Lobski, Leo, et al.
Veröffentlicht: (2026)

Layered Monoidal Theories
von: Lobski, Leo
Veröffentlicht: (2025)

Disconnection Rules are Complete for Chemical Reactions
von: Gale, Ella, et al.
Veröffentlicht: (2024)

On a fibrational construction for optics, lenses, and Dialectica categories
von: Capucci, Matteo, et al.
Veröffentlicht: (2024)

From Copying to Corelations via Ancestry Partitions
von: Santacana, Andreu Ballus
Veröffentlicht: (2025)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
von: Laretto, Andrea, et al.
Veröffentlicht: (2024)

Monoidal Context Theory
von: Román, Mario
Veröffentlicht: (2024)

Monoidal bicategories, differential linear logic, and analytic functors
von: Fiore, M., et al.
Veröffentlicht: (2024)

Partial Markov Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2025)

CaTT contexts are finite computads
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

Partializations of Markov categories
von: Mohammed, Areeb Shah
Veröffentlicht: (2025)

Homological Invariants of Higher-Order Equational Theories
von: Ikebuchi, Mirai
Veröffentlicht: (2025)

Gödel coding on fibrations and geminal categories
von: Ikeda, Yuto
Veröffentlicht: (2026)

Substructural fixed-point theorems and the diagonal argument: theme and variations
von: Roberts, David Michael
Veröffentlicht: (2021)

Rewriting Systems on Arbitrary Monoids
von: Magalhães, Eduardo
Veröffentlicht: (2026)

A semisimple subcategory of Khovanov's Heisenberg category
von: Miller, Sam K.
Veröffentlicht: (2025)

Hom $ω$-categories of a computad are free
von: Benjamin, Thibaut, et al.
Veröffentlicht: (2024)

Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories
von: Xu, Hao
Veröffentlicht: (2026)

Left-Linear Rewriting in Adhesive Categories
von: Baldan, Paolo, et al.
Veröffentlicht: (2024)

Axioms for the category of sets and relations
von: Kornell, Andre
Veröffentlicht: (2023)

Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers
von: Langlois-Rémillard, Alexis, et al.
Veröffentlicht: (2026)

Multicategories from Symmetric Monoidal Categories
von: Elmendorf, A. D.
Veröffentlicht: (2023)

Generalized Chevalley criteria in simplicial homotopy type theory
von: Weinberger, Jonathan
Veröffentlicht: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Absolute continuity, supports and idempotent splitting in categorical probability
von: Fritz, Tobias, et al.
Veröffentlicht: (2023)

Smooth and Proper Maps
von: Anel, Mathieu, et al.
Veröffentlicht: (2024)

Timing via Pinwheel Double Categories
von: Di Lavore, Elena, et al.
Veröffentlicht: (2025)

Effectful Mealy Machines
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

The Sup Connective in IMALL: A Categorical Semantics
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Unitary anchored planar algebras
von: Henriques, André, et al.
Veröffentlicht: (2023)

Anchored Planar Algebras and 3-Categorical Graphical Calculus
von: Hungar, Brett
Veröffentlicht: (2025)

Multicategorical Semantics for Untyped Effects
von: Grunfeld, Ariel, et al.
Veröffentlicht: (2026)

Stack Representation of Finitely Presented Heyting Pretoposes I
von: Ye, Lingyuan
Veröffentlicht: (2024)

Internal sums for synthetic fibered $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Skolem, Gödel, and Hilbert fibrations
von: Trotta, Davide, et al.
Veröffentlicht: (2024)

Integration of a categorical operad
von: Trnka, Dominik
Veröffentlicht: (2025)

Diagrammatics for $F_4$
von: Gandhi, Raj, et al.
Veröffentlicht: (2021)

Unitary, Inner product, and Dagger categories
von: Cockett, Robin, et al.
Veröffentlicht: (2026)

What kind of linearly distributive category do polynomial functors form?
von: Spivak, David I., et al.
Veröffentlicht: (2024)