Question

Slick way to check that a diagram is a pullback square (Sheaves in Geometry and Logic, Chapter 2, Proposition 1)

score 84 · Answer 1 · 2026-04-13 20:42:23

84

Views

Slick way to check that a diagram is a pullback square (Sheaves in Geometry and Logic, Chapter 2, Proposition 1)

Published on 13 Apr 2026 - 20:42

score 110 · Answer 2 · 2026-04-13 22:43:53

110

Views

When will a countable group be the inductive limit of its finite subgroups

Published on 13 Apr 2026 - 22:43

score 251 · Answer 3 · 2026-04-11 15:00:16

251

Views

Is there a cojoin, the dual construction of the join of topological spaces?

Published on 11 Apr 2026 - 15:00

score 40 · Answer 4 · 2026-05-15 15:49:21

40

Views

are comma-objects semi-coflexible

Published on 15 May 2026 - 15:49

score 45 · Answer 5 · 2026-04-15 17:00:30

45

Views

How category of diffeological spaces is related to the classifying category of HoTT? Maybe they are the same?

Published on 15 Apr 2026 - 17:00

score 51 · Answer 6 · 2026-05-10 16:32:41

51

Views

Can higher dimensional categories be represented as hypergraph and if not why?

Published on 10 May 2026 - 16:32

score 49 · Answer 7 · 2026-04-16 06:52:59

49

Views

Existence of biproducts in pretriangulated dg-categories

Published on 16 Apr 2026 - 6:52

score 79 · Answer 8 · 2026-04-14 05:45:58

79

Views

Sheaf topos is localisation at covering sieve inclusion

Published on 14 Apr 2026 - 5:45

score 54 · Answer 9 · 2026-05-10 23:30:37

54

Views

Equivalence relation functor representable?

Published on 10 May 2026 - 23:30

score 97 · Answer 10 · 2026-05-14 20:33:23

97

Views

Corepresentable functor definition.

Published on 14 May 2026 - 20:33

score 242 · Answer 11 · 2026-04-12 04:44:39

242

Views

Is every topos a De Morgan topos?

Published on 12 Apr 2026 - 4:44

score 76 · Answer 12 · 2026-04-16 04:22:59

76

Views

A left adjoint for the regular representation functor

Published on 16 Apr 2026 - 4:22

score 120 · Answer 13 · 2026-04-16 11:36:22

120

Views

Show the canonical morphism from the pullback to the product is monic

Published on 16 Apr 2026 - 11:36

score 58 · Answer 14 · 2026-04-14 17:45:18

58

Views

Question about notation used for a proof about Vector space Product in category theory

Published on 14 Apr 2026 - 17:45

score 64 · Answer 15 · 2026-05-11 02:47:13

64

Views

Show that $\phi$ is surjective in commutative staircase diagram

Published on 11 May 2026 - 2:47

List Question

Slick way to check that a diagram is a pullback square (Sheaves in Geometry and Logic, Chapter 2, Proposition 1)

When will a countable group be the inductive limit of its finite subgroups

Is there a cojoin, the dual construction of the join of topological spaces?

are comma-objects semi-coflexible

How category of diffeological spaces is related to the classifying category of HoTT? Maybe they are the same?

Can higher dimensional categories be represented as hypergraph and if not why?

Existence of biproducts in pretriangulated dg-categories

Sheaf topos is localisation at covering sieve inclusion

Equivalence relation functor representable?

Corepresentable functor definition.

Is every topos a De Morgan topos?

A left adjoint for the regular representation functor

Show the canonical morphism from the pullback to the product is monic

Question about notation used for a proof about Vector space Product in category theory

Show that $\phi$ is surjective in commutative staircase diagram

Trending Questions

Popular # Hahtags

Popular Questions