Wikipedia:Reference desk/Archives/Mathematics/2021 October 27

= October 27 =

basic category theory
I'd like to learn some basic category theory a bit beyond Haskell/Category theory but mostly still for purpose of Haskell programming and programming language theory. Can anyone suggest a simple guide? I'm not too concerned for now about mathematical usage such as in algebraic geometry (that subject is too big for my tiny brain), but acquiring some clue about categorical logic would be nice I guess. My immediate motivation is wanting to understand mmorph. Thanks. 2601:648:8202:350:0:0:0:D15B (talk) 19:13, 27 October 2021 (UTC)


 * There are lecture notes on Category Theory for Program Construction by Calculation that go step by step from the very basics to monads and Kleisli composition. The theory is occasionally illustrated with examples in functional programming notation. --Lambiam 20:28, 27 October 2021 (UTC)
 * Thanks, that looks interesting. 2601:648:8202:350:0:0:0:D15B (talk) 01:54, 28 October 2021 (UTC)