Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Thibaut Benjamin

Category Theory Understanding Higher Categories in Mathematics and Computer Science

A look into higher categories and their role in complex relationships.

2025-07-16T18:42:46+00:00 ― 5 min read

Logic in Computer Science Unlocking the Secrets of Type Theory

Explore higher identity proofs and their impact on programming and mathematics.

2025-04-11T23:13:10+00:00 ― 6 min read