Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Anders Mörtberg

Algebraic Topology Advancements in Cohomology within Homotopy Type Theory

This article discusses new developments in cohomology using Homotopy Type Theory.

2025-08-27T02:34:36+00:00 ― 4 min read

Logic in Computer Science Homotopy Type Theory: A New Perspective on Sets

Discover how Homotopy Type Theory transforms our view of sets and types.

2025-08-23T22:32:54+00:00 ― 6 min read