Jump to content

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

From Wikipedia, the free encyclopedia
Mathematics desk
< October 26 << Sep | October | Nov >> October 28 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


October 27

[edit]

basic category theory

[edit]

I'd like to learn some basic category theory a bit beyond b: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)[reply]

There are lecture notes on Category Theory for Program Construction by Calculation[1] 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)[reply]
Thanks, that looks interesting. 2601:648:8202:350:0:0:0:D15B (talk) 01:54, 28 October 2021 (UTC)[reply]