>>10960071compsci fag here. I once learned a little about it from 7 Scetches of composability. I spent 2 weeks just doing that and made some progress up to functors, natural isomorphism, adjoints, cartesian categories. Was really interesting, but I am far from putting it into use (which in my case means: writing a dope program with it, understanding some dope new logic in terms of it or formulating some algorithm in terms of it.) I would need more theory (kan extensions, pull back, push outs, and some more) and then some actual practise in formulating shit in it.
