Question

Proof that the categorical product is associative

score 551 · Answer 1 · 2018-04-12 14:40:18

551

Views

Proof that the categorical product is associative

Published on 12 Apr 2018 - 14:40

score 129 · Answer 2 · 2018-04-12 17:47:36

129

Views

The target of an epimorphism which is also a zero morphism is a zero object.

Published on 12 Apr 2018 - 17:47

score 139 · Answer 3 · 2026-03-22 12:23:41

139

Views

Kernel of morphism abelian category

Published on 22 Mar 2026 - 12:23

score 690 · Answer 4 · 2026-03-26 09:26:37

690

Views

How can I understand maps out of a limit or into a colimit?

Published on 26 Mar 2026 - 9:26

score 353 · Answer 5 · 2018-04-14 14:12:17

353

Views

When is the base change functor fully faithful

Published on 14 Apr 2018 - 14:12

score 668 · Answer 6 · 2026-03-22 14:49:40

668

Views

Proving the direct sum of two distinguished triangles is a distinguished triangle

Published on 22 Mar 2026 - 14:49

score 119 · Answer 7 · 2018-04-14 19:15:34

119

Views

Definition of Homology of a Chain Complex in an arbitrary Abelian Category

Published on 14 Apr 2018 - 19:15

score 371 · Answer 8 · 2026-03-25 22:33:52

371

Views

How can we define the stream monad and what is it's category of algebras?

Published on 25 Mar 2026 - 22:33

score 113 · Answer 9 · 2026-03-25 06:05:14

113

Views

Universal Property of the Tautological Transformation

Published on 25 Mar 2026 - 6:05

score 181 · Answer 10 · 2026-03-22 16:29:17

181

Views

Show that $\text{C}/c \cong (c/(\text{C}^{\text{op}}))^{\text{op}}$

Published on 22 Mar 2026 - 16:29

score 62 · Answer 11 · 2026-03-23 00:52:29

Let $(C, \otimes, \alpha, 1, l, r)$ be a monoidal category. Show that $l_{1 \otimes A} = id_1 \otimes l_A$ and $r_{A \otimes 1} = r_A \otimes id_1$.

score 49 · Answer 12 · 2026-03-22 20:14:35

49

Views

Monomorphisms, unclear basic property, Functor

Published on 22 Mar 2026 - 20:14

score 62 · Answer 13 · 2018-04-16 14:39:44

62

Views

left and right adjoints to an order preserving functors (maps)

Published on 16 Apr 2018 - 14:39

score 47 · Answer 14 · 2026-03-25 01:18:46

47

Views

Proving $L(R,R) \otimes L(R,R) \cong L(R \otimes R , R \otimes R)$.

Published on 25 Mar 2026 - 1:18

score 136 · Answer 15 · 2026-03-26 04:42:23

136

Views

Existence of morphisms in a free completion under directed colimits,$\lambda$-accessible category

Published on 26 Mar 2026 - 4:42

List Question

Proof that the categorical product is associative

The target of an epimorphism which is also a zero morphism is a zero object.

Kernel of morphism abelian category

How can I understand maps out of a limit or into a colimit?

When is the base change functor fully faithful

Proving the direct sum of two distinguished triangles is a distinguished triangle

Definition of Homology of a Chain Complex in an arbitrary Abelian Category

How can we define the stream monad and what is it's category of algebras?

Universal Property of the Tautological Transformation

Show that $\text{C}/c \cong (c/(\text{C}^{\text{op}}))^{\text{op}}$

Let $(C, \otimes, \alpha, 1, l, r)$ be a monoidal category. Show that $l_{1 \otimes A} = id_1 \otimes l_A$ and $r_{A \otimes 1} = r_A \otimes id_1$.

Monomorphisms, unclear basic property, Functor

left and right adjoints to an order preserving functors (maps)

Proving $L(R,R) \otimes L(R,R) \cong L(R \otimes R , R \otimes R)$.

Existence of morphisms in a free completion under directed colimits,$\lambda$-accessible category

Trending Questions

Popular # Hahtags

Popular Questions