:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lenke, Fabian, Wittrock, Nico, Milius, Stefan, Urbat, Henning
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Primary 18C15
Online Access:	https://arxiv.org/abs/2509.26197
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
by: Lenke, Fabian, et al.
Published: (2026)

Algebraic Reasoning over Relational Structures
by: Jurka, Jan, et al.
Published: (2024)

Extended Stone Duality via Monoidal Adjunctions
by: Lenke, Fabian, et al.
Published: (2024)

Distributing Retractions, Weak Distributive Laws and Applications to Monads of Hyperspaces, Continuous Valuations and Measures
by: Goubault-Larrecq, Jean
Published: (2025)

A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)

Bialgebraic Reasoning on Higher-Order Program Equivalence
by: Goncharov, Sergey, et al.
Published: (2024)

Bialgebraic Reasoning on Stateful Languages
by: Goncharov, Sergey, et al.
Published: (2025)

Higher-order bialgebraic semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
by: Piróg, Maciej, et al.
Published: (2025)

Graded Monads and Behavioural Equivalence Games
by: Ford, Chase, et al.
Published: (2022)

Towards a Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2022)

Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)

Profunctorial algebras
by: Aristote, Quentin, et al.
Published: (2026)

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

Well-Founded Coalgebras Meet König's Lemma
by: Urbat, Henning, et al.
Published: (2025)

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

Borel Combinatorics of Abelian Group Actions
by: Gao, Su, et al.
Published: (2024)

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

An axiomatization for the universal theory of the Heisenberg group
by: Gaglione, Anthony M., et al.
Published: (2023)

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

Extension Monads: Some Structure Theorems
by: Bowerman, Danielle, et al.
Published: (2025)

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

Diagrammatics for Comodule Monads
by: Halbig, Sebastian, et al.
Published: (2023)

Weak Distributive Laws between Monads of Continuous Valuations and of Non-Deterministic Choice
by: Goubault-Larrecq, Jean
Published: (2024)

Stone Duality for Monads
by: Garner, Richard, et al.
Published: (2026)

Algebraic Language Theory with Effects
by: Lenke, Fabian, et al.
Published: (2024)

Measure theory via Locales
by: Lehner, Georg
Published: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
by: Wißmann, Thorsten, et al.
Published: (2024)

Commutativity and Kleisli laws of codensity monads of probability measures
by: Shirazi, Zev
Published: (2024)

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

A Formalization of Abstract Rewriting in Agda
by: Arkle, Sam, et al.
Published: (2026)

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

Intrinsically Correct Algorithms and Recursive Coalgebras
by: Alexandru, Cass, et al.
Published: (2025)

Abstract Operational Methods for Call-by-Push-Value
by: Goncharov, Sergey, et al.
Published: (2024)

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
by: Quigley, Daniel
Published: (2024)

Ext groups in Homotopy Type Theory
by: Christensen, J. Daniel, et al.
Published: (2023)

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

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

SAT Solving Using XOR-OR-AND Normal Forms
by: Andraschko, Bernhard, et al.
Published: (2023)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
by: Bodirsky, Manuel, et al.
Published: (2020)