category theory
branch of mathematics studying categories, functors, and natural transformations
Categorical logic
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
categorical set theory
sets defined using mathematical category theory