product (category theory)

URI: https://gptkb.org/entity/product_(category_theory)
GPTKB entity
Statements (33)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appearsIn gptkb:dictionary
gptkbp:defines an object together with projection morphisms satisfying a universal property
gptkbp:example product of groups
product of sets
product of topological spaces
product of vector spaces
gptkbp:field gptkb:mathematics
gptkb:category_theory
gptkbp:generalizes direct product
cartesian product
gptkbp:hasArity infinite
finite
gptkbp:hasComponent projection morphism
gptkbp:hasDual coproduct (category theory)
https://www.w3.org/2000/01/rdf-schema#label product (category theory)
gptkbp:introducedIn 20th century
gptkbp:property unique up to isomorphism
gptkbp:relatedTo universal property
limit (category theory)
gptkbp:seeAlso gptkb:monoidal_category
gptkb:equalizer_(category_theory)
gptkb:pullback_(category_theory)
fiber product
terminal object
gptkbp:symbol \\prod
gptkbp:usedIn gptkb:algebraic_geometry
gptkb:topology
functional analysis
homological algebra
gptkbp:bfsParent gptkb:Limit_(category_theory)
gptkb:Product_and_Hom_functors
gptkbp:bfsLayer 7