A look into the concept and applications of fibrations in mathematics.
― 5 min read
Fosco Loregian
Examining propositional equality's role in type theory and its implications.
― 4 min read
Cutting edge science explained simply
A look into the concept and applications of fibrations in mathematics.
― 5 min read
Examining propositional equality's role in type theory and its implications.
― 4 min read