| 单词 | Category |
| 释义 | CategoryA category consists of two things: a collection of Objects and, for each pair of Objects, aMorphism (sometimes called an ``arrow'') from one to another. An Object is some mathematical structure (e.g., aGroup, Vector Space, or Differentiable Manifold) and a Morphism is a Map between twoObjects. The Morphisms are then required to satisfy some fairly natural conditions; forinstance, the Identity Map between any object and itself is always a Morphism, and the composition of twoMorphisms (if defined) is always a Morphism. One usually requires the Morphisms to preserve the mathematical structure of the objects. So if theobjects are all groups, a good choice for a Morphism would be a group Homomorphism. Similarly, for vectorspaces, one would choose linear maps, and for differentiable manifolds, one would choose differentiable maps. In the category of Topological Spaces, homomorphisms are usually continuous maps betweentopological spaces. However, there are also other category structures having Topological Spaces as objects, but they are not nearly as important as the ``standard'' category of TopologicalSpaces and continuous maps. See also Abelian Category, Allegory, Eilenberg-Steenrod Axioms, Groupoid, Holonomy,Logos, Monodromy, Topos
Freyd, P. J. and Scedrov, A. Categories, Allegories. Amsterdam, Netherlands: North-Holland, 1990. |
| 随便看 |
|
数学辞典收录了8975条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。