Browse Source

Change index.html and README to put on github

master
Thierry 1 year ago
parent
commit
1e486f6f24
2 changed files with 24 additions and 6 deletions
  1. +16
    -2
      README
  2. +8
    -4
      index.html

+ 16
- 2
README View File

@@ -1,4 +1,18 @@

These are notes and screenshots of video courses on categories published by Bartosz Milewski on youtube.
See index.html for links to the original resources.
Notes and screenshots of video courses on category theory by Bartosz Milewski on youtube
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

Usage :
Download or clone this repository, and browse index.html on your local machine.

These notes helped me to follow the beginning of the course, but do not bring new information.
More info on https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

Notes go until part I, chapter 7.2.

For the moment, I stopped watching the videos (because I bought the book).

To download these notes :
https://github.com/tig12/milewski-youtube-notes

Notes released in FDL and cc-by-sa

+ 8
- 4
index.html View File

@@ -146,18 +146,20 @@
<li>
<a href="https://www.youtube.com/playlist?list=PLbgaMIhjbmEn64WVX4B08B4h2rOtueWIL">Youtube playlist - Part III</a> (18 videos, ~ 7h).
</li>
<hr/>
<li>
<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)
Blog : <a href="https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/">Category Theory for Programmers : the preface</a>
</li>
<li>
<a href="https://github.com/hmemcpy/milewski-ctfp-pdf">PDF book</a> (~ 500 pages)
</li>
<li>
<a href="https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/">Category Theory for Programmers : blog pages</a>
<a href="https://github.com/hmemcpy/milewski-ctfp-pdf.git">Tex source of the pdf book</a>
</li>
<li>
<a href="https://github.com/hmemcpy/milewski-ctfp-pdf.git">Repository containing the tex source of the pdf book</a>
<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)
</li>
</ul>
</div>
</div>
@@ -167,8 +169,10 @@
<h2>About these notes</h2>
<div class="dejavu">
Started in 2018 by Thierry Graff.
<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.
<br>There are notes until part I, chapter 7.2 ; for the moment, I stopped watching the videos (because I bought the book).
<br>You can download these notes from the git repository : <a href="https://gitea.tig12.net/tig12/categories">gitea.tig12.net/tig12/categories</a>.

<br>You can download these notes from <a href="https://github.com/tig12/milewski-youtube-notes">github.com/tig12/milewski-youtube-notes</a>.
<br>
<br>The notes are written in english but I use french conventions for capitalization and spaces.
<br>- The characters <code>; : ? !</code> are preceeded and followed by a white space.</li>


Loading…
Cancel
Save