4 papers
A Rigid Category of DNA Secondary Structures
Andrés Ortiz-Muñoz
We construct a strict pivotal monoidal category whose objects are DNA sequences (words over ) and whose morphisms are isotopy classes of t…
The Nature of Organization in Living Systems
Pedro Márquez-Zacarías, Andrés Ortiz-Muñoz, Emma P. Bingham
Living systems are thermodynamically open but closed in their organization. In other words, even though their material components turn over constantly, a material-independent prope…
Equilibrium Combinatorial Self-Assembly via Generating Functions
Andrés Ortiz-Muñoz
We develop a generating-function calculus for equilibrium combinatorial self-assembly. Starting from a bond-level specification of allowable interactions, we define a symmetry-weig…
Homotopy Cardinality and Entropy
Andrés Ortiz-Muñoz
We explore connections between homotopy type theory and information theory through homotopy cardinality. We define probability types and random variable types, prove that homotopy…