Corestriction (original) (raw)
In mathematics, a corestriction of a function is a notion analogous to the notion of a restriction of a function. The duality prefix co- here denotes that while the restriction changes the domain to a subset, the corestriction changes the codomain to a subset. However, the notions are not categorically dual. Given any subset we can consider the corresponding inclusion of sets as a function. Then for any function , the restriction of a function onto can be defined as the composition .
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, a corestriction of a function is a notion analogous to the notion of a restriction of a function. The duality prefix co- here denotes that while the restriction changes the domain to a subset, the corestriction changes the codomain to a subset. However, the notions are not categorically dual. Given any subset we can consider the corresponding inclusion of sets as a function. Then for any function , the restriction of a function onto can be defined as the composition . Analogously, for an inclusion the corestriction of onto is the uniquefunction such that there is a decomposition . The corestriction exists if and only if contains the image of . In particular, the corestriction onto the image always exists and it is sometimes simply called the corestriction of . More generally, one can consider corestriction of a morphism in general categories with images. The term is well known in category theory, while rarely used in print. Andreotti introduces the above notion under the name coastriction, while the name corestriction reserves to the notion categorically dual to the notion of a restriction. Namely, if is a surjection of sets (that is a quotient map) then Andreotti considers the composition , which surely always exists. (en) |
| dbo:wikiPageID | 66118361 (xsd:integer) |
| dbo:wikiPageLength | 2875 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1092014331 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Function_composition dbr:Functional_decomposition dbc:Set_theory dbr:Domain_of_a_function dbr:Dual_(category_theory) dbc:Functions_and_mappings dbc:Mathematics_articles_needing_expert_attention dbr:Quotient_space_(topology) dbr:Restriction_(mathematics) dbc:Category_theory dbc:Abelian_group_theory dbr:Surjective_function dbr:Codomain dbc:Hopf_algebras dbr:Inclusion–exclusion_principle dbr:Category_theory dbr:Image_(mathematics) dbr:Subset |
| dbp:wikiPageUsesTemplate | dbt:Better_source_needed dbt:Reflist |
| dcterms:subject | dbc:Set_theory dbc:Functions_and_mappings dbc:Mathematics_articles_needing_expert_attention dbc:Category_theory dbc:Abelian_group_theory dbc:Hopf_algebras |
| rdfs:comment | In mathematics, a corestriction of a function is a notion analogous to the notion of a restriction of a function. The duality prefix co- here denotes that while the restriction changes the domain to a subset, the corestriction changes the codomain to a subset. However, the notions are not categorically dual. Given any subset we can consider the corresponding inclusion of sets as a function. Then for any function , the restriction of a function onto can be defined as the composition . (en) |
| rdfs:label | Corestriction (en) |
| owl:sameAs | wikidata:Corestriction https://global.dbpedia.org/id/Feknt |
| prov:wasDerivedFrom | wikipedia-en:Corestriction?oldid=1092014331&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Corestriction |
| is dbo:wikiPageWikiLink of | dbr:Associative_bialgebroid |
| is foaf:primaryTopic of | wikipedia-en:Corestriction |