| http://dbpedia.org/ontology/abstract
|
In mathematics, specifically in category t … In mathematics, specifically in category theory, hom-sets (i.e. sets of morphisms between objects) give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category theory and other branches of mathematics. theory and other branches of mathematics.
, 圏論において、対象の間の射の集合（hom-setともいう）は、集合の圏への関手を構成する。この関手をHom関手（ほむかんしゅ、英語: Hom functor）と呼び、圏論や数学の他の分野で多くの応用を持つ。
, В теорії категорій множини Hom (тобто множ … В теорії категорій множини Hom (тобто множини морфізмів між двома об'єктами локально малої категорії) дозволяють визначити важливі функтори в категорію множин. Ці функтори називаються функторами Hom і мають численні застосування в теорії категорій та інших галузях математики.рії категорій та інших галузях математики.
, Hom funktor je kovariantní v lokálně malé kategorii typu definovaný pro takto: je kovariantní a pro je funkce , kde . Podobně je kontravariantní a pro je funkce , kde . je tedy kovariantní .
, В теории категорий множества Hom (то есть … В теории категорий множества Hom (то есть множества морфизмов между двумя объектами) позволяют определить важные функторы в категорию множеств. Эти функторы называются функторами Hom и имеют многочисленные приложения в теории категорий и других областях математики.ии категорий и других областях математики.
, In der Kategorientheorie bezeichnet (oder … In der Kategorientheorie bezeichnet (oder einfach , wenn der Bezug zur Kategorie klar ist, oder auch oder ) die Menge der Homomorphismen (oder Morphismen) von einem Objekt zu einem Objekt einer Kategorie und zählt somit zu den grundlegenden Daten einer Kategorie. Die jeweilige Abbildung ist der Hom-Funktor zu der Kategorie . Wenn beispielsweise die Objekte der Kategorie aus „Mengen mit zusätzlichen Eigenschaften“ bestehen (z. B. Gruppen, topologische Räume), so sind die zugehörigen Morphismen im Allgemeinen genau die mit diesen Eigenschaften verträglichen Abbildungen (zum Beispiel Gruppenhomomorphismen, stetige Abbildungen).uppenhomomorphismen, stetige Abbildungen).
, En mathématiques, le foncteur Hom est un foncteur associé aux morphismes de la catégorie des ensembles. Il est central en théorie des catégories, notamment du fait de son rôle dans le lemme de Yoneda et parce qu'il permet de définir le foncteur Ext.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Hom_functor.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.archive.org/web/20200321030307/http:/historical.library.cornell.edu/cgi-bin/cul.math/docviewer%3Fdid=Gold010&id=3%7Curl-status=dead +
, http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer%3Fdid=Gold010&id=3%7Caccess-date=2009-11-25%7Cedition=Revised%7Cyear=2006%7Corig-year=1984%7Cpublisher= +
|
| http://dbpedia.org/ontology/wikiPageID
|
2741037
|
| http://dbpedia.org/ontology/wikiPageLength
|
9321
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1097368816
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Exponential_object +
, http://dbpedia.org/resource/Category:Functors +
, http://dbpedia.org/resource/Functor +
, http://dbpedia.org/resource/Full_and_faithful_functors +
, http://dbpedia.org/resource/Abelian_category +
, http://dbpedia.org/resource/Module_%28mathematics%29 +
, http://dbpedia.org/resource/Morphism +
, http://dbpedia.org/resource/Abelian_group +
, http://dbpedia.org/resource/Monoidal_category +
, http://dbpedia.org/resource/If_and_only_if +
, http://dbpedia.org/resource/Ext_functor +
, http://dbpedia.org/resource/Category_theory +
, http://dbpedia.org/resource/Profunctor +
, http://dbpedia.org/resource/Limit_%28category_theory%29 +
, http://dbpedia.org/resource/Hom-set +
, http://dbpedia.org/resource/Presheaf_%28category_theory%29 +
, http://dbpedia.org/resource/Natural_transformation +
, http://dbpedia.org/resource/Functor_category +
, http://dbpedia.org/resource/Category_of_sets +
, http://dbpedia.org/resource/Closed_monoidal_category +
, http://dbpedia.org/resource/Set_%28mathematics%29 +
, http://dbpedia.org/resource/Locally_small_category +
, http://dbpedia.org/resource/Opposite_category +
, http://dbpedia.org/resource/Ring_%28mathematics%29 +
, http://dbpedia.org/resource/Map_%28mathematics%29 +
, http://dbpedia.org/resource/Commutative_diagram +
, http://dbpedia.org/resource/Adjoint_functor +
, http://dbpedia.org/resource/Cartesian_closed_category +
, http://dbpedia.org/resource/Proper_class +
, http://dbpedia.org/resource/Category_of_relations +
, http://dbpedia.org/resource/Tensor_product_of_modules +
, http://dbpedia.org/resource/Linear_type_system +
, http://dbpedia.org/resource/Category_%28mathematics%29 +
, http://dbpedia.org/resource/File:Hom_functor.svg +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Representable_functor +
, http://dbpedia.org/resource/Unit_object +
, http://dbpedia.org/resource/Object_%28category_theory%29 +
, http://dbpedia.org/resource/Internal_language +
, http://dbpedia.org/resource/Right_adjoint +
, http://dbpedia.org/resource/Projective_module +
, http://dbpedia.org/resource/Bifunctor +
, http://dbpedia.org/resource/Functor_of_points +
, http://dbpedia.org/resource/Cartesian_closed_categories +
, http://dbpedia.org/resource/Currying +
, http://dbpedia.org/resource/Closed_category +
, http://dbpedia.org/resource/Natural_isomorphism +
, http://dbpedia.org/resource/Function_%28mathematics%29 +
, http://dbpedia.org/resource/Exact_functor +
, http://dbpedia.org/resource/Colimit +
, http://dbpedia.org/resource/Contravariant_functor +
, http://dbpedia.org/resource/Yoneda%27s_lemma +
, http://dbpedia.org/resource/Simply_typed_lambda_calculus +
, http://dbpedia.org/resource/Dover_Publications +
, http://dbpedia.org/resource/Covariant_functor +
|
| http://dbpedia.org/property/date
|
February 2022
|
| http://dbpedia.org/property/id
|
hom-functor
, internal-hom
|
| http://dbpedia.org/property/reason
|
Does Mod-R refer to the category of left R-modules here? This needs to be clarified because a commonly used notation is for "Mod-R" to denote the category of right R-modules and "R-Mod" to denote the category of left R-modules.
|
| http://dbpedia.org/property/title
|
Hom functor
, Internal Hom
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Main +
, http://dbpedia.org/resource/Template:Clarify +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Hair_space +
, http://dbpedia.org/resource/Template:Nlab +
, http://dbpedia.org/resource/Template:Cite_book +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Functors +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Hom_functor?oldid=1097368816&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Hom_functor.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Hom_functor +
|
| owl:sameAs |
https://global.dbpedia.org/id/4muAr +
, http://www.wikidata.org/entity/Q5887297 +
, http://dbpedia.org/resource/Hom_functor +
, http://ja.dbpedia.org/resource/Hom%E9%96%A2%E6%89%8B +
, http://cs.dbpedia.org/resource/Hom_funktor +
, http://uk.dbpedia.org/resource/%D0%A4%D1%83%D0%BD%D0%BA%D1%82%D0%BE%D1%80_Hom +
, http://rdf.freebase.com/ns/m.080747 +
, http://ru.dbpedia.org/resource/%D0%A4%D1%83%D0%BD%D0%BA%D1%82%D0%BE%D1%80_Hom +
, http://fr.dbpedia.org/resource/Foncteur_Hom +
, http://de.dbpedia.org/resource/Hom-Funktor +
|
| rdfs:comment |
Hom funktor je kovariantní v lokálně malé kategorii typu definovaný pro takto: je kovariantní a pro je funkce , kde . Podobně je kontravariantní a pro je funkce , kde . je tedy kovariantní .
, В теорії категорій множини Hom (тобто множ … В теорії категорій множини Hom (тобто множини морфізмів між двома об'єктами локально малої категорії) дозволяють визначити важливі функтори в категорію множин. Ці функтори називаються функторами Hom і мають численні застосування в теорії категорій та інших галузях математики.рії категорій та інших галузях математики.
, 圏論において、対象の間の射の集合（hom-setともいう）は、集合の圏への関手を構成する。この関手をHom関手（ほむかんしゅ、英語: Hom functor）と呼び、圏論や数学の他の分野で多くの応用を持つ。
, In der Kategorientheorie bezeichnet (oder … In der Kategorientheorie bezeichnet (oder einfach , wenn der Bezug zur Kategorie klar ist, oder auch oder ) die Menge der Homomorphismen (oder Morphismen) von einem Objekt zu einem Objekt einer Kategorie und zählt somit zu den grundlegenden Daten einer Kategorie. Die jeweilige Abbildung ist der Hom-Funktor zu der Kategorie .ung ist der Hom-Funktor zu der Kategorie .
, In mathematics, specifically in category t … In mathematics, specifically in category theory, hom-sets (i.e. sets of morphisms between objects) give rise to important functors to the category of sets. These functors are called hom-functors and have numerous applications in category theory and other branches of mathematics. theory and other branches of mathematics.
, В теории категорий множества Hom (то есть … В теории категорий множества Hom (то есть множества морфизмов между двумя объектами) позволяют определить важные функторы в категорию множеств. Эти функторы называются функторами Hom и имеют многочисленные приложения в теории категорий и других областях математики.ии категорий и других областях математики.
, En mathématiques, le foncteur Hom est un foncteur associé aux morphismes de la catégorie des ensembles. Il est central en théorie des catégories, notamment du fait de son rôle dans le lemme de Yoneda et parce qu'il permet de définir le foncteur Ext.
|
| rdfs:label |
Hom functor
, Hom関手
, Foncteur Hom
, Функтор Hom
, Hom funktor
, Hom-Funktor
|
