New answers tagged topos-theory
4
votes
Interesting Grothendieck topologies or coverages on the category Prob
This answer is motivated by the related question here.
I think it can help to write $\mathbf{Prob}$ as a disjoint union of the categories $\mathbf{Prop}_\lambda$, with $\mathbf{Prop}_\lambda$ the full ...
3
votes
Accepted
Transitivity axiom for a Grothendieck Topology
I will make some assumptions about the definitions you are using, let me know if you are using a different approach.
A map $f: X \to Y$ is measure-preserving if $\mu(f^{-1}(A)) = \mu(A)$ for each ...
Top 50 recent answers are included
Related Tags
topos-theory × 633ct.category-theory × 418
ag.algebraic-geometry × 111
lo.logic × 96
sheaf-theory × 85
higher-category-theory × 70
infinity-topos-theory × 53
reference-request × 47
set-theory × 33
constructive-mathematics × 32
categorical-logic × 32
grothendieck-topology × 31
at.algebraic-topology × 26
homotopy-theory × 24
locales × 21
gn.general-topology × 19
dg.differential-geometry × 18
sites × 14
synthetic-differential × 14
soft-question × 13
cohomology × 13
simplicial-stuff × 11
homological-algebra × 10
galois-theory × 10
axiom-of-choice × 10