(untitled)

Task 7: Try to extend the natural transformation in the other direction (by taking $baralpha$ to be identity). -- https:// abuseofnotation.github.io/cate gory-theory-illustrated/11_natural_transformations/index.html