mathlib3
doc(docs/tutorial/category_theory): introductory category theory tutorial
#2104
Merged
Overview
Commits
24
Changes
View On GitHub

doc(docs/tutorial/category_theory): introductory category theory tutorial #2104

mergify merged 24 commits into master from category_theory_docs
kbuzzard
kbuzzard doc(docs/tutorial/category_theory): Adding WIP beginner category theo…
30b85441
kbuzzard kbuzzard requested a review from kim-em kim-em 6 years ago
kbuzzard kbuzzard added WIP
kim-em
kim-em commented on 2020-03-07
kim-em linewraps
69177488
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em
kim-em commented on 2020-03-07
kim-em presumably uncontroversial edits
2436fb04
kim-em
kim-em commented on 2020-03-07
kim-em oops
8f9f1432
kim-em
kim-em commented on 2020-03-07
kim-em whitespace
8701296d
kim-em explaining more about universes
1d3e33e4
kim-em warning about definitional associativity
532c42e1
kim-em add TODO
4f507382
kim-em Update docs/tutorial/category_theory/category_theory_intro.md
6313628a
kim-em kim-em force pushed from da0693a5 to 6313628a 6 years ago
kim-em rename
cbd28366
kim-em cleanup
9373935e
kbuzzard adding lean version
e28c4d22
kbuzzard Merge branch 'category_theory_docs' of github.com:leanprover-communit…
fe970771
kim-em various
32e19b3e
kim-em add a note about debugging universe problems
7779d5c2
kim-em rename
ab3718ee
kim-em delete old markdown tutorial
39bd9030
kbuzzard adding sections to make variable names nicer
df4c3b3d
kbuzzard kbuzzard removed WIP
kbuzzard
kim-em kim-em changed the title doc(docs/tutorial/category_theory): Adding WIP beginner category theo… doc(docs/tutorial/category_theory): introductory category theory tutorial 6 years ago
kim-em tidy up universes
9fa10dab
kim-em url escape parentheses inside links
922cdb6f
kim-em tweaking text
36377454
sgouezel
sgouezel commented on 2020-03-08
kim-em Update docs/tutorial/category_theory/intro.lean
e7c960a2
cipher1024 cipher1024 assigned kim-em kim-em 6 years ago
kim-em
kim-em approved these changes on 2020-03-08
kim-em kim-em added ready-to-merge
mergify[bot] Merge branch 'master' into category_theory_docs
ec25ff68
mergify[bot] Merge branch 'master' into category_theory_docs
1bff74d9
mergify mergify merged ce7248ab into master 6 years ago
mergify mergify deleted the category_theory_docs branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum