This is part 17 of Categories for Programmers. Previously: Yoneda Embedding. See the Table of Contents. If I haven’t convinced you yet that category theory is all about morphisms then I haven’t done my job properly. Since the next topic is adjunctions, which are defined in terms of isomorphisms of hom-sets, it makes sense to […]![]()
