Monomonomonoid in the cocartesian cocategory of tensor pairs or why yo should fck a circle :: YTP

YTP of three part lecture series and a tribute to Bartosz Milewski, a programmer and a popularizer of category theory. Ах да, этот пуп это побочный продукт создания n-ного раунда к новому теннису.