请输入您要查询的字词:

 

单词 2groupoid
释义

2-groupoid


Definition 0.1.

A 2-groupoid is a 2-category whose morphismsMathworldPlanetmathPlanetmath are all invertible, that is, ones such that,each 1-arrow (morphism) is invertible with respect to the morphism composition.

Remark 0.1.

Note, however that ω-groupoidPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath has a distinct meaning from that of ω-category).

An important reason for studying 2–categories, and especially 2-groupoids, is to use them as coefficient objects for non-Abelian Cohomology theories. Thus, some double groupoidsPlanetmathPlanetmathPlanetmath defined over Hausdorff spaces that are non-AbelianMathworldPlanetmathPlanetmath (or non-commutative) are relevant to non-Abelian Algebraic Topology (NAAT) and http://planetphysics.org/?op=getobj&from=lec&id=61NAQAT (or NA-QAT).

One needs to distinguish between a 2-groupoid and a double-groupoid as the two concepts are very different. Interestingly, some double groupoids defined over Hausdorff spaces that are non-Abelian (or non-commutative) have true two-dimensional geometric representations with special properties that allow generalizationsPlanetmathPlanetmath of important theorems in algebraic topology and higher dimensional algebra, such as the generalized van Kampen theoremMathworldPlanetmath with significant consequences that cannot be obtained through AbelianMathworldPlanetmath means.

Furthermore, whereas the definition of an n-groupoid is a straightforward generalization of a 2-groupoid, the notion of a multiple groupoid is not at all an obvious generalization or extensionPlanetmathPlanetmathPlanetmath of the concept of double groupoid.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 19:59:13