Category-Theory-for-Programmers
Category-Theory-for-Programmers copied to clipboard
3.10-ends-and-coends