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)
kategorio kun ĉiuj finiaj limesoj kaj potencobjektoj, rigardebla kiel aŭ ĝeneraligita matematika universo (anstataŭiganta la kategorion de aroj) aŭ ĝeneraligita spaco (ĝeneraliganta la kategorion de garboj sur spaco) (eo)
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) (en)