Homotopy Cardinality and Entropy

arXiv:2501.10672v3 Announce Type: replace-cross Abstract: We explore connections between homotopy type theory and information theory through homotopy cardinality. We define probability types and random variable types, prove that homotopy cardinality respects dependent sums und...

🔗 Read more: https://arxiv.org/abs/2501.10672

#News #Energy #Math #Policy #Biology #Academic