A new concept reshaping our view of types in mathematics and programming.
― 6 min read
Cutting edge science explained simply
A new concept reshaping our view of types in mathematics and programming.
― 6 min read
This article discusses categories, fibrations, and their significance in mathematics.
― 6 min read