About

I am a graduate student studying math. I like the interplay between category theory and logic. My favorite adjunction is ∅ ⊣ ✳.

Education

• PhD in mathematics, Carnegie Mellon University (2019-current)
• BS in mathematics, Rutgers University–New Brunswick (2015-2019)

Research Interests

• Categorical logic
• Homotopical semantics

Teaching

At Carnegie Mellon University, I have served as a teaching assistant for many iterations of

• differential and integral calculus
• multivariable calculus
• matrix algebra
• concepts of mathematics

In spring 2026, I was a co-instructor for 80-514/80-814, a course in categorical logic (joint effort with Owen Milner and Corinthia Aberle.)

Contact

Kian Cho
Department of Mathematical Sciences
Carnegie Mellon University
Pittsburgh, PA 15213

kianc (at) andrew.cmu.edu
kianc.math (at) gmail
@toposes on discord

You can find me in Wean 6209.