Determination through Universals: An Application of Category Theory in the Life Sciences
David Ellerman

TL;DR
This paper applies category theory, specifically semiadjunctions, to model universal determination processes in the life sciences, offering a new conceptual framework for understanding biological and cognitive phenomena.
Contribution
It reformulates adjunctions using heteromorphisms, introducing semiadjunctions as a novel tool for modeling universal determination in empirical sciences.
Findings
Semiadjunctions characterize three principal schemes of determination.
Application to biological and cognitive processes such as natural selection and language.
Provides a new categorical framework for life sciences phenomena.
Abstract
Category theory has foundational importance because it provides conceptual lenses to characterize what is important and universal in mathematics---with adjunctions being the primary lense. If adjunctions are so important in mathematics, then perhaps they will isolate concepts of some importance in the empirical sciences. But the applications of adjunctions have been hampered by an overly restrictive formulation that avoids heteromorphisms or hets. By reformulating an adjunction using hets, it is split into two parts, a left and a right semiadjunction (or half-adjunuction). Semiadjunctions (essentially a formulation of a universal mapping property using hets) turn out to be the appropriate concept for applications in the life sciences. The semiadjunctions characterize three principal schemes with applications: 1. determination through a receiving universal (e.g., natural selection,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsOrigins and Evolution of Life · Advanced Algebra and Logic · Logic, programming, and type systems
