Cover Image

Multicategorical Semantics for Untyped Effects

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Grunfeld, Ariel, Cohen, Liron
Format:	Preprint
Published:	2026
Subjects:	Programming Languages Category Theory 18C50 (Primary) 18C15, 18D15, 18M65, 18M85 (Secondary) D.3.1; F.3.2; F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Categorical Framework for Program Semantics and Semantic Abstraction
by: Katsumata, Shin-ya, et al.
Published: (2023)

A finite approach to representable multicategories and related structures
by: Lobbia, Gabriele
Published: (2023)

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

Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors
by: Gurski, Nick, et al.
Published: (2023)

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

Categories meet semigroups in various ways
by: Pécsi, Bertalan
Published: (2025)

What is a monoid?
by: Levy, Paul Blain, et al.
Published: (2025)

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

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

Lax structures in 2-category theory
by: Štěpán, Miloslav
Published: (2025)

Bicategories of algebras for relative pseudomonads
by: Arkor, Nathanael, et al.
Published: (2025)

On the Bénabou-Roubaud theorem
by: Kahn, Bruno
Published: (2024)

Tangentads: a formal approach to tangent categories
by: Lanfranchi, Marcello
Published: (2025)

From categorized neural architectures to subexponential proof theory
by: Ovalle, Carlos Ramírez
Published: (2026)

Familial Monads as Higher Category Theories
by: Shapiro, Brandon
Published: (2021)

Cartesian Differential Kleisli Categories
by: Lemay, Jean-Simon Pacaud
Published: (2023)

Morita theory for quantales
by: Mesablishvili, Bachuki
Published: (2025)

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

A Polynomial Construction of Nerves for Higher Categories
by: Shapiro, Brandon T., et al.
Published: (2024)

Exponentiable Virtual Double Categories and Representability of Exponentials
by: Carlson, Kevin D., et al.
Published: (2026)

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

The powerset monad on quantale-valued sets
by: Shen, Lili, et al.
Published: (2023)

Nerves of generalized multicategories
by: Fujii, Soichiro, et al.
Published: (2025)

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

Braids, twists, trace and duality in combinatory algebras
by: Hasegawa, Masahito, et al.
Published: (2024)

A Topologically Enriched Probability Monad on the Cartesian Closed Category of CGWH Spaces
by: Kristel, Peter, et al.
Published: (2024)

Profunctor Optics, a Categorical Update
by: Clarke, Bryce, et al.
Published: (2020)

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

The familial nature of enrichment over virtual double categories
by: Fujii, Soichiro, et al.
Published: (2025)

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
by: Lucyshyn-Wright, Rory B. B., et al.
Published: (2023)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)

Bicategorical Traces and Cotraces
by: Barhite, Justin
Published: (2023)

Introductory notes on real-enriched categories
by: Zhang, Dexue
Published: (2024)

Limits in dagger categories
by: Heunen, Chris, et al.
Published: (2018)

On Étale Algebras and Bosonic Fusion 2-Categories
by: Xu, Hao
Published: (2024)

Relative monadicity
by: Arkor, Nathanael, et al.
Published: (2023)

Multivariate functorial difference
by: Paré, Robert
Published: (2024)

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

The nerve theorem for relative monads
by: Arkor, Nathanael, et al.
Published: (2024)

Compositional Separation of Control Flow and Data Flow
by: Arellanes, Damian
Published: (2023)