News for hackers. Stuff that matters.

A comment on Category Theory Illustrated: Logic(2021). Parent comment

Re:Category Theory Illustrated: Logic(2021) by Koshkin on Friday October 25, 2024 @05:51PM (#41950165)
I wouldn't call "niche" something some big companies have been spending billions of dollars on.
[ Parent | on HN ]
Re:Category Theory Illustrated: Logic(2021) by ogogmad on Saturday October 26, 2024 @04:20AM (#41953397)
In module theory, which is a bit close to ZX, category theory gets used in a big way to calculate things: See left/right exact functors, co/contravariant functors, derived functors, the hom-tensor adjunction, etc.

But!! I'm not seeing ANY of that in ZX.

[ Parent | on HN ]