Hacker News new | ask | show | jobs
by adamnemecek 2664 days ago
Category theory isn't quite the correct formalism.
1 comments
selimthegrim 2664 days ago
What would be then?
link
adamnemecek 2664 days ago
I like linear logic a lot. Not saying it solves everything but it's easier to understand and you don't really give up much of what category theory has.

Also alternating graphs or game semantics.

These are all related.

link