top | item 45436804

(no title)

siddboots | 5 months ago

It's just a good set of models to use to think about all sorts of different mathematical systems, kind of like a unified vocabulary. Beyond undergraduate level, category theory these days plays a huge role within many vast fields - e.g., algebraic geometry, algebraic topology, or representation theory.

discuss

order

sesm|5 months ago

I think your reply overstates the importance of category theory in mathematics and doesn't give any hint on what it is about.

IMO a better reply would be: category theory appeared to unify the concepts around using discrete objects to prove the properties of continous objects in topology, like fundamental groups, homology groups and homothopy groups. It is only practically useful for very advanced proofs like 2nd Weil Conjecture. Any usage of it in programming is only an analogy and is not mathematically rigorous (see https://math.andrej.com/2016/08/06/hask-is-not-a-category/)

Iwan-Zotow|5 months ago

Wasn't that corrected already? I mean categorical definition of Hask?