Imagen de Portada

Layered Monoidal Theories II: Fibrational Semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lobski, Leo, Zanasi, Fabio
Formato:	Preprint
Publicado:	2026
Materias:	Category Theory Logic in Computer Science 18M05, 18M30 F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
por: Lobski, Leo, et al.
Publicado: (2026)

Layered Monoidal Theories
por: Lobski, Leo
Publicado: (2025)

Disconnection Rules are Complete for Chemical Reactions
por: Gale, Ella, et al.
Publicado: (2024)

On a fibrational construction for optics, lenses, and Dialectica categories
por: Capucci, Matteo, et al.
Publicado: (2024)

From Copying to Corelations via Ancestry Partitions
por: Santacana, Andreu Ballus
Publicado: (2025)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
por: Laretto, Andrea, et al.
Publicado: (2024)

Monoidal Context Theory
por: Román, Mario
Publicado: (2024)

Monoidal bicategories, differential linear logic, and analytic functors
por: Fiore, M., et al.
Publicado: (2024)

Partial Markov Categories
por: Di Lavore, Elena, et al.
Publicado: (2025)

CaTT contexts are finite computads
por: Benjamin, Thibaut, et al.
Publicado: (2024)

Partializations of Markov categories
por: Mohammed, Areeb Shah
Publicado: (2025)

Homological Invariants of Higher-Order Equational Theories
por: Ikebuchi, Mirai
Publicado: (2025)

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

Substructural fixed-point theorems and the diagonal argument: theme and variations
por: Roberts, David Michael
Publicado: (2021)

Rewriting Systems on Arbitrary Monoids
por: Magalhães, Eduardo
Publicado: (2026)

A semisimple subcategory of Khovanov's Heisenberg category
por: Miller, Sam K.
Publicado: (2025)

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

Frobenius Algebras and Dual Bimodules in Monoidal 2-Categories
por: Xu, Hao
Publicado: (2026)

Left-Linear Rewriting in Adhesive Categories
por: Baldan, Paolo, et al.
Publicado: (2024)

Axioms for the category of sets and relations
por: Kornell, Andre
Publicado: (2023)

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

Multicategories from Symmetric Monoidal Categories
por: Elmendorf, A. D.
Publicado: (2023)

Generalized Chevalley criteria in simplicial homotopy type theory
por: Weinberger, Jonathan
Publicado: (2024)

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

Absolute continuity, supports and idempotent splitting in categorical probability
por: Fritz, Tobias, et al.
Publicado: (2023)

Smooth and Proper Maps
por: Anel, Mathieu, et al.
Publicado: (2024)

Timing via Pinwheel Double Categories
por: Di Lavore, Elena, et al.
Publicado: (2025)

Effectful Mealy Machines
por: Bonchi, Filippo, et al.
Publicado: (2024)

The Sup Connective in IMALL: A Categorical Semantics
por: Díaz-Caro, Alejandro, et al.
Publicado: (2022)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
por: Inoué, Takao
Publicado: (2026)

Unitary anchored planar algebras
por: Henriques, André, et al.
Publicado: (2023)

Anchored Planar Algebras and 3-Categorical Graphical Calculus
por: Hungar, Brett
Publicado: (2025)

Multicategorical Semantics for Untyped Effects
por: Grunfeld, Ariel, et al.
Publicado: (2026)

Stack Representation of Finitely Presented Heyting Pretoposes I
por: Ye, Lingyuan
Publicado: (2024)

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

Skolem, Gödel, and Hilbert fibrations
por: Trotta, Davide, et al.
Publicado: (2024)

Integration of a categorical operad
por: Trnka, Dominik
Publicado: (2025)

Diagrammatics for $F_4$
por: Gandhi, Raj, et al.
Publicado: (2021)

Unitary, Inner product, and Dagger categories
por: Cockett, Robin, et al.
Publicado: (2026)

What kind of linearly distributive category do polynomial functors form?
por: Spivak, David I., et al.
Publicado: (2024)