Revision as of 08:20, 31 January 2023 by Fire(talk | contribs)(Created a new Item: topos, category admitting all finite limits and power objects, that can be viewed as either as a mathematical universe (replacing the category of sets) or as a generalized space (considered as a generalization of the category of sheaves on a space))