Cover Image

Effect Algebras as Omega-categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Perticone, Lorenzo, Adams, Robin
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Graded Modal Type Theory for Pulse Schedules
by: Adams, Robin, et al.
Published: (2025)

The Algebra of Parity Games
by: Piedeleu, Robin
Published: (2025)

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

Unbiasing symmetric monoidal categories in Lean
by: Carlier, Robin
Published: (2026)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Omega-regular Verification and Control for Distributional Specifications in MDPs
by: Akshay, S., et al.
Published: (2025)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

From Partial to Monadic: Combinatory Algebra with Effects
by: Cohen, Liron, et al.
Published: (2025)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)

Stochastic Omega-Regular Verification and Control with Supermartingales
by: Abate, Alessandro, et al.
Published: (2024)

Supermartingale Certificates for Quantitative Omega-regular Verification and Control
by: Henzinger, Thomas A., et al.
Published: (2025)

Continuous Algebras with Hypotheses
by: Mulder, Lukas, et al.
Published: (2026)

The Algebra of Iterative Constructions
by: Batz, Kevin, et al.
Published: (2026)

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

A Type Theory for Probabilistic and Bayesian Reasoning
by: Adams, Robin, et al.
Published: (2015)

Linear Realisability and Implicative Algebras
by: Lucquin, Alexandre, et al.
Published: (2026)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

Induction rules for Transition Algebra
by: Hashimoto, Go
Published: (2026)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

On Tools for Completeness of Kleene Algebra with Hypotheses
by: Pous, Damien, et al.
Published: (2022)

Compact Quantitative Theories of Convex Algebras
by: Mio, Matteo
Published: (2025)

Model-theoretic Forcing in Transition Algebra
by: Hashimoto, Go, et al.
Published: (2025)

A Diagrammatic Algebra for Program Logics
by: Bonchi, Filippo, et al.
Published: (2024)

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
by: Perez, Mateo, et al.
Published: (2023)

Completeness of Finitely Weighted Kleene Algebra With Tests
by: Sedlár, Igor
Published: (2024)

Paraconsistent Relations as a Variant of Kleene Algebras
by: Cunha, Juliana, et al.
Published: (2025)

Initial Algebra Correspondence under Reachability Conditions
by: Kori, Mayuko, et al.
Published: (2025)

Compositional Taylor expansion in cartesian differential categories
by: Walch, Aymeric
Published: (2025)

The category of well-filtered dcpos is not $Γ$-faithful
by: Miao, Hualin, et al.
Published: (2024)

Adhesive category theory for graph rewriting in Rocq
by: Arsac, Samuel, et al.
Published: (2025)

A formulation of D-institution using functor categories
by: Hashimoto, Go
Published: (2026)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
by: Mio, Matteo, et al.
Published: (2023)

A General Completeness Theorem for Skip-free Star Algebras
by: Kappé, Tobias, et al.
Published: (2025)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
by: van Collem, Simcha, et al.
Published: (2025)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
by: Nakamura, Yoshiki
Published: (2025)

Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
by: Nakamura, Yoshiki, et al.
Published: (2024)