List questions from topos-theory

Published on 20 Apr 2020 - 21:58

118

Views

Generalizations of topos theory.

Published on 28 Apr 2020 - 21:31

360

Views

Slice categories and dependent types

Published on 06 May 2020 - 6:30

59

Views

Motivating results about the category of (simple) graphs?

Published on 28 Mar 2026 - 15:25

73

Views

Classifying map of a graph of a morphism

Published on 13 May 2020 - 21:00

59

Views

Do "non-full subtoposes" exist?

Published on 19 May 2020 - 14:49

115

Views

Syntactic category of a geometric theory has finite limits.

Published on 24 Mar 2026 - 16:59

89

Views

Partial maps are representable in the category of presheaves on C

Published on 23 May 2020 - 4:37

118

Views

Compatible family in a presheaf

Published on 25 May 2020 - 7:28

219

Views

Transpose of a diagram under an adjunction

Published on 26 May 2020 - 9:02

75

Views

j-closed monomorphisms in a topos with a Lawvere-Tierney topology j

Published on 26 May 2020 - 14:23

57

Views

Right adjoints preserve j-dense monos

Published on 28 May 2020 - 6:28

53

Views

Comonoids in coslices of a topos

Published on 26 Mar 2026 - 6:30

195

Views

Let $\epsilon$ be a topos and let $f:Y\to X$ be a morphism. Let $M,N$ be two subobjects of $X$. Is it true that $f^(M\cap N)=f^(M)\cap f^*(N)$?

Published on 23 Feb 2026 - 10:06

32

Views

Is there a name for the fragment of (typed) first-order logic which works "pointwise" in any topos?

Published on 01 Jun 2020 - 17:37

List Question

Showing some object is initial

Generalizations of topos theory.

Slice categories and dependent types

Motivating results about the category of (simple) graphs?

Classifying map of a graph of a morphism

Do "non-full subtoposes" exist?

Syntactic category of a geometric theory has finite limits.

Partial maps are representable in the category of presheaves on C

Compatible family in a presheaf

Transpose of a diagram under an adjunction

j-closed monomorphisms in a topos with a Lawvere-Tierney topology j

Right adjoints preserve j-dense monos

Comonoids in coslices of a topos

Let $\epsilon$ be a topos and let $f:Y\to X$ be a morphism. Let $M,N$ be two subobjects of $X$. Is it true that $f^(M\cap N)=f^(M)\cap f^*(N)$?

Is there a name for the fragment of (typed) first-order logic which works "pointwise" in any topos?

Trending Questions

Popular # Hahtags

Popular Questions