24Aug2015Logicandlinearalgebraanintroduction-arXiv.PDFVIP

Logic and linear algebra: an introduction 5 Daniel Murfet 1 0 2 August 25, 2015 g u A Abstract 4 2 We give an introduction to logic tailored for algebraists, explaining how proofs ] in linear logic can be viewed as algorithms for constructing morphisms in symmetric O closed monoidal categories with additional structure. This is made explicit by show- L