Cover Image

Interacting Monoidal Structures with Applications in Computing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cranch, James, Struth, Georg
Format:	Preprint
Published:	2024
Subjects:	Category Theory Logic in Computer Science 18D10, 68Q85, 06A12
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generalised Möbius Categories and Convolution Kleene Algebras
by: Cranch, James, et al.
Published: (2025)

Composing Codensity Bisimulations
by: Kori, Mayuko, et al.
Published: (2024)

Presheaf automata
by: Struth, Georg, et al.
Published: (2024)

Cubical coherent confluence, $ω$-groupoids and the cube equation
by: Malbos, Philippe, et al.
Published: (2025)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
by: Malbos, Philippe, et al.
Published: (2024)

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

Compositionality of Lyapunov functions via assume-guarantee reasoning
by: Capucci, Matteo, et al.
Published: (2026)

Towards a theory of natural directed paths
by: Gaucher, Philippe
Published: (2023)

Higher Catoids, Higher Quantales and their Correspondences
by: Calk, Cameron, et al.
Published: (2023)

An Internal Logic of Virtual Double Categories
by: Nasu, Hayato
Published: (2024)

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

Dilations and information flow axioms in categorical probability
by: Fritz, Tobias, et al.
Published: (2022)

Tight complexity bounds for diagram commutativity verification
by: Malko, Artem, et al.
Published: (2025)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

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

A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)

Homotopy theory of Moore flows (III)
by: Gaucher, Philippe
Published: (2023)

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

On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)

Markov Categories and Entropy
by: Perrone, Paolo
Published: (2022)

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

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

Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
by: Milosavljevic, Aleksandar, et al.
Published: (2022)

Clones, closed categories, and combinatory logic
by: Saville, Philip
Published: (2024)

A Complete V-Equational System for Graded lambda-Calculus
by: Dahlqvist, Fredrik, et al.
Published: (2023)

On Chaitin's Heuristic Principle and Halting Probability
by: Salehi, Saeed
Published: (2023)

Generic bundles over a localic category
by: Manuell, Graham, et al.
Published: (2026)

Topoi of automata I: Four topoi of automata and regular languages
by: Hora, Ryuya
Published: (2024)

Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras
by: Raynor, Sophie
Published: (2021)

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

Monoidal Width
by: Di Lavore, Elena, et al.
Published: (2022)

Measuring data types
by: Mulder, Lukas, et al.
Published: (2024)

The representing localic groupoid for a geometric theory
by: Manuell, Graham, et al.
Published: (2023)

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

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
by: Fusco, Ludovico, et al.
Published: (2025)

Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)

Coinductive Streams in Monoidal Categories
by: Di Lavore, Elena, et al.
Published: (2022)

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