En mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories : le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli.

Property Value
dbo:abstract
  • En mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories : le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli. Des exemples d'objets libres sont les groupes libres, les groupes abéliens libres, les algèbres tensorielles… Informellement, un objet libre sur un ensemble X est une structure algébrique « générique » sur X : les seules équations qui relient les éléments de l'objet libre sont celles imposées par les axiomes qui définissent la structure algébrique. (fr)
  • En mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories : le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli. Des exemples d'objets libres sont les groupes libres, les groupes abéliens libres, les algèbres tensorielles… Informellement, un objet libre sur un ensemble X est une structure algébrique « générique » sur X : les seules équations qui relient les éléments de l'objet libre sont celles imposées par les axiomes qui définissent la structure algébrique. (fr)
dbo:wikiPageID
  • 7503047 (xsd:integer)
dbo:wikiPageLength
  • 8113 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 177406909 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • Algèbre de Boole libre (fr)
  • Algèbre libre (fr)
  • Catégorie libre (fr)
  • Treillis distributif (fr)
  • Treillis libre (fr)
  • Algèbre de Boole libre (fr)
  • Algèbre libre (fr)
  • Catégorie libre (fr)
  • Treillis distributif (fr)
  • Treillis libre (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:trad
  • Free algebra (fr)
  • Free Boolean algebra (fr)
  • Distributive lattice (fr)
  • Free category (fr)
  • Free lattice (fr)
  • Free algebra (fr)
  • Free Boolean algebra (fr)
  • Distributive lattice (fr)
  • Free category (fr)
  • Free lattice (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • En mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories : le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli. (fr)
  • En mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories : le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli. (fr)
rdfs:label
  • Objet libre (fr)
  • Objeto libre (es)
  • Objet libre (fr)
  • Objeto libre (es)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of