The Harmonic Triads

[Ichthus77 (Ichthus77 (formerly She™))]

Terminal and initial monads and kleisli categories (respectively)

My notes on this video as I learn. Please scan for questions & correct any false inferences. categories without elements (instead: constructions of arrows between objects, showing how they relate) three rules for categories: composition (for implementation) identity/unit (object with arrow pointing back to itself) associativity (can be composed in any order) (concatenation of strings) Kleisli category has same objects but different arrows from the ones in Category C (a monad). is this also…