検索結果

…ategory theory deals with abstract objects and [[morphism]]s between those objects. In category theory, an automorphism is an [[endomorphism]] (i.e. a [[morphism]] from an object …

…きる。たとえば[[弦グラフ]]や[[:en:bramble (graph theory)|brambles]]、[[:en:haven (graph theory)|havens]]などである。 | title=Graph Theory …

{{Group theory sidebar |Algebraic}} …e tools for much research on other topics in algebraic geometry and number theory. …

…l then provide a "universal" [[cohomology theory]]. In terms of [[category theory]], it was intended to have a definition via [[splitting idempotents]] in a The theory of motives was originally conjectured as an attempt to unify a rapidly mult …

…ied model of [[computation]], used in [[computability theory]] and [[proof theory]]. Despite its simplicity, combinatory logic captures many essential featur …ogramming language|non-strict]] [[functional programming]] languages and [[graph reduction machine|hardware]]. The purest form of this view is the programmi …

'''表現論'''（ひょうげんろん、{{lang-en-short|representation theory}}）とは、代数構造上の[[環上の加群|加群]]を[[ベクトル空間]]の[[線型変換]]として[[代数的構造|代数構造]]を表現することにより研究する数 …lgebraic structures by linear transformations and matrices| representation theory in other disciplines|Representation (disambiguation){{!}}Representation}} …

{{cquote|Developed the theory of [[超関数|distributions]], a new notion of generalized function motivated by {{cquote|Achieved major results in the theory of harmonic integrals and numerous applications to Kählerian and more speci …

…Previous conceptions of a function as a rule for computation, or a smooth graph, were no longer adequate. Weierstrass began to advocate the [[arithmetizat …ardinalities (Cantor 1874). Over the next twenty years, Cantor developed a theory of [[transfinite number]]s in a series of publications. In 1891, he publish …