Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:category |
Any category with finite products
Category with binary products Category with products |
| gptkbp:component |
gptkb:Universal_morphism
Projection morphism |
| gptkbp:definedIn |
Category
|
| gptkbp:example |
gptkb:Product_of_topological_spaces
Product of groups Product of sets Product of vector spaces |
| gptkbp:field |
gptkb:Mathematics
Category theory |
| gptkbp:generalizes |
Cartesian product
Direct product |
| gptkbp:hasDual |
gptkb:Coproduct_(category_theory)
|
| gptkbp:hasProperty |
Unique up to isomorphism
|
| https://www.w3.org/2000/01/rdf-schema#label |
Product (category theory)
|
| gptkbp:introduced |
gptkb:Saunders_Mac_Lane
|
| gptkbp:notation |
A × B
|
| gptkbp:relatedConcept |
Limit (category theory)
Universal property |
| gptkbp:satisfies |
gptkb:Universal_property_of_product
|
| gptkbp:seeAlso |
gptkb:Terminal_object
gptkb:Fiber_product gptkb:Pullback_(category_theory) |
| gptkbp:bfsParent |
gptkb:Universal_(mathematics)
|
| gptkbp:bfsLayer |
6
|