representable-functors

Prev: free-monoids Next: the-yoneda-lemma

Prev: free-monoids Next: the-yoneda-lemma