Categorifying measure theory: a roadmap

Abstract

A program for categorifying measure theory is outlined.

AMS-LaTeX + xy-pic. 90 pages

References in corpus (4)

• A 2-categories companion
• `What is a Thing?': Topos Theory in the Foundations of Physics
• Limits of small functors
• Categorical representations of categorical groups

Cited by in corpus (1)

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