About: End (category theory)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FEnd_%28category_theory%29&invfp=IFP_OFF&sas=SAME_AS_OFF

In category theory, an end of a functor is a universal extranatural transformation from an object e of X to S. More explicitly, this is a pair , where e is an object of X and is an extranatural transformation such that for every extranatural transformation there exists a unique morphism of X with for every object a of C. By abuse of language the object e is often called the end of the functor S (forgetting ) and is written Characterization as limit: If X is complete and C is small, the end can be described as the equalizer in the diagram

AttributesValues
rdfs:label
  • Ende (Kategorientheorie) (de)
  • Fin (théorie des catégories) (fr)
  • End (category theory) (en)
  • 끝 (범주론) (ko)
rdfs:comment
  • Im mathematischen Teilgebiet der Kategorientheorie ist ein Ende ein spezieller Limes. (de)
  • En mathématiques, une fin d'un foncteur est une généralisation du concept de limite. Les fins et leurs duales, les cofins, sont généralement notées avec le s long de l'intégrale. La notion de fin apparaît naturellement dans les extensions de Kan en théorie des catégories enrichies, et dans l'étude des . En particulier, la fin d'un foncteur, vu comme distributeur, correspond au (en) sur lequel l'action à droite et l'action à gauche coïncident. (fr)
  • ( 다른 뜻에 대해서는 끝 대상 문서를 참고하십시오.) 범주론에서 끝(영어: end 엔드[*])과 쌍대끝(雙對-, 영어: coend 코엔드[*])은 어떤 데이터들을 범주론적으로 “이어붙이는” 연산이다. (ko)
  • In category theory, an end of a functor is a universal extranatural transformation from an object e of X to S. More explicitly, this is a pair , where e is an object of X and is an extranatural transformation such that for every extranatural transformation there exists a unique morphism of X with for every object a of C. By abuse of language the object e is often called the end of the functor S (forgetting ) and is written Characterization as limit: If X is complete and C is small, the end can be described as the equalizer in the diagram (en)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • Im mathematischen Teilgebiet der Kategorientheorie ist ein Ende ein spezieller Limes. (de)
  • In category theory, an end of a functor is a universal extranatural transformation from an object e of X to S. More explicitly, this is a pair , where e is an object of X and is an extranatural transformation such that for every extranatural transformation there exists a unique morphism of X with for every object a of C. By abuse of language the object e is often called the end of the functor S (forgetting ) and is written Characterization as limit: If X is complete and C is small, the end can be described as the equalizer in the diagram where the first morphism being equalized is induced by and the second is induced by . (en)
  • En mathématiques, une fin d'un foncteur est une généralisation du concept de limite. Les fins et leurs duales, les cofins, sont généralement notées avec le s long de l'intégrale. La notion de fin apparaît naturellement dans les extensions de Kan en théorie des catégories enrichies, et dans l'étude des . En particulier, la fin d'un foncteur, vu comme distributeur, correspond au (en) sur lequel l'action à droite et l'action à gauche coïncident. (fr)
  • ( 다른 뜻에 대해서는 끝 대상 문서를 참고하십시오.) 범주론에서 끝(영어: end 엔드[*])과 쌍대끝(雙對-, 영어: coend 코엔드[*])은 어떤 데이터들을 범주론적으로 “이어붙이는” 연산이다. (ko)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is Wikipage disambiguates of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software