Alexander Prahauser

Inter-Categorical Subobject Analysis

We introduce a systematic way to use the subobject functor on any category to set up a framework for generalized topological and measure-theoretic notions and inferences. Concretely, we develop two connected calculi: 1. a fourfold calculus derived from notions of smallness and density that generalizes, among other thin...