Question

Universal morphism as an edge case of a universal cone

score 40 · Answer 1 · 2026-04-30 22:57:10

40

Views

Universal morphism as an edge case of a universal cone

Published on 30 Apr 2026 - 22:57

score 52 · Answer 2 · 2026-05-04 04:12:57

52

Views

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

Published on 04 May 2026 - 4:12

score 253 · Answer 3 · 2026-05-07 16:03:35

253

Views

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

Published on 07 May 2026 - 16:03

score 463 · Answer 4 · 2026-05-04 03:56:04

463

Views

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

Published on 04 May 2026 - 3:56

score 186 · Answer 5 · 2026-05-01 02:08:06

186

Views

Proof of id and associativity in Rel category

Published on 01 May 2026 - 2:08

score 163 · Answer 6 · 2026-05-03 17:36:22

163

Views

How do I apply the Yoneda lemma to this functor?

Published on 03 May 2026 - 17:36

score 110 · Answer 7 · 2026-05-07 20:33:57

110

Views

About the definition of a presheaf in SGA4

Published on 07 May 2026 - 20:33

score 626 · Answer 8 · 2026-04-30 22:56:05

626

Views

Morphism from object to initial object, meaning?

Published on 30 Apr 2026 - 22:56

score 197 · Answer 9 · 2026-05-01 02:08:07

197

Views

Are categories, multicategories, and polycategories equally expressive?

Published on 01 May 2026 - 2:08

score 205 · Answer 10 · 2026-05-04 17:09:43

205

Views

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

Published on 04 May 2026 - 17:09

score 138 · Answer 11 · 2026-05-01 02:08:05

138

Views

Label invariance in definition of Product

Published on 01 May 2026 - 2:08

score 52 · Answer 12 · 2026-05-02 20:04:02

52

Views

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

Published on 02 May 2026 - 20:04

score 72 · Answer 13 · 2026-04-29 12:15:10

72

Views

Existence of adjugant with making given natural transformation be the counit

Published on 29 Apr 2026 - 12:15

score 380 · Answer 14 · 2026-04-29 12:18:01

380

Views

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

Published on 29 Apr 2026 - 12:18

score 277 · Answer 15 · 2026-05-01 02:08:08

277

Views

Image factorization in a category

Published on 01 May 2026 - 2:08

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