CTP-Yoneda Skill

"The Yoneda lemma is arguably the most important result in category theory." — Emily Riehl

Category Theory in Programming (CTP) by NoahStoryM - Racket tutorial mapping abstract CT concepts to programming constructs with GF(3) colored awareness.

Overview

Source: NoahStoryM/ctp
Docs: docs.racket-lang.org/ctp
Local: .topos/ctp/

Chapters (GF(3) Colored)