Cover Image

Layered Monoidal Theories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Lobski, Leo
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Category Theory 18M30, 05C92 F.4.1; J.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

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

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

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

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

CaTT contexts are finite computads
by: Benjamin, Thibaut, et al.
Published: (2024)

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

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

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

Monoidal Context Theory
by: Román, Mario
Published: (2024)

Rewriting Systems on Arbitrary Monoids
by: Magalhães, Eduardo
Published: (2026)

Formal P-Category Theory and Normalization by Evaluation in Rocq
by: Berry, David G., et al.
Published: (2025)

A Classifying Topos for the Spectrum of Equivalences
by: Oggad, Kenan
Published: (2026)

Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2025)

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

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

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

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

A computational method for left-adjointness
by: Forest, Simon
Published: (2024)

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

Cartesian Differential Kleisli Categories
by: Lemay, Jean-Simon Pacaud
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)

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
by: Stein, Dario
Published: (2025)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
by: Schellhorn, Daniel Romero, et al.
Published: (2026)

EGGs are adhesive!
by: Biondo, Roberto, et al.
Published: (2025)

Generating Higher Identity Proofs in Homotopy Type Theory
by: Benjamin, Thibaut
Published: (2024)

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

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

Partializations of Markov categories
by: Mohammed, Areeb Shah
Published: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Polygraphs: From Rewriting to Higher Categories
by: Ara, Dimitri, et al.
Published: (2023)

Two-Level Type Theory and Applications
by: Annenkov, Danil, et al.
Published: (2017)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

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

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

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)