Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
A Synthetic Description of Monotone Dataflow
Published:
[TODO]
Limits as a Fuzzy Yoneda Theory
Published:
[TODO]
Be Not Afraid
Published:
Welcome to my blog!
portfolio
Portfolio item number 1
Short description of portfolio item number 1
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.