kleisli categories in agda
Published 2 years ago • 115 plays • Length 9:18Download video MP4
Download video MP3
Similar videos
-
7:04
kleisli categories
-
48:33
lecture 15: kleisli categories
-
48:17
lecture 19: the kleisli category of a monad, and a solver for categories
-
12:21
the basic syntax of agda
-
0:44
now you try: writing your first agda program
-
41:58
category theory 3.2: kleisli category
-
56:38
monoidal categories
-
40:32
a pragmatic introduction to category theory - daniela sfregola
-
46:46
category theory 1.1: motivation and philosophy
-
7:44
kennedy's classification and applegate's rules
-
12:24
prosthodontics | kennedy classification | inbde, adat
-
8:18
kennedy's classification, applegate's rules- easy!
-
12:54
hutton's razor is a monad
-
1:56
classes de kennedy et applegate | anatomie | prothèse dentaire | cours | ©
-
23:40
categories 6 monoidal categories
-
1:15:29
category theory 10.1: monads