I'm thinking about something I'll provisionally call "deep" and "shallow" applied category theory In "shallow" ACT you use categories as a language, but keep business as usual under the hood. In "deep" ACT you really *justify* applied concepts in terms of category theory
-
-
All engineers should be naturally drawn to the shallow end, I think
-
I'd say the opposite. Engineers would be drawn to the deep end but are prevented by practical considerations.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.