Jonathan Weinberger

Examining category theory's structures and relationships in mathematics.

A new concept reshaping our view of types in mathematics and programming.

This article discusses categories, fibrations, and their significance in mathematics.