News for hackers. Stuff that matters.

A comment on Graphical Linear Algebra. Parent comment

Re:Graphical Linear Algebra by longtimegoogler on Tuesday August 18, 2020 @10:39AM (#24199096)
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.

[ Parent | on HN ]
Re:Graphical Linear Algebra by type_enthusiast on Tuesday August 18, 2020 @04:09PM (#24203737)
> 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.

[ Parent | on HN ]
Re:Graphical Linear Algebra by longtimegoogler on Tuesday August 18, 2020 @05:20PM (#24204485)
Very cool! I get excited about Category Theory just like the rest.
[ Parent | on HN ]