Showing math.CTShow all
2 papers · 1 filter
math.CT2026
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…
math.CT2026
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…