Categorical logic

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

Categories: