Image de couverture de livre

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Stein, Dario
Format:	Preprint
Publié:	2025
Sujets:	Category Theory Logic in Computer Science Programming Languages Probability F.4.1; G.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Left-Linear Rewriting in Adhesive Categories
par: Baldan, Paolo, et autres
Publié: (2024)

Homological Invariants of Higher-Order Equational Theories
par: Ikebuchi, Mirai
Publié: (2025)

A Type Theory for Probabilistic and Bayesian Reasoning
par: Adams, Robin, et autres
Publié: (2015)

Stack Representation of Finitely Presented Heyting Pretoposes I
par: Ye, Lingyuan
Publié: (2024)

Abstract clones for abstract syntax
par: Arkor, Nathanael, et autres
Publié: (2021)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
par: Laretto, Andrea, et autres
Publié: (2024)

Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
par: Bobrow, Elliot, et autres
Publié: (2025)

The Lambda Calculus is Quantifiable
par: Maestracci, Valentin, et autres
Publié: (2024)

Graphical Quadratic Algebra
par: Stein, Dario, et autres
Publié: (2024)

Verifying Tree-Manipulating Programs via CHCs
par: Faella, Marco, et autres
Publié: (2025)

Cartesian Differential Kleisli Categories
par: Lemay, Jean-Simon Pacaud
Publié: (2023)

A Graphical Interface for Category Theory Proofs in Coq
par: Chabassier, Luc
Publié: (2025)

Intersection Types for a Computational Lambda-Calculus with Global State
par: de'Liguoro, Ugo, et autres
Publié: (2021)

LeanLTL: A unifying framework for linear temporal logics in Lean
par: Vin, Eric, et autres
Publié: (2025)

Formal P-Category Theory and Normalization by Evaluation in Rocq
par: Berry, David G., et autres
Publié: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
par: Bertrand, Meven Lennon, et autres
Publié: (2026)

Extending the Quantitative Pattern-Matching Paradigm
par: Alves, Sandra, et autres
Publié: (2024)

Substructural fixed-point theorems and the diagonal argument: theme and variations
par: Roberts, David Michael
Publié: (2021)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
par: Xu, Qiyuan, et autres
Publié: (2024)

Disconnection Rules are Complete for Chemical Reactions
par: Gale, Ella, et autres
Publié: (2024)

Compositional imprecise probability
par: Liell-Cock, Jack, et autres
Publié: (2024)

A Categorical Treatment of Open Linear Systems
par: Stein, Dario, et autres
Publié: (2024)

AdapTT: Functoriality for Dependent Type Casts
par: Adjedj, Arthur, et autres
Publié: (2025)

Genericity Through Stratification
par: Arrial, Victor, et autres
Publié: (2024)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
par: Cerda, Rémy
Publié: (2025)

Characterizing NC1 with Typed Monoids
par: Dawar, Anuj, et autres
Publié: (2025)

Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
par: Raphaëlle, Crubillé
Publié: (2026)

A taxonomy of categories for relations
par: Cioffo, Cipriano Junior, et autres
Publié: (2025)

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
par: Hansen, Zachary, et autres
Publié: (2025)

Definitional Functoriality for Dependent (Sub)Types -- Extended version
par: Laurent, Théo, et autres
Publié: (2023)

Openness And Partial Adjacency In One Variable TPTL
par: Krishna, Shankara Narayanan, et autres
Publié: (2024)

Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories
par: Biggin, Aaron, et autres
Publié: (2025)

Layered Monoidal Theories II: Fibrational Semantics
par: Lobski, Leo, et autres
Publié: (2026)

Orbit-finite linear programming
par: Ghosh, Arka, et autres
Publié: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
par: Grabolle, Gustav
Publié: (2022)

What does it take to certify a conversion checker?
par: Lennon-Bertrand, Meven
Publié: (2025)

A Classifying Topos for the Spectrum of Equivalences
par: Oggad, Kenan
Publié: (2026)

Machine-Checked Categorical Diagrammatic Reasoning
par: Guillemet, Benoît, et autres
Publié: (2024)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
par: Lin, Deren, et autres
Publié: (2014)

From Semantics to Syntax: A Type Theory for Comprehension Categories
par: Najmaei, Niyousha, et autres
Publié: (2025)