Question

$i\times i $ is regular epimorphism when $i$ is in 1.3.5 in Elephant

score 88 · Answer 1 · 2023-12-02 19:21:30

88

Views

$i\times i $ is regular epimorphism when $i$ is in 1.3.5 in Elephant

Published on 02 Dec 2023 - 19:21

score 83 · Answer 2 · 2026-03-25 14:21:19

83

Views

A definition for sheaves on stacks

Published on 25 Mar 2026 - 14:21

score 82 · Answer 3 · 2024-01-03 14:31:33

82

Views

What is the precise relation between the category Set and the category Grpd?

Published on 03 Jan 2024 - 14:31

score 139 · Answer 4 · 2026-03-27 06:15:21

139

Views

ETCS direct image functor

Published on 27 Mar 2026 - 6:15

score 45 · Answer 5 · 2024-01-28 19:04:29

45

Views

Question regarding the restriction functor of ${\rm Sh}(X) \to {\rm Sh}(\mathcal{B})$

Published on 28 Jan 2024 - 19:04

score 69 · Answer 6 · 2024-01-29 16:42:56

69

Views

Question regarding the fullness of restriction functor of ${\rm Sh}(X) \to {\rm Sh}(\mathcal{B})$

Published on 29 Jan 2024 - 16:42

score 418 · Answer 7 · 2024-02-05 07:24:47

418

Views

Is axiom of replacement nicely stateable in the language of ETCS?

Published on 05 Feb 2024 - 7:24

score 111 · Answer 8 · 2024-02-17 08:53:30

111

Views

For which sites are all sheaves connected (as presheaves)?

Published on 17 Feb 2024 - 8:53

score 83 · Answer 9 · 2024-02-24 20:21:23

83

Views

Doubt in van Oosten's Topos Theory notes

Published on 24 Feb 2024 - 20:21

score 57 · Answer 10 · 2024-02-25 18:19:03

57

Views

Doubt in proof showing in topoi, equivalence relations are effective

Published on 25 Feb 2024 - 18:19

score 39 · Answer 11 · 2026-03-27 07:57:22

39

Views

Ordinary functor being E-indexed

Published on 27 Mar 2026 - 7:57

score 62 · Answer 12 · 2026-03-28 00:19:49

62

Views

Are the "intramural" and "extramural" definitions of "set" from category theory equivalent?

Published on 28 Mar 2026 - 0:19

score 107 · Answer 13 · 2024-03-17 16:31:17

107

Views

Elementary proof that, in a topos, every epimorphism is regular?

Published on 17 Mar 2024 - 16:31

score 22 · Answer 14 · 2024-03-20 17:01:13

22

Views

Universal effective epimorphisms and jointly epimorphic sieves

Published on 20 Mar 2024 - 17:01

score 60 · Answer 15 · 2026-03-25 07:41:02

60

Views

Deducing the definition of subobject classifier from Sub functor being representable

Published on 25 Mar 2026 - 7:41

List Question

$i\times i $ is regular epimorphism when $i$ is in 1.3.5 in Elephant

A definition for sheaves on stacks

What is the precise relation between the category Set and the category Grpd?

ETCS direct image functor

Question regarding the restriction functor of ${\rm Sh}(X) \to {\rm Sh}(\mathcal{B})$

Question regarding the fullness of restriction functor of ${\rm Sh}(X) \to {\rm Sh}(\mathcal{B})$

Is axiom of replacement nicely stateable in the language of ETCS?

For which sites are all sheaves connected (as presheaves)?

Doubt in van Oosten's Topos Theory notes

Doubt in proof showing in topoi, equivalence relations are effective

Ordinary functor being E-indexed

Are the "intramural" and "extramural" definitions of "set" from category theory equivalent?

Elementary proof that, in a topos, every epimorphism is regular?

Universal effective epimorphisms and jointly epimorphic sieves

Deducing the definition of subobject classifier from Sub functor being representable

Trending Questions

Popular # Hahtags

Popular Questions