Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jan 10, 2014
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.