List questions from functors

Published on 24 Apr 2019 - 17:08

94

Views

Proof of Yoneda's lemma on wikipedia.

Published on 08 May 2019 - 23:26

107

Views

Is there a way to show Yoneda equality visually instead of compositional algebraic symbols?

Published on 25 Mar 2026 - 1:38

154

Views

Lemma for showing that presheaves are colimits of representables

Published on 13 May 2019 - 21:52

89

Views

Two questions about the Hom functors

Published on 17 May 2019 - 11:14

84

Views

Equivalent condition to left exactness

Published on 25 May 2019 - 8:34

63

Views

$G/\mbox{Ker}\:\phi\cong H$ is a natural transformation?

Published on 25 Mar 2026 - 4:40

225

Views

Every presheaf is a colimit of representables using point-wise computation of colimits

Published on 25 Mar 2026 - 7:53

2.5k

Views

What is the difference betwen equivalence and isomorphism of functors in categories.

Published on 28 May 2019 - 20:06

235

Views

Existence of a left adjoint to the functor between cocomplete category and category of presheaves on small category.

Published on 25 Mar 2026 - 11:20

256

Views

Weibel exercise 1.1.4, taking $A = Z_n$...

Published on 25 Mar 2026 - 1:36

188

Views

Naturality of an exact sequence

Published on 25 Mar 2026 - 6:04

118

Views

Prove that $\text{Hom}_R (I(M)/M, I(M)) = 0$?

Published on 04 Jun 2019 - 2:16

47

Views

Trouble with defining action of a functor on category without a set of generating morphisms

Published on 04 Jun 2019 - 11:20

122

Views

Is $\mathcal A^{\mathcal A}\sim\mathcal B^{\mathcal B}\implies\mathcal A\sim\mathcal B$ true? (Does A^A ~ B^B imply A ~ B? --- A, B categories)

Published on 06 Jun 2019 - 12:32

List Question

Lp space is a Hom functor

Proof of Yoneda's lemma on wikipedia.

Is there a way to show Yoneda equality visually instead of compositional algebraic symbols?

Lemma for showing that presheaves are colimits of representables

Two questions about the Hom functors

Equivalent condition to left exactness

$G/\mbox{Ker}\:\phi\cong H$ is a natural transformation?

Every presheaf is a colimit of representables using point-wise computation of colimits

What is the difference betwen equivalence and isomorphism of functors in categories.

Existence of a left adjoint to the functor between cocomplete category and category of presheaves on small category.

Weibel exercise 1.1.4, taking $A = Z_n$...

Naturality of an exact sequence

Prove that $\text{Hom}_R (I(M)/M, I(M)) = 0$?

Trouble with defining action of a functor on category without a set of generating morphisms

Is $\mathcal A^{\mathcal A}\sim\mathcal B^{\mathcal B}\implies\mathcal A\sim\mathcal B$ true? (Does A^A ~ B^B imply A ~ B? --- A, B categories)

Trending Questions

Popular # Hahtags

Popular Questions