A couple more examples of ends. Firstly, otaining Nat |F,G| as an end. Secondly, a baby example of Tannakian reconstruction: if M is a monoid in Set, and U is the forgetful functor from M-Set to Set then Nat |U,U| = M.
No download links available.
