4 ms·
As someone who knows some Category Theory, Algebraic Topology, and a smidgen of Algebraic Geometry, I totally agree. Category Theory is a very useful and essent
by longtimegoogler 6y ago
As someone who knows some Category Theory, Algebraic Topology, and a smidgen of Algebraic Geometry, I totally agree. Category Theory is a very useful and essential tool in those subjects.
However, to me it reminds me of String Theory, in that it has been sold as Theory of Everything for Mathematics and adjacent fields.
Category Theory might even be somewhat useful for language designers, but, I agree that it offers little benefit for programmers even with languages like Haskell.
Even Bartosz said that Adjoints aren't that interesting in Haskell because every functor is an endofunctor.
- type_enthusiast 6y ago> Even Bartosz said that Adjoints aren't that interesting in Haskell because every functor is an endofunctor. Every functor (in the standard library) is an endofunctor, but is also a functor to a specific flavor of full subcategory in Hask. It might be useful to support other flavors of subcategory, and I think there's some ongoing work on this in the SubHask module.
- longtimegoogler 6y agoVery cool! I get excited about Category Theory just like the rest.