boris-marinov/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/boris-marinov/category-theory-illustrated.git synced 2024-11-13 10:24:41 +03:00
Code Issues Projects Releases Wiki Activity
65 Commits 9 Branches 0 Tags 69 MiB
e39a67caa4
Commit Graph

22 Commits

Author SHA1 Message Date
ciderpunx
e39a67caa4
Typo: s/primsm/prism/ 
Also capitalized category theory as in the first paragraph.
 2021-04-01 15:11:18 +01:00
Boris Marinov
a5b8a6e111 Fix errors in orders 2021-04-01 10:29:59 +03:00
Boris Marinov
8ae407bf3f Order fixes 2021-03-30 23:07:22 +03:00
Boris Marinov
1b1031c934 stuff 2021-03-26 20:50:48 +02:00
Boris Marinov
906d58cbf4 stuff 2021-03-22 18:47:11 +02:00
Boris Marinov
a58a6e2a6c stuff 2021-03-05 17:28:50 +02:00
Boris Marinov
ae171446c7 Orders as categories 2021-02-24 18:39:55 +02:00
Boris Marinov
f9e3886ed0 Fix modular arithmetic ordering 2021-02-23 20:56:12 +02:00
Boris Marinov
7a9592ef91 Correcting action arrow in Z2 2021-02-23 20:13:30 +02:00
Boris Marinov
8934875849 Corrections on the monoid chapter 2021-02-23 13:33:24 +02:00
Boris Marinov
1f71c95093 Preorder 2021-02-23 12:00:33 +02:00
Boris Marinov
fc471ffbfb stuff 2021-02-14 13:06:16 +02:00
Boris Marinov
7193f80ae1 Orders WIP 2021-02-11 13:53:19 +02:00
Boris Marinov
13e8e2e7b0 stuff 2021-02-01 17:55:32 +02:00
Boris Marinov
f6d2f969f6 stuff 2021-01-28 14:10:44 +02:00
Boris Marinov
267b80d494 stuff 2021-01-27 11:41:58 +02:00
Boris Marinov
3ea79c07f3 stuff 2021-01-25 14:57:27 +02:00
Boris Marinov
27ca5a8f9e Added cover 2021-01-25 10:21:14 +02:00
Boris Marinov
3ab2a16c49 corrections 2021-01-23 10:56:16 +02:00
Boris Marinov
b07892c2e8 corrections 2021-01-22 14:40:10 +02:00
Boris Marinov
5a77fb5173 Finishing monoids chapter 2021-01-22 11:50:21 +02:00
Boris Marinov
3424bd6a1d new layout 2020-12-28 20:52:31 +02:00