I am a graduate student in the Logic program at Berkeley, broadly interested in categorical logic and foundations of mathematics, as well as in applications of category theory to the semantics of programming languages.
Q&A for professional mathematicians
Joined 4 years ago, last seen 5 days ago
Q&A for people studying math at any level and professionals in related fields
Joined 2 years ago, last seen 5 days ago