59 citations · 224 across the 22 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
math.LO2014★ 4 cited
Logic and linear algebra: an introduction
Daniel Murfet
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 closed monoidal…
math.RA2014
On Sweedler's cofree cocommutative coalgebra
Daniel Murfet
We give a direct proof of a result of Sweedler describing the cofree cocommutative coalgebra over a vector space, and use our approach to give an explicit construction of liftings…
math.AC2014
The cut operation on matrix factorisations
Daniel Murfet
The bicategory of Landau-Ginzburg models has polynomials as objects and matrix factorisations as -morphisms. The composition of these -morphisms produces infin…