3 ms·
That’s not the experience I’ve had. I have shown it to people who were not into category theory who got it fine. Also it goes beyond CT, CT unlike say linear lo
by adamnemecek 5y ago
That’s not the experience I’ve had. I have shown it to people who were not into category theory who got it fine. Also it goes beyond CT, CT unlike say linear logic isn’t closed under norm.