List questions from topos-theory

Published on 26 Mar 2026 - 18:49

263

Views

Use of exponentiation in topos logic

Published on 07 Dec 2020 - 15:36

183

Views

Strong induction for natural number object

Published on 01 Apr 2026 - 9:21

332

Views

Proving that profinite spaces form a site

Published on 13 Dec 2020 - 21:59

86

Views

How can I prove $\mathbf{1}_{Pa}=P\{\cdot\}_a\circ\{\cdot\}_{Pa}$

Published on 18 Jan 2021 - 20:41

149

Views

"False" arrow in an elementary topos

Published on 19 Jan 2021 - 20:06

65

Views

Geometric surjections are not stable under pullback

Published on 20 Jan 2021 - 13:27

372

Views

Dual of axiom of choice

Published on 20 Jan 2021 - 22:05

163

Views

How to go from Category Theory to Geometry?

Published on 03 Feb 2021 - 12:37

174

Views

Non sober spaces, products and Alexandroff topology

Published on 06 Feb 2021 - 17:21

123

Views

Internal language of a topos: what can we say about $0$, $1$, $\Omega$ ...?

Published on 06 Feb 2021 - 19:01

287

Views

Right adjoint of pullback functor

Published on 25 Mar 2026 - 9:31

168

Views

Why does there need to be more than one type of covering sieve?

Published on 25 Mar 2026 - 17:19

165

Views

Is the category of abelian presheaves on a topos closed?

Published on 18 Feb 2021 - 9:13

117

Views

Boolean topoi and classical logic

Published on 20 Feb 2021 - 21:58

List Question

Does there exist a topos with these $n+2$ truth values?

Use of exponentiation in topos logic

Strong induction for natural number object

Proving that profinite spaces form a site

How can I prove $\mathbf{1}_{Pa}=P\{\cdot\}_a\circ\{\cdot\}_{Pa}$

"False" arrow in an elementary topos

Geometric surjections are not stable under pullback

Dual of axiom of choice

How to go from Category Theory to Geometry?

Non sober spaces, products and Alexandroff topology

Internal language of a topos: what can we say about $0$, $1$, $\Omega$ ...?

Right adjoint of pullback functor

Why does there need to be more than one type of covering sieve?

Is the category of abelian presheaves on a topos closed?

Boolean topoi and classical logic

Trending Questions

Popular # Hahtags

Popular Questions