arXiv:1708.05255 [math.CT]AbstractReferencesReviewsResources
Category Theory for Genetics
Published 2017-08-17Version 1
We introduce a categorical language in which it is possible to talk about DNA sequencing, alignment methods, CRISPR, homologous recombination, haplotypes, and genetic linkage. This language takes the form of a class of limit-sketches whose categories of models can model different concepts of Biology depending on what their categories of values are. We discuss examples of models in the category of sets and in the category of modules over the Boolean semi-ring $\{0,1\}$. We identify a subclass of models in sets that models the genetic material of living beings and another subclass of models in modules that models haplotypes. We show how the two classes are related via a universal property.
Comments: 34 pages; 3 pictures
Categories: math.CT
Related articles: Most relevant | Search more
arXiv:2010.12534 [math.CT] (Published 2020-10-23)
Some notes on diagram chasing and diagrammatic proofs in category theory
arXiv:1401.6574 [math.CT] (Published 2014-01-25)
Category theory, logic and formal linguistics: some connections, old and new
arXiv:2211.02210 [math.CT] (Published 2022-11-04)
What is the universal property of the 2-category of monads?