List questions from topos-theory

Published on 01 Sep 2016 - 19:31

222

Views

Connected and locally connected but not path connected for sober spaces?

Published on 27 Mar 2026 - 7:13

71

Views

Under-site like subspace topology

Published on 25 Mar 2026 - 12:16

54

Views

Site for $\mathbb{S}$-topos

Published on 17 Sep 2016 - 23:54

139

Views

Cocontinuous product-preserving functors between Grothendieck toposes

Published on 26 Mar 2026 - 11:00

920

Views

Subobject classifier in the category of presheaves on a small category $\mathbf C$

Published on 21 Sep 2016 - 17:08

152

Views

Lemma B.1.3.2 in Johnstone's Sketches of an Elephant

Published on 25 Mar 2026 - 3:03

347

Views

Classifying topos of algebraic theory

Published on 22 Sep 2016 - 23:54

150

Views

Proving $\operatorname{Spec} k[x]$ is internally a ring of fractions in the internal language of the Zariski topos

Published on 25 Mar 2026 - 12:17

132

Views

Are maps $\operatorname{Spec}k[x]\times \operatorname{Spec}k[x]\to \operatorname{Spec}k[x]$ somehow bivariate polynomials?

Published on 27 Mar 2026 - 19:33

297

Views

In a topos, is the category of internal $R$-modules abelian for $R$ commutative and unitary?

Published on 29 Sep 2016 - 14:13

209

Views

Without excluded middle: simple example of field with nilpotents?

Published on 26 Mar 2026 - 12:34

71

Views

Monotonicity of $\neg\neg$

Published on 27 Mar 2026 - 2:41

86

Views

Does Yoneda preserve the subobject classifier, if it exists?

Published on 08 Oct 2016 - 8:12

567

Views

Diagram chasing in Abelian categories?

Published on 25 Mar 2026 - 7:41

List Question

UA and HITs in topos theory.

Connected and locally connected but not path connected for sober spaces?

Under-site like subspace topology

Site for $\mathbb{S}$-topos

Cocontinuous product-preserving functors between Grothendieck toposes

Subobject classifier in the category of presheaves on a small category $\mathbf C$

Lemma B.1.3.2 in Johnstone's Sketches of an Elephant

Classifying topos of algebraic theory

Proving $\operatorname{Spec} k[x]$ is internally a ring of fractions in the internal language of the Zariski topos

Are maps $\operatorname{Spec}k[x]\times \operatorname{Spec}k[x]\to \operatorname{Spec}k[x]$ somehow bivariate polynomials?

In a topos, is the category of internal $R$-modules abelian for $R$ commutative and unitary?

Without excluded middle: simple example of field with nilpotents?

Monotonicity of $\neg\neg$

Does Yoneda preserve the subobject classifier, if it exists?

Diagram chasing in Abelian categories?

Trending Questions

Popular # Hahtags

Popular Questions