Categorical logic

theorem

branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.

type of space in topology (branch of mathematics)