4 papers
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…
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…
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…
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…