Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
LogiCoC
An implementation of the calculus of constructions as a logic program
The Serre Spectral Sequence
An introduction to spectral sequences, and an overview of some immediate topological applications of the Serre spectral sequence.
Categorical Quantum Logic and the ZX-Calculus
An exposition on the ZX-calculus and its applications to quantum computing.
Topoi and Internal Logic in Algebraic Geometry
An expository paper on some applications of topoi and their internal logic in algebraic geometry.
The Homotopy Hypothesis Via Kan Complexes
An introduction to model categories, used to prove the homotopy hypothesis by way of Kan complexes.
Graded Monoidal Categories and Internalization
A general categorical framework for internalizing graded monoidal products into classical monoidal products.
talks
ModalTT: A Type Theory for Modal Virtual Double Theories
Published:
Presented for the Topos Institute’s Berkeley Seminar.
teaching
MUSA 74: Transition to Upper Division Mathematics
Undergraduate Course, UC Berkeley, Mathematics, 2021
This course was aimed at lower division students looking to gain experience writing formal proofs, to ease their transition into their more advanced mathematical coursework.
MUSA 174: Introduction to Category Theory
Undergraduate Course, UC Berkeley, Mathematics, 2022
An introduction to category theory, especially geared towards advanced undergraduates transitioning into graduate-level coursework.