This page is for expository notes, papers, and slides. Most of these materials cover topics I am interested in researching from my (sometimes non-traditional) perspective, but are not based on original work.

Notes

  • Nerves of Higher Categories. Cornell University, Spring 2019. [PDF]
  • Homotopy Theory Primer for Type Theory. Cornell University, Spring 2018. [PDF]
  • Operations Arising from Equivariant K-theory of the Symmetric Group. Cornell University, Fall 2017. [PDF]
  • Summary of Intro Topology and Special Topics. Brandeis University, Fall 2015. [PDF]

Presentations

  • Types as Weak Omega-Groupoids. School and Workshop on Univalent Foundations, April 2019. [Slides]
  • Comparing Shapes for Higher Structures. Young Topologists Meeting, July 2018. [Slides]
  • Topological Data Analysis. Indian Institute of Science, April 2016. [Slides]
  • Category Theory and Functional Data Abstraction. Brandeis University, May 2015. [Slides]

Course Papers

  • Representability of Homotopy Groups in Type Theory. Cornell University, Fall 2017. [PDF]
  • A Pointless Topological Equivalence. Brandeis University, Fall 2015. [PDF]
  • Category Theory and Functional Data Abstraction. Brandeis University, Spring 2015. [PDF]


Website Template by David Mehrle.