If $f:Y \to X$ is a mono in $\textsf{Set}^{\mathbb{C}^{op}}$, then $f$ factors uniquely through $Y \xrightarrow{g} A \stackrel{i}{\hookrightarrow} X$.

score 214 · Answer 8 · 2026-05-11 07:22:30

214

Views

On the existence of a category of functors

Published on 11 May 2026 - 7:22

score 49 · Answer 9 · 2026-04-17 01:28:37

49

Views

Regarding a morphism going to a coproduct in a category

Published on 17 Apr 2026 - 1:28

score 180 · Answer 10 · 2026-04-15 18:34:50

180

Views

Equivalent definitions for Serre subcategory

Published on 15 Apr 2026 - 18:34

score 66 · Answer 11 · 2026-05-10 10:14:11

66

Views

Getting a coproduct from a product

Published on 10 May 2026 - 10:14

score 59 · Answer 12 · 2026-04-17 04:25:12

59

Views

Power objects and direct images

Published on 17 Apr 2026 - 4:25

score 120 · Answer 13 · 2026-04-11 04:43:13

120

Views

Categorical proof about mapping cone and connecting morphisms

Published on 11 Apr 2026 - 4:43

score 36 · Answer 14 · 2026-04-22 10:51:15

36

Views

Meaning of "for a suitable $f$ in the definition of kernel pair.

Published on 22 Apr 2026 - 10:51

score 63 · Answer 15 · 2026-04-09 17:31:26

63

Views

How to do the following exercise about showing the sum of two identical two elements group is infinite.

Published on 09 Apr 2026 - 17:31

List Question

Lang's Algebra page 613 equivalent definitions of Flat Module. F3 $\implies$ F1. How?

Can a functor be a left and right adjoint functor with the same categories?

codomain fibration of a topos is a stack

On (Epi-Mono)-factorization structures

Equivalence of two definitions of sheaves over a Lawvere-Tierney topology

The naive exercise of defining (small) categories inside Zermelo's Set Theory, on purpose

If $f:Y \to X$ is a mono in $\textsf{Set}^{\mathbb{C}^{op}}$, then $f$ factors uniquely through $Y \xrightarrow{g} A \stackrel{i}{\hookrightarrow} X$.

On the existence of a category of functors

Regarding a morphism going to a coproduct in a category

Equivalent definitions for Serre subcategory

Getting a coproduct from a product

Power objects and direct images

Categorical proof about mapping cone and connecting morphisms

Meaning of "for a suitable $f$ in the definition of kernel pair.

How to do the following exercise about showing the sum of two identical two elements group is infinite.

Trending Questions

Popular # Hahtags

Popular Questions