After chatting to @auxbus about calculus, I thought it might be useful to have a new thread.
I’m trying to decide how much I need to know about Category Theory to learn functional programming properly. I found a WikiP page that really scared me but just came across this. It has pictures https://en.m.wikibooks.org/wiki/Haskell/Category_theory
I watched a TV programme a few months ago. I’m pretty sure they said category theory was the biggest problem area for most Oxbridge maths students. I like a challenge.
I’m learning Clojure, which looks like a Lisp, so you’d think it was based on Lambda calculus but I think the abstractions come from category theory, via Haskell.
I’ve been looking at categorisation of concepts via interwingularity and their representation as graphs, and at John Locke’s ideas about thinking which includes abstraction. Category Theory is about abstraction of mathematical concepts via graphs. It ‘would be silly not to’ wouldn’t it?
I’ve also read a comment that you don’t need to understand category theory to grok Haskell because it only uses a tiny part of it which is ‘easy’ to understand.