categorial

logic. Formally, a topos is a category with certain properties that generalize the category of sets: Cartesian Closedness: Contains all finite limits, especially exponentials, enabling the interpretation of function spaces. Subobjec