Re: Quantum Woo Again

Posted by jon zingale on Aug 12, 2020; 5:53pm
URL: http://friam.383.s1.nabble.com/Quantum-Woo-Again-tp7598047p7598274.html

Cool, I suppose that it makes good enough sense to interpret *tonk* through
the lens of an Abelian category. It is where my intuition goes as well,
Gentzen gives the introduction rules as the unit to some adjunction and the
elimination rules as the counit to some adjunction. Tonk-like connectives
are exactly zero objects in that we get universal arrows to and from them,
like zeros in homology. I will have to read further to see what the
parallels are to the more traditional Abelian categories like homological
algebra. Do we learn something by studying short exact sequences of
deductions, beginning and ending with *tonk*?



--
Sent from: http://friam.471366.n2.nabble.com/

- .... . -..-. . -. -.. -..-. .. ... -..-. .... . .-. .
FRIAM Applied Complexity Group listserv
Zoom Fridays 9:30a-12p Mtn GMT-6  bit.ly/virtualfriam
un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
archives: http://friam.471366.n2.nabble.com/
FRIAM-COMIC http://friam-comic.blogspot.com/