Addendum to natural transformations 3: a bit more about whiskering, and where the interchange law really comes from
No download links available.