7sketches

Study material and excersises in applied category theory, using rust programming language.

Inspired by the works of Bartosh Milevsky and his Category Theory for Programmers, Giorgi Japaridze's Computability Logic, Seven Sketches in Compositionality: An Invitation to Applied Category Theory by Brendan Fong and David I. Spivak. The other public project nLab is community managed knowledge base on Math, Phylosophy and Physics seen from catergorical viewpoint.

Interesting videos:

• Category Theory for Programmers
• Category Theory for the Working Hacker by Philip Wadler

Interesting projects using categorical approach:

• Pijul is a free and open source (GPL2) distributed version control system. Its distinctive feature is to be based on a sound theory of patches, which makes it easy to learn and use, and really distributed. #rust

Interesting work related to rust:

• Monads in Rust

Plan Outline:

• Modern Programming Languages ~ Partial Natural Deduction (type semantics)
• Simply typed lambda calculus ~ Natural Deduction (proof semantics)
• TO.DO ~ Computability Logic (game semantics)
• Calculus of Constructions ~ Full Intuitionist Logic (scientific method semantics)

Other facts and references:

• Fundamentals of Computability Logic
• Introducing categories to the practicing physicist
• Category theory and physics
• Homotopy Hypothesys