categorytheory
Topic | Replies | Views | Activity | |
---|---|---|---|---|
OCaml projects utilizing Category theory |
![]() ![]() ![]() ![]() ![]() |
4 | 254 | March 5, 2025 |
Pragmatic Category Theory | Part 3: Associativity |
![]() ![]() ![]() ![]() |
7 | 410 | December 25, 2024 |
Categorical programming in OCaml |
![]() ![]() |
2 | 914 | October 12, 2022 |
Very nice presentation on category theory |
![]() ![]() |
1 | 1583 | February 5, 2018 |