2017/08/17 by Rémy Tuyéras, Tuyéras, Rémy · 1 voice
Biochemistry, Genetics and Molecular Biology · Mathematics · #Bioinformatics and Genomic Networks #Biomedical Text Mining and Ontologies #Category Theory (math.CT) #FOS: Mathematics #Gene Regulatory Network Analysis #math.CT
paper · pdf · doi:10.48550/arxiv.1708.05255
minor changes to the previous version (Examples added, change: "reversion" --> "inversion")
openalex publication_date 2017/08/17 · arxiv published 2017/08/17 · arxiv created 2018/05/18 · arxiv updated 2018/05/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.