devtrium
fe0a640730
use container based
2018-03-30 21:20:49 +08:00
devtrium
8a3a697db1
fix package name
2018-03-30 21:02:00 +08:00
devtrium
e440a8c53e
fix typo
2018-03-30 20:57:13 +08:00
devtrium
c462218bf0
test ci
2018-03-30 20:55:07 +08:00
Igal Tabachnik
42c3ca67bd
Fixes #107 - formatting error
2018-03-28 09:21:38 +03:00
hololeap
47f1db63de
Minor typo ( #118 )
2018-03-28 09:07:59 +03:00
Igal Tabachnik
a6bed4671b
Bumping version
2018-03-27 23:27:07 +03:00
Igal Tabachnik
2c9f4b9353
Adding a section on Hom-Functors to Functoriality
2018-03-27 23:26:59 +03:00
Igal Tabachnik
b6913025ca
Bumping version number
2018-03-05 10:35:19 +02:00
hololeap
b59495c21a
Missing end parenthesis for tuple on line 230 ( #115 )
2018-03-04 21:59:08 +02:00
dkim
e2be7dc299
Correct a typo in Section 18.1 ( #112 )
2018-02-15 16:37:53 +02:00
Marcello Seri
904d3d87a3
Minor typos ( #113 )
...
* 1.6: make verbatim actual haskell as in the previous examples
Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
* 1.9: do not use math mode, to prevent incorrect arrow representation
Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
* 1.10: add missing {} for cat
Signed-off-by: Marcello Seri <marcello.seri@citrix.com>
2018-02-15 16:37:28 +02:00
Colin Woodbury
d5dd9cfbc8
Very tiny typo ( #110 )
2018-02-04 12:22:55 +02:00
Timmy Jose
d76ff65a3b
Adding Libertinus Math font dependency for building on macOS to README ( #109 )
2018-01-29 17:18:11 +02:00
Igal Tabachnik
cffd2f8b29
Bumping version
2018-01-22 22:58:26 +02:00
Igal Tabachnik
5fba3fe9c2
Changing image sizes to reduce empty space
...
Fixes #106
Fixes #41
Thanks to @fosskers for reporting!
2018-01-22 22:57:09 +02:00
Colin Woodbury
a516c0dab3
Make Either example into real Haskell ( #104 )
2018-01-22 14:21:35 +02:00
Colin Woodbury
fcd1adc62d
Chapter 6: Minor rewording ( #105 )
2018-01-19 16:58:15 +02:00
Colin Woodbury
682c90356d
Minor typo ( #103 )
2018-01-16 22:14:32 +02:00
Igal Tabachnik
9ae5c3866d
Bumping version number
2018-01-11 15:41:50 +02:00
Igal Tabachnik
0973460e9e
Chaning youtube footnote link to a short url. Fixes #101
2018-01-10 15:57:13 +02:00
Bartosz Milewski
cdf9fa858d
Thank you note
2018-01-03 22:17:41 +01:00
Bartosz Milewski
dc07c1ea89
Fix associativity equation
...
mu acts on pairs
2018-01-03 22:17:41 +01:00
Igal Tabachnik
9f4aa29c1a
Changing the book to two-side, so it can be printed properly
2017-12-31 16:35:44 +02:00
Igal Tabachnik
47b626729e
Bumping version number
2017-12-31 14:55:35 +02:00
Marcello Seri
457f6882f6
Replace hand-drawn commutative diagrams with TeX ( #99 )
...
* preamble: add diagram package tikz-cd
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* content/3.2: rewrite diagrams in tikz-cd
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* content/3.9: rewrite diagrams in tikz-cd
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* content/3.12: rewrite diagrams in tikz-cd
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* 3.12: fix typo, missing \ on cat
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* 3.12: adjust id.jpg size to improve pagination
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* 2.4: fix typo, missing \ on cat
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* content/3.12: use \id from category.tex instead of \rm{id}
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* content/3.14: rewrite diagrams in tikz-cd
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* content/3.12: correct \rho -> \lambda on commutative diagram
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
* README: add myself among the contributors
Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
2017-12-31 14:47:54 +02:00
Guillaume Babin
4998e2cd79
Fixes spacing ( #80 )
...
* Avoids ugly spacing between letters in words in math mode
* Fixes spacing around operators
2017-12-31 14:11:55 +02:00
Joe Bowbeer
34b4cd1fbd
Update Functoriality.tex ( #98 )
...
The type :: and definition (=) should be expressed on separate lines, as they are in the blog.
2017-12-17 10:05:34 +02:00
Joe Bowbeer
48a71d1510
Update Functoriality.tex ( #97 )
...
s/Let' /Let /
2017-12-16 17:41:42 +02:00
Igal Tabachnik
5121475edc
Bumping version number
2017-12-04 10:11:35 +02:00
Jesper Öqvist
88e8747def
Fix grammar ( #95 )
2017-12-04 09:05:27 +02:00
Ivan Andrus
fa65e89e05
I believe this to be a typo ( #93 )
2017-11-25 13:43:16 +02:00
Ivan Andrus
127372a831
Simple typo ( #94 )
2017-11-25 13:41:57 +02:00
Gabriel Aubut-Lussier
1e35fdddc2
Fix a typo in the category of a morphism on morphisms. ( #92 )
2017-11-23 18:57:03 +02:00
Bartosz Milewski
fcb751cb37
Fixed trivial model for Lawvere theory
2017-11-14 11:58:30 +01:00
Igal Tabachnik
86603a794a
Bumping version
2017-11-08 15:47:24 +02:00
George Hawkins
820dbaf8e8
Corrected occasional misspelling of Lawvere and other minor spelling mistakes, and capitalized Cartesian ( #86 )
...
* Corrected occasional misspelling of Lawvere and other minor spelling mistakes.
* Changed all occurrences of cartesian to Cartesian (but left bicartesian as it is).
2017-11-07 23:38:04 +02:00
Vikram Shenoy
7613252295
Fix typos in sections 1.2, 1.5, 1.7 ( #85 )
2017-11-05 18:55:03 +02:00
Zegeri
91d037b434
Fixes typo in 1.5 ( #84 )
2017-11-03 10:16:18 +02:00
Igal Tabachnik
782f209ed8
Bold font support in minted environments
2017-11-01 22:32:03 +02:00
Igal Tabachnik
40b5e2ea85
More preamble trimmings
2017-11-01 21:47:53 +02:00
Igal Tabachnik
84357ce89e
Bugfix (missing colon operator)
2017-11-01 21:47:05 +02:00
Igal Tabachnik
fcf4483b1e
Fixing wrapped images after font size change
2017-10-31 11:22:06 +02:00
Igal Tabachnik
97fd5b198d
Fixing a broken font size in \code environments. This caused all the text to shrink.
...
Fixes #83
2017-10-31 11:22:06 +02:00
Igal Tabachnik
9bec25693d
Fixed typo in “Sutton” in Acknowledgments.
...
Fixes #82
2017-10-31 11:22:06 +02:00
Igal Tabachnik
1af4f44365
Bumping version
2017-10-31 09:58:05 +02:00
Igal Tabachnik
3715b32a06
Lots of tweaks.
2017-10-31 09:55:37 +02:00
Igal Tabachnik
45b72af377
Small fixes
2017-10-30 19:06:09 +02:00
Igal Tabachnik
f2a41cfd30
Making the font smaller for all verbatim and minted code
2017-10-30 19:05:55 +02:00
Igal Tabachnik
a42abcd4f5
Adding missing coverpage.pdf
...
Fixes #81
2017-10-22 22:54:13 +03:00
