III 7.1 · Natural transformations as ends

- 视频：https://www.youtube.com/watch?v=DseY4qIGZV4

- 状态：未观看，待补

- 关联：Bartosz Milewski Category Theory 视频笔记 category_theory @Category Theory for Programmers