tig12
/
milewski-youtube-notes
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
Notes from Bartosz Milewski's youtube videos - 2018, html
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
9 Commits
1 Branch
0 B
 
 
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
milewski-youtube-notes/index.html

184 lines
8.9 KiB
Raw Permalink Blame History 

  1. <!DOCTYPE html>

  2. <html lang="en">

  3. <head>

  4.     <meta charset="utf-8">

  5.     <title>Categories Bartosz Milewski Youtube notes</title>

  6.     <link rel="shortcut icon" href="favicon.png" type="image/x-icon">

  7.     <link rel="copyright" href="http://www.gnu.org/copyleft/gpl.html"/>

  8.     <link href="static/style.css" rel="stylesheet" type="text/css">

  9. </head>

  10. 

  11. <body class="index">                                                                         

  12. 

  13. <nav class="prevnext">

  14.     <a class="top" title="Index" href="../categories.html">&uarr;</a>

  15.     <a class="next" title="Next" href="younotes1/1.1-motivation-philosophy.html">&rarr;</a>

  16. </nav>

  17. 

  18. <h1>Category Theory for programmers</h1>

  19. 

  20. <div class="big20 bold margin-bottom2">Notes and screenshots from Bartosz Milewski's youtube videos</div>

  21. 

  22. <div class="flex-wrap">

  23.     <div>

  24.     <div class="big20 bold">Part I</div>

  25.     <ul class="naked">

  26.         <li>

  27.             <b><a href="younotes1/1.1-motivation-philosophy.html">I - 1.1: Motivation and Philosophy</a></b> - 46:46

  28.         </li>

  29.         <li>

  30.             <b><a href="younotes1/1.2-what-is-a-category.html">I - 1.2: What is a category?</a></b> - 48:18

  31.         </li>

  32.         <li>

  33.             <b><a href="younotes1/2.1-functions-epimorphisms.html">I - 2.1: Functions, epimorphisms</a></b> - 46:14

  34.         </li>

  35.         <li>

  36.             <b><a href="younotes1/2.2-monomorphisms-simple-types.html">I - 2.2: Monomorphisms, simple types</a></b> - 24:34

  37.         </li>

  38.         <li>

  39.             <b><a href="younotes1/3.1-examples-orders-monoids.html">I - 3.1: Examples of categories, orders, monoids</a></b> - 48:26

  40.         </li>

  41.         <li>

  42.             <b><a href="younotes1/3.2-kleisli-category.html">I - 3.2: Kleisli category</a></b> - 41:58

  43.         </li>

  44.         <li>

  45.             <b><a href="younotes1/4.1-terminal-and-initial-objects.html">I - 4.1: Terminal and initial objects</a></b> - 47:47

  46.         </li>

  47.         <li>

  48.             <b><a href="younotes1/4.2-products.html">I - 4.2: Products</a></b> - 34:49

  49.         </li>

  50.         <li>

  51.             <b><a href="younotes1/5.1-coproducts-sum-types.html">I - 5.1: Coproducts, sum types</a></b> - 36:47

  52.         </li>

  53.         <li>

  54.             <b><a href="younotes1/5.2-algebraic-data-types.html">I - 5.2: Algebraic data types</a></b> - 33:14

  55.         </li>

  56.         <li>

  57.             <b><a href="younotes1/6.1-functors.html">I - 6.1: Functors</a></b> - 54:10

  58.         </li>

  59.         <li>

  60.             <b><a href="younotes1/6.2-functors-in-programming.html">I - 6.2: Functors in programming</a></b> - 51:36

  61.         </li>

  62.         <li>

  63.             <b><a href="younotes1/7.1-functoriality-bifunctors.html">I - 7.1: Functoriality, bifunctors</a></b> - 56:32

  64.         </li>

  65.         <li>

  66.             <b><a href="younotes1/7.2-monoidal-categories-functoriality-of-adts-profunctors.html">I - 7.2: Monoidal Categories, Functoriality of ADTs, Profunctors</a></b> - 49:15

  67.         </li>

  68.         <li>

  69.         

  70.     <div class="margin">--- end of current notes ---</div>

  71.     

  72.             <b><a href="younotes1/8.1-function-objects-exponentials.html">I - 8.1: Function objects, exponentials</a></b> - 45:25

  73.         </li>

  74.         <li>

  75.             <b><a href="younotes1/8.2-type-algebra-curry-howard-lambek-isomorphism.html">I - 8.2: Type algebra, Curry-Howard-Lambek isomorphism</a></b> - 20:56

  76.         </li>

  77.         <li>

  78.             <b><a href="younotes1/9.1-natural-transformations.html">I - 9.1: Natural transformations</a></b> - 51:27

  79.         </li>

  80.         <li>

  81.             <b><a href="younotes1/9.2-bicategories.html">I - 9.2: bicategories</a></b> - 43:04

  82.         </li>

  83.         <li>

  84.             <b><a href="younotes1/10.1-monads.html">I - 10.1: Monads</a></b> - 1:15:29

  85.         </li>

  86.         <li>

  87.             <b><a href="younotes1/10.2-monoid-in-the-category-of-endofunctors.html">I - 10.2: Monoid in the category of endofunctors</a></b> - 32:57

  88.         </li>

  89.     </ul>

  90.     

  91.     <div class="big20 bold">Part II</div>

  92.     <ul class="naked">

  93.         <li><b><a href="younotes2/">II - 1.1: Declarative vs Imperative Approach</a></b> - 36:17</li>

  94.         <li><b><a href="younotes2/">II - 1.2: Limits</a></b> - 48:26</li>

  95.         <li><b><a href="younotes2/">II - 2.1: Limits, Higher order functors</a></b> - 42:36</li>

  96.         <li><b><a href="younotes2/">II - 2.2: Limits, Naturality</a></b> - 28:53</li>

  97.         <li><b><a href="younotes2/">II - 3.1: Examples of Limits and Colimits</a></b> - 41:48</li>

  98.         <li><b><a href="younotes2/">II - 3.2: Free Monoids</a></b> - 36:54</li>

  99.         <li><b><a href="younotes2/">II - 4.1: Representable Functors</a></b> - 50:19</li>

  100.         <li><b><a href="younotes2/">II - 4.2: The Yoneda Lemma</a></b> - 36:11</li>

  101.         <li><b><a href="younotes2/">II - 5.1: Yoneda Embedding</a></b> - 50:53</li>

  102.         <li><b><a href="younotes2/">II - 5.2: Adjunctions</a></b> - 40:36</li>

  103.         <li><b><a href="younotes2/">II - 6.1: Examples of Adjunctions</a></b> - 48:25</li>

  104.         <li><b><a href="younotes2/">II - 6.2: Free-Forgetful Adjunction, Monads from Adjunctions</a></b> - 37:15</li>

  105.         <li><b><a href="younotes2/">II - 7.1: Comonads</a></b> - 37:39</li>

  106.         <li><b><a href="younotes2/">II - 7.2: Comonads Categorically and Examples</a></b> - 44:05</li>

  107.         <li><b><a href="younotes2/">II - 8.1: F-Algebras, Lambek's lemma</a></b> - 51:39</li>

  108.         <li><b><a href="younotes2/">II - 8.2: Catamorphisms and Anamorphisms</a></b> - 42:27</li>

  109.         <li><b><a href="younotes2/">II - 9.1: Lenses</a></b> - 41:5911</li>

  110.         <li><b><a href="younotes2/">II - 9.2: Lenses categorically</a></b> - 43:42</li>

  111.     </ul>

  112.     

  113.     <div class="big20 bold">Part III</div>

  114.     <ul class="naked">

  115.         <li><b><a href="">III - 1.1: Overview part 1</a></b> - 26:59</li>

  116.         <li><b><a href="">III - 1.2: Overview part 2</a></b> - 28:12</li>

  117.         <li><b><a href="">III - 2.1: String Diagrams part 1</a></b> - 29:08</li>

  118.         <li><b><a href="">III - 2.2: String Diagrams part 2</a></b> - 32:15</li>

  119.         <li><b><a href="">III - 3.1: Adjunctions and monads</a></b> - 25:48</li>

  120.         <li><b><a href="">III - 3.2: Monad Algebras</a></b> - 28:31</li>

  121.         <li><b><a href="">III - 4.1: Monad algebras part 2</a></b> - 26:55</li>

  122.         <li><b><a href="">III - 4.2: Monad algebras part 3</a></b> - 29:02</li>

  123.         <li><b><a href="">III - 5.1: Eilenberg Moore and Lawvere</a></b> - 29:55</li>

  124.         <li><b><a href="">III - 5.2: Lawvere Theories</a></b> - 29:26</li>

  125.         <li><b><a href="">III - 6.1: Profunctors</a></b> - 29:14</li>

  126.         <li><b><a href="">III - 6.2: Ends</a></b> - 34:26</li>

  127.         <li><b><a href="">III - 7.1: Natural transformations as ends</a></b> - 33:36</li>

  128.         <li><b><a href="">III - 7.2: Coends</a></b> - 43:15</li>

  129.     </ul>

  130.     

  131. </div>

  132. 

  133. 

  134. <div class="margin-left">

  135.     <div class="border-left">

  136.         <div class="big20 bold center">Original resources

  137.         <br>from Bartosz Milewski</div>

  138.         

  139.         <ul class="naked">

  140.             <li>

  141.                 <a href="https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_">Youtube playlist - Part I</a> (20 videos, ~ 15h).

  142.             </li>

  143.             <li>                               

  144.                 <a href="https://www.youtube.com/playlist?list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm">Youtube playlist - Part II</a> (18 videos, ~ 10h30).

  145.             </li>

  146.             <li>

  147.                 <a href="https://www.youtube.com/playlist?list=PLbgaMIhjbmEn64WVX4B08B4h2rOtueWIL">Youtube playlist - Part III</a> (18 videos, ~ 7h).

  148.             </li>

  149.             <hr/>

  150.             <li>

  151.                 Blog : <a href="https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/">Category Theory for Programmers : the preface</a>

  152.             </li>

  153.             <li>

  154.                 <a href="https://github.com/hmemcpy/milewski-ctfp-pdf">PDF book</a> (~ 500 pages)

  155.             </li>

  156.             <li>

  157.                 <a href="https://github.com/hmemcpy/milewski-ctfp-pdf.git">Tex source of the pdf book</a>

  158.             </li>

  159.             <li>

  160.                 <a href="http://www.lulu.com/shop/bartosz-milewski/category-theory-for-programmers/hardcover/product-23389988.html">Paper book at lulu.com</a> (452 pages)

  161.             </li>

  162.             

  163.         </ul>

  164.     </div>

  165. </div>

  166. 

  167. </div><!-- end class="flex-wrap" -->

  168. 

  169. <h2>About these notes</h2>

  170. <div class="dejavu">

  171. Started in 2018 by Thierry Graff.

  172. <br>These notes helped me to follow the first chapters of the course, but do not bring new information - see Milewski's blog and book for complementary resources.

  173. <br>There are notes until part I, chapter 7.2 ; for the moment, I stopped watching the videos (because I bought the book).

  174. 

  175. <br>You can download these notes from <a href="https://github.com/tig12/milewski-youtube-notes">github.com/tig12/milewski-youtube-notes</a>.

  176. <br>

  177. <br>The notes are written in english but I use french conventions for capitalization and spaces.

  178. <br>- The characters <code>; : ? !</code> are preceeded and followed by a white space.</li>

  179. <br>- Names of months, weekdays, languages etc. are not capitalized.</li>

  180. </div>

  181. 

  182. </body>

  183. </html>