All Questions
Tagged with abstract-nonsense topos-theory
2 questions
22
votes
1
answer
2k
views
Is there a concrete application of topos theory?
The notion of topos was originally formulated in SGA 4 in the context of attacking the Weil conjectures. This formalism turned out to be unnecessary for the purposes of proving those conjectures. But ...
- 4,164
11
votes
2
answers
1k
views
Is there a measure / probability theory in a topos of "generalized measure spaces"?
Consider the category with the standard Lebesgue measure space $\Omega$ as its only object and measure type preserving nonincreasing (equivalence classes of) maps as morphisms.
Question: is there an ...
- 4,000