Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 28th 2014
   • (edited Feb 28th 2014)
   • PermaLink
   Author: Urs
   Format: MarkdownItexPrompted by seeing my text on "Quantization via Linear homotopy types" Daniel Murfet kindly writes in to alert me of his recent preprint * [[Daniel Murfet]], _Computing with cut systems_ ([arXiv:1402.4541](http://arxiv.org/abs/1402.4541)) This (and then apparently its followup) discusses branes in [[Landau-Ginzburg models]] (matrix factorizations of the superpotential) in terms of [[linear logic]] and the [[geometry of interactions]]... (I have now added pointers to this to _[[Landau-Ginzburg model]]_ and _[[matrix factorization]]_ and _[[linear logic]]_. )

   Prompted by seeing my text on “Quantization via Linear homotopy types” Daniel Murfet kindly writes in to alert me of his recent preprint

   • Daniel Murfet, Computing with cut systems (arXiv:1402.4541)

   This (and then apparently its followup) discusses branes in Landau-Ginzburg models (matrix factorizations of the superpotential) in terms of linear logic and the geometry of interactions…

   (I have now added pointers to this to Landau-Ginzburg model and matrix factorization and linear logic. )