## 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