Category of sets with cartesian product

URI: https://gptkb.org/entity/Category_of_sets_with_cartesian_product
GPTKB entity
Statements (42)
Predicate Object
gptkbp:instanceOf Mathematical category
gptkbp:hasBinaryCoproducts True
gptkbp:hasBinaryProducts True
gptkbp:hasCoequalizers True
gptkbp:hasEqualizers True
gptkbp:hasExponentials True
gptkbp:hasFiniteColimits True
gptkbp:hasFiniteLimits True
gptkbp:hasInitialObject Empty set
gptkbp:hasMonoidalStructure Cartesian product
gptkbp:hasMorphism Function
gptkbp:hasNaturalNumbersObject True
gptkbp:hasPullbacks True
gptkbp:hasPushouts True
gptkbp:hasSubobjectClassifier True
gptkbp:hasTerminalObject Singleton set
https://www.w3.org/2000/01/rdf-schema#label Category of sets with cartesian product
gptkbp:isAbelianCategory False
gptkbp:isBalanced True
gptkbp:isCartesianClosedCategory True
gptkbp:isCocomplete True
gptkbp:isCocompleteCategory True
gptkbp:isCompleteCategory True
gptkbp:isConcreteCategory True
gptkbp:isFaithfulFunctorTo True
gptkbp:isGrothendieckTopos True
gptkbp:isLargeCategory True
gptkbp:isLocallySmall True
gptkbp:isMonoidalCategory True
gptkbp:isSmallCategory False
gptkbp:isSymmetricMonoidalCategory True
gptkbp:isTopos True
gptkbp:isUniversalExampleOf Cartesian closed category
Concrete category
Elementary topos
gptkbp:isWellPowered True
gptkbp:name Set
gptkbp:notablePlace Set
gptkbp:numberOfIssues True
gptkbp:bfsParent gptkb:Monoidal_category
gptkb:Symmetric_monoidal_category
gptkbp:bfsLayer 7