"Count Number of Maps: First Exercises of Conceptual Mathematics in Clojure"
Using Clojure to count maps between sets while working through early exercises in Lawvere's Conceptual Mathematics and learning category theory.
more ...Using Clojure to count maps between sets while working through early exercises in Lawvere's Conceptual Mathematics and learning category theory.
more ...A personal introduction to learning category theory, motivated by a preference for unifying principles over memorizing mathematical techniques.
more ...