Categorifying measure theory: a roadmap

2009/12/24 by Gracino Rodrigues, Rodrigues, G. · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Mathematics #Mathematical and Theoretical Analysis #Quantum Algebra (math.QA)

paper · pdf · doi:10.48550/arxiv.0912.4914

openalex publication_date 2009/12/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

A program for categorifying measure theory is outlined.

Cited by

• On the close interaction between algorithmic randomness and constructive/computable measure theory

Related

• Categorical Foundations for Physics - I: Program at a Glance
• On Categorical Theory-Building: Beyond the Formal
• Measurement and Its Mathematical Scale
• The Social Life of Measures: Conceptualizing Measure–Value Environments
• Putting Typologies to Work