List questions from topos-theory

Published on 26 Oct 2013 - 11:47

1.4k

Views

What's the best way to teach oneself both Category Theory & Model Theory?

Published on 29 Oct 2013 - 23:31

169

Views

W-types and inverse image functor

Published on 06 Nov 2013 - 21:41

59

Views

Question about Lemma D1.4.4(iii) in the Elephant - possible typo?

Published on 08 Nov 2013 - 13:31

474

Views

Is the subobject classifier of the sheaves the sheaffication of the one from the presheaves?

Published on 08 Nov 2013 - 23:59

81

Views

Familiarizing with the Grothendieck topos $\mathbf{B}G$.

Published on 14 Nov 2013 - 8:56

431

Views

ETCS set theory: Are empty sets isomorphic?

Published on 14 Nov 2013 - 22:31

70

Views

Question on connected and locally connected geometric morphisms.

Published on 16 Nov 2013 - 15:12

2.1k

Views

Volume 3 of Johnstone's "Sketches of an Elephant"

Published on 19 Nov 2013 - 12:30

352

Views

Example of a coproduct and epi preserving functor $F$ which does not preserve finite colimits

Published on 19 Nov 2013 - 14:16

541

Views

Is there any point in a logician studying $\infty$-categories?

Published on 19 Nov 2013 - 15:14

84

Views

Are these categories toposes?

Published on 23 Nov 2013 - 13:13

435

Views

Properties of the internal language of the category of sheaves.

Published on 24 Nov 2013 - 13:24

92

Views

Why $F^{+}$ is a monopresheaf?

Published on 28 Nov 2013 - 1:53

874

Views

Is the map into the terminal object an epimorphism?

Published on 04 Dec 2013 - 23:24

List Question

Transposition of arrows in toposes (or cartesian closed categories)

What's the best way to teach oneself both Category Theory & Model Theory?

W-types and inverse image functor

Question about Lemma D1.4.4(iii) in the Elephant - possible typo?

Is the subobject classifier of the sheaves the sheaffication of the one from the presheaves?

Familiarizing with the Grothendieck topos $\mathbf{B}G$.

ETCS set theory: Are empty sets isomorphic?

Question on connected and locally connected geometric morphisms.

Volume 3 of Johnstone's "Sketches of an Elephant"

Example of a coproduct and epi preserving functor $F$ which does not preserve finite colimits

Is there any point in a logician studying $\infty$-categories?

Are these categories toposes?

Properties of the internal language of the category of sheaves.

Why $F^{+}$ is a monopresheaf?

Is the map into the terminal object an epimorphism?

Trending Questions

Popular # Hahtags

Popular Questions