Tripos

A Tripos is an abstract categorical structure used in categorical logic to represent and study logical theories, particularly serving as a bridge between syntactic logic and topos-theoretic semantics.