请输入您要查询的字词:

 

单词 VariableGroupoid
释义

variable groupoid

\\xyoption

curve

Definition 0.1.

A variable groupoid is defined as a family of groupoids{𝖦λ} indexed by a parameter λT , with T being either an index setMathworldPlanetmath or a class (which may be a time parameter, for time-dependent or dynamic groupoidsPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath). If λ belongs to a set M, then we may consider simply a projectionPlanetmathPlanetmath 𝖦×MM, which is anexample of a trivial fibrationMathworldPlanetmath. More generally, one can consider a fibration of groupoids 𝖦ZM (Higgins and Mackenzie, 1990) as defining a non-trivial variable groupoid.

RemarksAn indexed family or class of topological groupoidsPlanetmathPlanetmathPlanetmathPlanetmath [𝖦i] with iI in the categoryMathworldPlanetmath Grpd of groupoidswith additional axioms, rules, or properties of the underlying topological groupoids,that specify an indexed family of topological groupoid homomorphismsMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath for each variable groupoidstructureMathworldPlanetmath.

Besides systems modelled in terms of a fibration of groupoids,one may consider a multiple groupoid defined as a set of Ngroupoid structures, any distinct pair of which satisfy aninterchange law which can be formulated as follows.There exists a unique expression with the following content:

[xyzw]\\objectmargin=0pt\\xy(0,4)*+="a",(0,-2)*+i="b",(7,4)*+j="c"\\ar@->"a";"b"\\ar@->"a";"c"\\endxy,(0.1)

where i and j must be distinct for this concept to be well defined.This uniqueness can also be represented by the equation

(xjy)i(zjw)=(xiz)j(yiw).(0.2)

RemarksThis illustrates the principle that a 2-dimensional formulaMathworldPlanetmathPlanetmath may bemore comprehensible than a linear one.

Brown and Higgins, 1981a, showed that certain multiple groupoidsequipped with an extra structure called connections wereequivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath to another structure called a crossed complexwhich had already occurred in homotopy theory. such asdouble, or multiple groupoids (Brown, 2004; 2005).For example, the notion of an atlas of structures should,in principle, apply to a lot of interesting, topological and/oralgebraic, structures: groupoids, multiple groupoids, Heytingalgebras, n-valued logic algebrasPlanetmathPlanetmath and C*-convolution-algebrasMathworldPlanetmathPlanetmath. Such examples occur frequently in Higher Dimensional AlgebraPlanetmathPlanetmath(HDA).

随便看

 

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

 

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