DNA Logic

I read this paper on category theory and how it relates to physics. The short version is that some computer scientists went one way and some physicists went the other way and they met on the other side of the earth. Importantly linear logic is based on category theory. I think DNA might be representable as a category and recombination events as morphisms. More importantly, I think that there should be enough morphisms to cover linear logic.

In the paper, there is a discussion of how the logic derived from certain categories can carry caveats such as the inability to duplicate or delete information. That seems to work well with DNA since there are very specific rules about duplication and deletion. I don't think this would be useful in the iGEM modelling effort, but that doesn't mean that it is boring. If DNA can be considered a monoidal category, then there may be useful benefits for both the biology and the mathematics.

Eddie Ma says on 2010-02-15T10:53:04-05:00:

We need motivation for characterizing our respective chunks of hackable molecular biology components.

This is in the vein of the whiteboard list we attempted on Thursday of last week.

I propose a brainstorm race (see example)─short descriptions and headers only─Form: Google spreadsheet. In two columns, we fill in our mathematical assets and biomolecular assets. The first one to two-hundred and fifty items wins some gag prize of < CAD$5.00 and gets a special title to be determined by the winner that the loser must call for a week.

Contest ends with no winners if after three days, 250 items aren't finished by either :P

Let me know if you accept and I'll put together the spread sheet :D

(Anyone else we should add? John, Danielle, Brandon etc?)

Example brainstorm race (to 20) on the topic of novel icecream flavours.

You:
Add a Comment
Name:
Website (optional):
Comment: