Category of sets with cartesian product

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb: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	gptkb:Function
gptkbp:hasNaturalNumbersObject	True
gptkbp:hasPullbacks	True
gptkbp:hasPushouts	True
gptkbp:hasSubobjectClassifier	True
gptkbp:hasTerminalObject	Singleton set
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
gptkbp:bfsLayer	8
https://www.w3.org/2000/01/rdf-schema#label	Category of sets with cartesian product