jonsterling/math

A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

TeX

55

275 commits

updated Jan 23, 2023

www.jonmsterling.com/math/lectures/categorical-foundations.html

Contributors

228 commits

32 commits

14 commits

1 commits

Similar repos

jonsterling/forest

My mathematical Zettelkasten, created using forester. Moved to sourcehut.

95

abuseofnotation/category-theory-illustrated

A book about category theory

486

jonsterling/ocaml-forester

Mirror of ocaml-forester

52

awodey/CatLogNotes

Categorical Logic Notes

81

isovector/thinking-with-types

📖 source material for Thinking with Types

497

benediktahrens/CT4P

45

Sajidsaj/True-Math

2

statebox/fsm-oracle

Finite state machines as graphs

60

Languages

TeX

25.2%

HTML

23.0%

CSS

13.3%

JavaScript

13.1%

Racket

12.6%

Ruby

12.2%

jonsterling/math

A mini-book on category theory. Superseded by https://github.com/jonsterling/forest

TeX

55

275 commits

updated Jan 23, 2023

www.jonmsterling.com/math/lectures/categorical-foundations.html

Similar repos

jonsterling/forest

My mathematical Zettelkasten, created using forester. Moved to sourcehut.

95

abuseofnotation/category-theory-illustrated

A book about category theory

486

jonsterling/ocaml-forester

Mirror of ocaml-forester

52

awodey/CatLogNotes

Categorical Logic Notes

81

isovector/thinking-with-types

📖 source material for Thinking with Types

497

benediktahrens/CT4P

45

Sajidsaj/True-Math

2

statebox/fsm-oracle

Finite state machines as graphs

60

Contributors

228 commits

32 commits

14 commits

1 commits

Languages

TeX

25.2%

HTML

23.0%

CSS

13.3%

JavaScript

13.1%

Racket

12.6%

Ruby

12.2%