7 ms·
I don't mean any offense to you personally, but this kind of comment is why I hate internet discussions. You just said the opposite of what I said without addin
by orangea 4y ago
I don't mean any offense to you personally, but this kind of comment is why I hate internet discussions. You just said the opposite of what I said without adding anything new.
- Koshkin 4y agoBut it’s indeed true that > Understanding how things compose helps you write better APIs.
- orangea 4y agoWhich has nothing substantial to do with category theory.
- macrolocal 4y agoNah, here's a recentish overview: https://golem.ph.utexas.edu/category/2020/01/profunctor_optics_the_categori.html https://golem.ph.utexas.edu/category/2020/01/profunctor_opti...
- jnash 4y agoComposition is an old idea that predates Category Theory by a long shot.
- Koshkin 4y agoBut the real understanding of composability in all its complexity and generality has only come with (the more recent developments in) category theory.
- jnash 4y agoNope. It is just a different model for the same thing. You might find it enlightens your understanding of composition but it doesn't make it more "real" than any other model.
- klysm 4y agoWhat other model shares the same expressiveness and universality of category theory?
- macrolocal 4y agoHistorically, this mindset hasn't been productive, eg. complex analysts skeptical of GAGA faltered in the 90's and 00's. HoTT is still in its infancy.
- macrolocal 4y agoCorrect.