I\'m a bit lost in Section 8.8 from Category Theory for Programmers.
The book reads
[…] the mapping that takes a pair of objects a and b<
