okomok/ooc

category theory study code

ooc

Private code snippets for studying the category theory.

References

• Basic Category Theory for Computer Scientists
• Categories, Types and Structures
• Computational Category Theory
• Conceptual Mathematics: A First Introduction to Categories
• LucDupAtGitHub/Arrow-Calculus

Links

• Browse Source
• Browse Test Source
• The Scala Programming Language

Shunsuke Sogame <okomok@gmail.com>