Home / Research work

Papers

• ▸ Elimination of Quotients in Various Localisations of Premodels into Models, Mathematics 2017, 5(3), 37, (2017); doi:10.3390/math5030037
  arXiv

    arXiv:1511.09332 (Tue, 12 Sep 2017)
    - statement of Proposition 3.1 clarified;
    - a diagram of Example 6.42 clarified;
    - a few obvious typos corrected.
  article

    https://www.mdpi.com/2227-7390/5/3/37
• ▸ Category theory for genetics I: mutations and sequence alignments, Theory and Applications of Categories, Vol. 33, 2018, No. 40, pp 1266-1314.
  arXiv

    arXiv:1805.07002 (Tue, 7 Apr 2020)
    - Example 3.37 clarified.
  article

    http://www.tac.mta.ca/tac/volumes/33/40/33-40abs.html
• ▸ Category theory for genetics II: genotype, phenotype and haplotype
  arXiv

    arXiv:1805.07004 (Mon, 9 Jan 2023)
    - major revision;
    - updated old content;
    - added word problem resolution.
  
• ▸ A category theoretical argument for causal inference
  arXiv

    arXiv:2004.09999
• ▸ Cellular intelligence: dynamic specialization through non-equilibrium multi-scale compartmentalization (with L. Z. Agudelo, Soumya P. Ram, et al.)
  bioRXiv

    bioRxiv:2021.06.25.449951v1
• ▸ Metabolic resilience is encoded in genome plasticity (with L. Z. Agudelo et al.)
  bioRXiv

    bioRxiv:2021.06.25.449953v2
• ▸ Constructing a fully homomorphic encryption scheme with the Yoneda Lemma
  arXiv

    arXiv:2401.13255

Proceedings

• ▸ (with B. Fong and D. Spivak) Backprop as Functor: A compositional perspective on supervised learning, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, pp. 1-13, doi: 10.1109/LICS.2019.8785665.
  arXiv

    arXiv:1711.10455

Preprints

• ▸ Category theory for genetics II: genotype, phenotype and haplotype
  arXiv

    arXiv:1805.07004 (Mon, 9 Jan 2023)
    - major revision;
    - updated old content;
    - added word problem resolution.
  
• ▸ A category theoretical argument for causal inference
  arXiv

    arXiv:2004.09999
• ▸ Cellular intelligence: dynamic specialization through non-equilibrium multi-scale compartmentalization (with L. Z. Agudelo, Soumya P. Ram, et al.)
  bioRXiv

    bioRxiv:2021.06.25.449951v1
• ▸ Metabolic resilience is encoded in genome plasticity (with L. Z. Agudelo et al.)
  bioRXiv

    bioRxiv:2021.06.25.449953v2
• ▸ Constructing a fully homomorphic encryption scheme with the Yoneda Lemma
  arXiv

    arXiv:2401.13255

White papers

• ▸ Category Theory for Genetics
  arXiv

    arXiv:1708.05255 (Mon, 21 May 2018)
    - minor changes;
    - examples added;
    - changed wording: "reversion" became "inversion".
    This work gave rise to arXiv:1805.07002 and arXiv:1805.07004

Software

• ▸ A python library for the fully homomorphic encryption scheme ACES
  link to github

    https://github.com/remytuyeras/aces
    The mathematical content underlying this work
    can be found in the paper arXiv:2401.13255.
• ▸ A python library implementing the pedigrad framework
  link to github

    https://github.com/remytuyeras/pedigrad-library
    The mathematical content underlying this work
    can be found in the series of papers arXiv:1708.05255,
    arXiv:1805.07002 and arXiv:1805.07004.
• ▸ An artificial intelligence algorithm inspired from living cell dynamics, biological hierarchies and non-equilibrium principles
  link to github

    https://github.com/remytuyeras/intcyt-library
    The mathematical content underlying this work can
    be found in the paper bioRxiv:2021.06.25.449951v1