10 Feb
1997
10 Feb
'97
12:50 p.m.
I've been talking about paracategories for several years now. But they require some more axioms. And they don't require inverses.