A list of typos/mistakes that were fixed after the release of the new edition (1.3.0) (12 August, 2019). (see errata for the original edition until 1.3.0 here) 18. Adjunctions #228 - Typo (adjuncion -> adjunction) 30. Lawvere Theories #226 - fix type in diagram of monads as coends