{"id":"arxiv/2610.10930","url":"https://arxiv.org/abs/2610.10930","tags":["math.CT","math.GN"],"score":0,"title":"Inter-Categorical Subobject Analysis","domain":"math.CT","source":"arxiv","authors":["Alexander Prähauser"],"reviews":0,"subject":"math.CT","summary":"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 things, topological density and measure-theoretic negligibility, 2. a twofold calculus that generalizes topological and measure-theoretic inference procedures. The resulting theory is distinguished in that it is inter-categorical in character: its definitions can be applied not…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}