Confused? Stop treating morphisms as same. Maps matter.
Conversation
Replying to
Yeah I've missed #Haskell. There really is something very addictive to raising abstraction. It's fun and easily becomes a goal in itself.
1
Replying to
Making level errors - mentally treating morphisms as identities - seems to be key to my thinking. Mind can do cycles - it just associates.
1
1
Replying to
The types in #Haskell allow to take the mental representation cycles apart, and directionalize them with maps. How to articulate better?