Re:Applied Category Theory
by marquis-chacha on Friday April 19, 2019 @03:39PM
(#19702364)
"Applied Category Theory" almost seems a bit tongue-in-cheek to me, given Category Theory is designed to distill the concepts found in a bunch of different "applied" fields into one, theoretical, framework. (That was my impression from the intro lecture, at least)
[ Parent
| on HN ]
Re:Applied Category Theory
by brianberns on Friday April 19, 2019 @03:47PM
(#19702436)
They should call the class “Concrete Nonsense” (since category theory itself is sometimes described as “abstract nonsense”).
Re:Applied Category Theory
by saidajigumi on Friday April 19, 2019 @04:10PM
(#19702587)
Which phrase, I note with profound glee, has its own Wikipedia page for precisely this usage:
Re:Applied Category Theory
by quickthrower2 on Friday April 19, 2019 @05:33PM
(#19703193)
Maybe “Brutalist Nonsense”