abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-10-05 21:38:14 +03:00
Code Issues Packages Projects Releases Wiki Activity
260 Commits 8 Branches 0 Tags 69 MiB
master
Commit Graph

32 Commits

Author SHA1 Message Date
Boris Marinov
f832628e40 foo 2024-07-19 22:28:35 +03:00
abuseofnotation
ba5b87d8cf
Merge pull request #55 from gbezyuk/patch-1 
Typo fix in 04_order.md
 2024-03-05 21:40:05 +02:00
Boris Marinov
55883b12bd stuff 2024-03-05 20:49:44 +02:00
Grigoriy Beziuk
f3672e0869
Typo fix in 04_order.md 2024-03-03 15:44:10 +03:00
Pietro Monticone
a7461dc65a Update 04_order.md 2023-09-10 22:38:06 +02:00
Boris Marinov
0bbc7b6807 stuff 2023-09-04 11:02:32 +03:00
Boris Marinov
7784410a78 stuff 2023-08-09 00:05:06 +03:00
Boris Marinov
dd5bc0159c stuff 2023-07-19 01:14:43 +03:00
Boris Marinov
93d51c5f3f stuff 2023-05-11 01:01:01 +03:00
Boris Marinov
cee222b8ac stuff 2023-04-15 10:27:40 +03:00
Boris Marinov
c58d6cf66d add print 2023-03-19 16:51:38 +02:00
Boris Marinov
5fbf53e882 stuff 2021-12-25 18:31:58 +02:00
Boris Marinov
88096528df massive update - chapters 1 and 2 2021-12-09 21:33:37 +02:00
Boris Marinov
65689e6d5e stuff 2021-11-20 08:07:21 +02:00
Boris Marinov
c21742160a Merge branch 'master' into functors 2021-11-15 18:15:20 +02:00
Boris Marinov
c29daf8cd9 monoids 2021-11-15 18:07:44 +02:00
Boris Marinov
c73480483c stuff 2021-10-31 02:21:39 +03:00
Boris Marinov
bfcd818945 stuff 2021-10-11 14:17:05 +03:00
Boris Marinov
15f3448874 Logic chapter finished 2021-08-17 23:10:45 +03:00
Boris Marinov
c3b8cf1583 stuff 2021-08-10 21:36:14 +03:00
Boris Marinov
3d9875e431 stuff 2021-08-06 18:00:38 +03:00
Boris Marinov
7441720577 stuff 2021-07-28 16:00:22 +03:00
Boris Marinov
d5037ffdb8 Corrections 2021-04-01 21:00:56 +03: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
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