Cover Image

The Relative Monadic Metalanguage

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liell-Cock, Jack, Shirazi, Zev, Staton, Sam
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Category Theory 18C50, 68Q55 F.3.2
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)

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

Compositional imprecise probability
by: Liell-Cock, Jack, et al.
Published: (2024)

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

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

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

Day algebras
by: Robinson, Edmund, et al.
Published: (2025)

Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
by: Martinez-Rivillas, Daniel O., et al.
Published: (2026)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

Multicategorical Semantics for Untyped Effects
by: Grunfeld, Ariel, et al.
Published: (2026)

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

Cache Persistence Analysis: Finally Exact
by: Stock, Gregory, et al.
Published: (2019)

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

The Euler Characteristic of Finite Categories
by: Akkaya, Mustafa, et al.
Published: (2023)

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

Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl
by: Jacobs, Bart
Published: (2024)

On tested Bousfield-Friedlander localizations
by: Taggart, Niall
Published: (2025)

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
by: Vidal, Juan Climent, et al.
Published: (2024)

Categories of quantum cpos
by: Kornell, Andre, et al.
Published: (2024)

Graded Differential Categories and Graded Differential Linear Logic
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2023)

Examples and cofibrant generation of effective Kan fibrations
by: Berg, Benno van den, et al.
Published: (2024)

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

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
by: Alpay, Faruk, et al.
Published: (2025)

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

Internalizing Tools as Morphisms in Graded Transformers
by: Shaska, Tony
Published: (2025)

On the universality of multiexcisive functors
by: Barthel, Tobias, et al.
Published: (2026)

Very-Well-Behaved Epireflections for Categories of Models of Sketches
by: Xarez, João J.
Published: (2025)

Universal Conditional Logic: A Formal Language for Prompt Engineering
by: Mikinka, Anthony
Published: (2025)

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

foetus -- Termination Checker for Simple Functional Programs
by: Abel, Andreas
Published: (2024)

Culf maps and edgewise subdivision
by: Hackney, Philip, et al.
Published: (2022)

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

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

Separate Before You Compress: The WWHO Tokenization Architecture
by: Darshana, Kusal
Published: (2026)

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

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
by: Kamio, Yuhi, et al.
Published: (2024)

A Unified Mathematical Framework for Distributed Data Fabrics: Categorical Hypergraph Models
by: Shaska, T., et al.
Published: (2026)

A Context for Manifold Calculus
by: Arakawa, Kensuke
Published: (2024)

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

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