boris-marinov

boris-marinov synced commits to master at boris-marinov/category-theory-illustrated from mirror 2024-07-20 01:00:32 +03:00

5d217eef1d Merge branch 'master' of github.com:boris-marinov/category-theory-illustrated

f832628e40 foo

Compare 2 commits »

boris-marinov synced commits to refs/pull/44/merge at boris-marinov/category-theory-illustrated from mirror 2024-07-06 06:46:32 +03:00

ca33d3d662 Merge ee82fd3020 into 3ed084c6b8

3ed084c6b8 Update FUNDING.yml

801c36415f stuff

08e2272896 Merge pull request #59 from 414owen/os/few-typo-corrections

b7e4c46d0c fix: Add missing 'is' and 'a' to product/pair explanation

Compare 31 commits »

boris-marinov synced commits to master at boris-marinov/category-theory-illustrated from mirror 2024-06-05 12:41:34 +03:00

3ed084c6b8 Update FUNDING.yml

boris-marinov synced commits to master at boris-marinov/category-theory-illustrated from mirror 2024-05-22 22:03:36 +03:00

801c36415f stuff

boris-marinov synced and deleted reference refs/tags/refs/pull/59/merge at boris-marinov/category-theory-illustrated from mirror 2024-04-25 19:36:42 +03:00

boris-marinov synced commits to master at boris-marinov/category-theory-illustrated from mirror 2024-04-25 19:36:42 +03:00

08e2272896 Merge pull request #59 from 414owen/os/few-typo-corrections

b7e4c46d0c fix: Add missing 'is' and 'a' to product/pair explanation

Compare 2 commits »

boris-marinov synced and deleted reference refs/tags/refs/pull/58/merge at boris-marinov/category-theory-illustrated from mirror 2024-03-29 08:34:50 +03:00

boris-marinov synced commits to master at boris-marinov/category-theory-illustrated from mirror 2024-03-29 08:34:50 +03:00

8948e7b97c Merge pull request #58 from FFFluoride/fffluoride-fix-spag

625b10d37a Fixed typo

a7cdf02b86 Fixed typo and abbreviation

b505ee14ca Fixed typo and punctuation

6aec0fb8da Fixed punctuation. More importantly, rewrote a sentence so it makes sense and isn't redundant, I hope you like it.

Compare 26 commits »

boris-marinov synced commits to refs/pull/43/merge at boris-marinov/category-theory-illustrated from mirror 2024-03-14 01:05:17 +03:00

1b44b2a917 Merge 5796ac3bf4 into ba5b87d8cf

ba5b87d8cf Merge pull request #55 from gbezyuk/patch-1

778727333a Merge pull request #56 from gbezyuk/patch-2

aed20e39f3 Merge pull request #57 from gbezyuk/patch-3

bdc89227b5 stuff

Compare 10 commits »

boris-marinov synced commits to refs/pull/44/merge at boris-marinov/category-theory-illustrated from mirror 2024-03-08 22:35:30 +03:00

29ec0b70bd Merge ee82fd3020 into ba5b87d8cf

ba5b87d8cf Merge pull request #55 from gbezyuk/patch-1

778727333a Merge pull request #56 from gbezyuk/patch-2

aed20e39f3 Merge pull request #57 from gbezyuk/patch-3

bdc89227b5 stuff

Compare 10 commits »

boris-marinov synced and deleted reference refs/tags/refs/pull/55/merge at boris-marinov/category-theory-illustrated from mirror 2024-03-06 05:15:33 +03:00

boris-marinov synced and deleted reference refs/tags/refs/pull/56/merge at boris-marinov/category-theory-illustrated from mirror 2024-03-06 05:15:33 +03:00

boris-marinov synced and deleted reference refs/tags/refs/pull/57/merge at boris-marinov/category-theory-illustrated from mirror 2024-03-06 05:15:33 +03:00

boris-marinov synced commits to master at boris-marinov/category-theory-illustrated from mirror 2024-03-06 05:15:33 +03:00

ba5b87d8cf Merge pull request #55 from gbezyuk/patch-1

778727333a Merge pull request #56 from gbezyuk/patch-2

aed20e39f3 Merge pull request #57 from gbezyuk/patch-3

bdc89227b5 stuff

55883b12bd stuff

Compare 9 commits »

boris-marinov synced commits to refs/pull/43/merge at boris-marinov/category-theory-illustrated from mirror 2023-11-23 03:34:49 +03:00

9de359837b Merge 5796ac3bf4 into fd2d8d861d

fd2d8d861d Merge pull request #53 from nlewycky/patch-1

77599677e6 Merge pull request #54 from nlewycky/patch-2

cc0ce4a2ff Fix typo that caused formatting problem.

c9539b55b0 Fix coproduct_external.svg.

Compare 5 commits »

boris-marinov synced commits to refs/pull/44/merge at boris-marinov/category-theory-illustrated from mirror 2023-11-23 03:34:49 +03:00

d532d1e986 Merge ee82fd3020 into fd2d8d861d

fd2d8d861d Merge pull request #53 from nlewycky/patch-1

77599677e6 Merge pull request #54 from nlewycky/patch-2

cc0ce4a2ff Fix typo that caused formatting problem.

c9539b55b0 Fix coproduct_external.svg.

Compare 5 commits »

boris-marinov synced and deleted reference refs/tags/refs/pull/53/merge at boris-marinov/category-theory-illustrated from mirror 2023-11-20 10:15:06 +03:00

boris-marinov synced and deleted reference refs/tags/refs/pull/54/merge at boris-marinov/category-theory-illustrated from mirror 2023-11-20 10:15:06 +03:00

boris-marinov synced commits to master at boris-marinov/category-theory-illustrated from mirror 2023-11-20 10:15:06 +03:00

fd2d8d861d Merge pull request #53 from nlewycky/patch-1

77599677e6 Merge pull request #54 from nlewycky/patch-2

cc0ce4a2ff Fix typo that caused formatting problem.

c9539b55b0 Fix coproduct_external.svg.

Compare 4 commits »

boris-marinov synced commits to master at boris-marinov/category-theory-illustrated from mirror 2023-11-11 05:51:02 +03:00

793a5d7be7 Create FUNDING.yml