Category
page 1Categorical logic
Stone's representation theorem for Boolean algebras
theorem

categorical logic
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
Stone space
type of space in topology (branch of mathematics)