2 ms·

I think it's mainly software folks who feel mathematical learning it. Mathematicians primarily use it as a linkage and general tool in some context. I feel cate

by bmitc 3y ago

I think it's mainly software folks who feel mathematical learning it. Mathematicians primarily use it as a linkage and general tool in some context. I feel category theory needs something to latch it on to. Most software based applications seem a little too contrived, unless I have missed something interesting.

k__ 3y ago
If CT is used to connect different parts of math and software is basically math proofs, then it makes sense programmers find CT interesting. It let's you connect your software to math concepts.
- bmitc 3y ago
  > software is basically math proofs But it's not.
  - solomonb 3y ago
    Not all software but by the curry-howard correspondence you can arrive at programs as proofs.
    - solomonb 3y ago
      Why would I get down voted for this comment?