Question

Universal morphism as an edge case of a universal cone

score 35 · Answer 1 · 2026-03-17 16:24:25

35

Views

Universal morphism as an edge case of a universal cone

Published on 17 Mar 2026 - 16:24

score 46 · Answer 2 · 2026-03-22 21:10:12

46

Views

What prevents me from starting the cone in the objects mapped by the diagram

Published on 22 Mar 2026 - 21:10

score 243 · Answer 3 · 2026-03-22 18:19:28

243

Views

Can we give a categorical definition of product without using any sub/superscripts or cheating?

Published on 22 Mar 2026 - 18:19

score 439 · Answer 4 · 2026-03-24 08:44:02

439

Views

What do you think of this visual category theory tool? See any issues? Would you use it?

Published on 24 Mar 2026 - 8:44

score 180 · Answer 5 · 2026-03-17 10:57:00

180

Views

Proof of id and associativity in Rel category

Published on 17 Mar 2026 - 10:57

score 154 · Answer 6 · 2026-03-23 03:30:41

154

Views

How do I apply the Yoneda lemma to this functor?

Published on 23 Mar 2026 - 3:30

score 99 · Answer 7 · 2026-03-24 20:32:07

99

Views

About the definition of a presheaf in SGA4

Published on 24 Mar 2026 - 20:32

score 621 · Answer 8 · 2026-03-17 09:31:38

621

Views

Morphism from object to initial object, meaning?

Published on 17 Mar 2026 - 9:31

score 192 · Answer 9 · 2026-03-17 18:35:09

192

Views

Are categories, multicategories, and polycategories equally expressive?

Published on 17 Mar 2026 - 18:35

score 194 · Answer 10 · 2026-03-17 03:01:41

194

Views

In the category of abelian groups the coequalizer $\text{Coker}(f, 0)$, $f: A \to B$ is simply $B/f(A)$.

Published on 17 Mar 2026 - 3:01

score 129 · Answer 11 · 2026-03-11 23:07:05

129

Views

Label invariance in definition of Product

Published on 11 Mar 2026 - 23:07

score 44 · Answer 12 · 2026-03-22 18:05:09

44

Views

Two morphisms $f, g : M \to L$ are equal as long as they are equal under the limit $L$.

Published on 22 Mar 2026 - 18:05

score 66 · Answer 13 · 2026-03-22 06:57:54

66

Views

Existence of adjugant with making given natural transformation be the counit

Published on 22 Mar 2026 - 6:57

score 373 · Answer 14 · 2026-03-24 01:27:56

373

Views

(From Awodey) Find the subobject classifier for $\sf Sets^{P}$ for a poset $\sf P$

Published on 24 Mar 2026 - 1:27

score 272 · Answer 15 · 2026-03-16 22:01:33

272

Views

Image factorization in a category

Published on 16 Mar 2026 - 22:01

List Question

Universal morphism as an edge case of a universal cone

What prevents me from starting the cone in the objects mapped by the diagram

Can we give a categorical definition of product without using any sub/superscripts or cheating?

What do you think of this visual category theory tool? See any issues? Would you use it?

Proof of id and associativity in Rel category

How do I apply the Yoneda lemma to this functor?

About the definition of a presheaf in SGA4

Morphism from object to initial object, meaning?

Are categories, multicategories, and polycategories equally expressive?

In the category of abelian groups the coequalizer $\text{Coker}(f, 0)$, $f: A \to B$ is simply $B/f(A)$.

Label invariance in definition of Product

Two morphisms $f, g : M \to L$ are equal as long as they are equal under the limit $L$.

Existence of adjugant with making given natural transformation be the counit

(From Awodey) Find the subobject classifier for $\sf Sets^{P}$ for a poset $\sf P$

Image factorization in a category

Trending Questions

Popular # Hahtags

Popular Questions