Abstract
The type-level abstraction is a formal way to represent molecular structures in biological practice. Graphical representations of molecular structures of biological objects are also used to identify functional processes of things. This paper will reveal that category theory is a formal mathematical language not only to visualize molecular structures of biological objects as type-level abstraction formally but also to understand how to infer biological functions from the molecular structures of biological objects. Category theory is a toolkit to understand biological knowledge at the type-level formally, not individual token-level, as well as typical heuristic strategies in molecular biology.
Similar content being viewed by others
Notes
Its reverse reaction is said to be hydrolysis which means the reverse chemical activity among molecules, called breaking.
The linkages between amino acids are called peptide bonds.
Sugars are of two types, ribose, and deoxyribose, within a nucleic acid. The prefix ‘deoxy’ indicates that the 2’-carbon atom of sugar lacks an oxygen atom linked to the 2’-carbon atom of ribose, containing both a hydrogen atom and an oxygen atom. The difference between the two sugars distinguishes the type of nucleic acid. It is well known that there are two constituents of nucleic acids, DNA-containing deoxyribose, and RNA-containing ribose. Nitrogenous bases are derivatives of two classes, purine, and pyrimidine. DNA and RNA contain two purine bases, adenine (A) and guanine (G), and two major pyrimidines. One of the pyrimidines in DNA and RNA is cytosine (C). However, the second common pyrimidine is thymine (T) in DNA or uracil (U) in RNA.
Each polypeptide chain of proteins also has a structural feature, orientation from an amino (or N–terminal) end to a carboxyl (or C–terminal) end.
Nucleosides are important because they individually indicate genetic information within DNA (and RNA). In particular, four bases within nucleosides determine the type of genetic information. However, individual nucleosides should be arranged within a certain frame or backbone to stabilize DNA and play a role in normal metabolic processes, such as DNA replication or transcription in protein synthesis. Nucleotides contribute to this requirement by attaching a phosphate to individual nucleosides. Therefore, nucleotides are new compounds at a higher level than nucleosides because of the additional bond by which a phosphate (represented by a circled ‘P’ in Fig. 4) links to a nucleoside.
For individual nucleotides, depicted by the dashed lines Fig. 4, to be categories by definition, an individual phosphate molecule, a sugar molecule, and a base molecule must have their identity morphism. Those identity morphisms can be assigned by considering the chemical interactions of the three molecules with water in the condition of the solution. However, those precise descriptions are omitted here for simple illustrations.
The structure proposed by Watson and Crick has two properties of central importance to the role of DNA as the hereditary material (Stryer et al. 2017). First, the structure is compatible with any sequence of bases. While the bases are distinct in structure, the base pairs have essentially the same shape and, thus, fit equally well into the center of the double-helical structure of any sequence. Without any constraints, the sequence of bases along a DNA strand can efficiently store information. Indeed, the sequence of bases along DNA strands is how genetic information is stored. The DNA sequence determines the sequences of the ribonucleic acid (RNA) and protein molecules that carry out most of the activities within cells. Second, because of base pairing, the sequence of bases along one strand ultimately determines the sequence along the other strand. As Watson and Crick so shortly wrote: “It has not escaped our notice that the specific pairing we have postulated immediately suggests a possible copying mechanism for the genetic material” (Watson and Crick 1953a, p.737). Thus, if the DNA double helix is separated into two single strands, each strand can act as a template for generating its partner strand through the specific base-pair formation. The three-dimensional structure of DNA beautifully illustrates the close connection between molecular structure and function.
In the translational transition from mRNA to protein, for example, a small ribosomal subunit attaches itself to the 5’ end of a messenger RNA sequence and moves along the mRNA until it searches for a start codon within the mRNA. Before the large ribosomal subunit synthesizes a sequence of amino acids, aminoacyl tRNA synthetase attaches amino acids to their corresponding tRNA molecules in advance. As soon as the small ribosomal subunit finds out the start codon, the large ribosomal subunits join the first tRNA together. Subsequently, other tRNAs with anticodons matching the mRNA codons bind to the growing peptide chain of amino acids by the large ribosomal subunits. Until the ribosome reaches a stop codon, the synthesis continues repeatedly.
References
Albert B et al (2014) Essential cell biology, 4th edn, Garland Science
Awodey S (2010) Category theory. Oxford University Press, Oxford
Bechtel W, Abrahamsen A (2005) Explanation: a mechanist alternative. Stud History Philos Biol Biomed Sci 36(2):421–441
Bechtel W, Abrahamsen A (2012) Diagramming phenomena for mechanistic explanation. Proc Annual Meet Cognitive Sci Soc 34(34):102–107
Carnap R (1953) Testability and meaning. In Feigl, Brodbeck (eds) Reading in the philosophy of science, Appleton, Century, Crofts, pp. 47–92
Craver C, Darden L (2013) Search of mechanisms: discoveries across the life sciences. The University of Chicago Press, Chicago and London
Craver C (2001) ‘Structures of Scientific Theories,’ in P. Machamer and M. Silberstein (eds.), The Blackwell guide to the philosophy of science. Blackwell Publishers. 55-79
Crick F (1958) On protein synthesis. Symp Soc Exp Biol 12:8
Crick F (1970) Central dogma of molecular biology. Nature 227:561–563
Crick F (1988) What mad pursuit: a personal view of scientific discovery. Basic Books
Culp S, Kitcher P (1989) Theory structure and theory change in contemporary molecular biology. Br J Philos Sci 40(4):459–483
Costa Da, Newton CA, French Steven (2003) Science and partial truth: a unitary approach to models and scientific reasoning. Oxford University Press, New York
Darden L (2006) Reasoning in biological discoveries: essays on mechanisms, interfield relations, and anomaly resolution. Cambridge University Press, Cambridge
Ehresmann AC, Vanbremeersch JP (2007) Memory evolutive systems: hierarchy, emergence, cognition, Elsevier
Ehresmann A (2018) Applications of categories to biology and cognition. In Landry E (ed) Categories for the working philosopher, Oxford University Press, pp. 358–380
Ehresmann A, Vanbremeersch JP (2019) MES: a mathematical model for the revival of natural philosophy. Philosophies 4(1):9
Glennan S, Illari P (2018) The Routledge handbook of mechanisms and mechanical philosophy, Routledge
Gómez-Ramirez J (2014) A new foundation for representation in cognitive and brain science: category theory and the hippocampus, Springer
Kruger K, Grabowski P, Zaug A, Sands J, Gottschling D, Cech T (1982) Self-splicing RNA: autoexcision and autocyclization of the ribosomal RNA intervening sequence of tetrahymena. Cell 31:147–157
Louie AH (2009) More than life itself: a synthetic continuation in relational biology. Ontos Verlag, Frankfurt
Machamer P, Darden L, Craver CF (2000) Thinking about mechanisms. Philos Sci 67:1–25
McKinsey JCC, Sugar AC, Suppes Patrick (1953) Axiomatic foundations of classical particle mechanics. J Ration Mech Anal 2(2):253–272
Nirenberg M, Matthaei J (1961) The dependence of cell-free protein synthesis in E. coli upon naturally occurring or synthetic polyribonucleotides. Proc Natl Acad Sci 47:1588–1602
Rosen R (1991) Life itself: a comprehensive inquiry into the nature, origin, and fabrication of life, Columbia University Press, New York
Saldanha R, Mohr G, Belfort M, Lambowitz A (1993) Group I and group II introns. FASEB J 7:15–24
Stryer L et al (2017) Biochemistry. Freeman & Company
Suppe F (1977) The structure of scientific theories. University of Illinois Press
Suppes P (2002) Representation and invariance of scientific structures. Center for the Study of Language and Information Stanford Publications, California
van Fraassen BC (1980) The scientific image. Clarendon Press, Oxford
van Fraassen BC (1989) Laws and symmetry. Clarendon Press, Oxford
Watson J, Crick F (1953a) A proposed structure for deoxyribose nucleic acid. Nature 171:737–738
Watson J, Crick F (1953b) General implications of the structure of deoxyribonucleic acid. Nature 171:964–967
Watson J (2001) The double helix. Weidenfeld and Nicolson, London
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Gim, J. Categorical Abstractions of Molecular Structures of Biological Objects: A Case Study of Nucleic Acids. glob. Philosophy 33, 43 (2023). https://doi.org/10.1007/s10516-023-09692-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10516-023-09692-0