en>Monkbot: /* References */Task 2: Fix CS1 deprecated coauthor parameter errors

2014-07-16T22:22:21Z

References: Task 2: Fix CS1 deprecated coauthor parameter errors

← Older revision		Revision as of 00:22, 17 July 2014
Line 1:		Line 1:
	~~{{dablink\|This page discusses the object called a '''categorical algebra'''; for categorical generalizations of algebra theory, see [[:Category:Monoidal categories]].}}~~		Andrew Berryhill is what his spouse loves to call him and he totally digs that name. Some time in the past she chose to live in Alaska and her mothers and fathers reside nearby. The [https://www.machlitim.org.il/subdomain/megila/end/node/12300 best psychic readings] preferred pastime for him and his kids is style and he'll be starting some thing else along with [http://www.edmposts.com/build-a-beautiful-organic-garden-using-these-ideas/ online psychic readings] it. She works as a journey agent but quickly she'll be on her personal.<br><br>My web-site :: [https://www-ocl.gist.ac.kr/work/xe/?document_srl=605236 online psychic reading]

	~~In [[category theory]], a field of [[mathematics]], a '''categorical algebra'''~~ is ~~an [[associative algebra]], defined for any locally finite [[Category (mathematics)\|category]]~~ and ~~[[commutative ring]] with unity~~.
	~~It generalizes~~ the ~~notions of [[group ring\|group algebra]]~~ and ~~[[incidence algebra]],~~
	~~just as [[Category (mathematics)\|category]] generalizes the notions of [[group (mathematics)\|group]]~~ and [~~[partially ordered set]~~].

	~~==Definition==~~
	~~Infinite categories are conventionally treated differently~~ for ~~group algebras~~ and ~~incidence algebras; the definitions agree for finite categories. We first present the definition that generalizes the group algebra.~~

	~~===Group algebra-~~style ~~definition===~~
	~~Let ''C'' be a category~~ and '~~'R''~~ be ~~a [[commutative ring]]~~ with ~~unit.~~
	~~Then as a set and as a~~ [~~[Module (mathematics)\|module]], the categorical algebra ''RC'' (or ''R''[''C'']) is the [[free module]] on the maps of ''C''.~~

	~~The multiplication on ''RC'' can be understood in several ways, depending on how one presents a free module.~~

	~~Thinking of the free module as formal [[linear combinations]] (which are finite sums),~~
	~~the multiplication is the multiplication (composition) of the category, where defined:~~
	:~~<math>\sum a_i f_i \sum b_j g_j = \sum a_i b_j f_i g_j<~~/~~math>~~
	~~where <math>f_i g_j=0<~~/~~math> if their composition is not defined~~. ~~This is defined for any finite sum~~.

	~~Thinking of the free module as finitely supported functions,~~
	~~the multiplication is defined as a [[convolution]]: if <math>a, b \in RC<~~/~~math> (thought of as functionals on the maps of ''C''), then their product is defined as:~~
	~~:<math>(~~a * b)(h) := \sum_{fg=h} a(f)b(g).</~~math>~~
	~~The latter sum is finite because the functions are finitely supported~~.

	~~===Incidence algebra-style definition===~~
	The definition used for incidence algebras assumes that the category ''C'' is locally finite, is ''dual'' to the above definition, and defines a ''different'' object. This isn't a useful assumption for groups, as a ~~group that is locally finite as a category is finite.~~

	~~A '''locally finite category''~~' ~~is one where every map can~~ be ~~written only finitely many ways as a product of non-identity maps.~~
	~~The categorical algebra (in this sense) is defined as above, but allowing all coefficients to be non-zero~~.

	~~In terms of formal sums, the elements are all formal sums~~
	~~:<math>\sum_{f_i \in \mathrm{Hom}(C)} a_i f_i,</math>~~
	~~where there are no restrictions on the~~ <~~math~~>~~a_i~~<~~/math~~> ~~(they can all be non~~-~~zero).~~

	In terms of functions, the elements are any functions from the maps of ''C'' to ''R'', and multiplication is defined as convolution. The sum in the convolution is always finite because of the local finiteness assumption.

	~~===Dual===~~
	The module dual of the category algebra (in the group algebra sense of the definition) is the space of all maps from the maps of ''C'' to ''R'', denoted ''F(C)'', and has a natural [[coalgebra]] structure. Thus for a locally finite category, the dual of a categorical algebra (in the group algebra sense) is the categorical algebra (in the incidence algebra sense), and has both an algebra and coalgebra structure.

	~~==Examples==~~
	* If ''C'' is a [[group (mathematics)\|group]] (thought of as a [[groupoid]] with a single object), then ''RC'' is the [[group ring\|group algebra]].
	* If ''C'' is a [[monoid]] (thought of as a category with a single object), then ''RC'' is the [[~~monoid ring]].~~
	* If ''C'' is a [[partially ordered set]], then (using the appropriate definition), ''RC'' is the [[incidence algebra]].

	~~==References==~~
	*Haigh, John. ''On the Möbius Algebra and the Grothendieck Ring of a Finite Category'' J. London Math. Soc (2), 21 (1980) 81-92.

	~~==External links==~~
	* [http://~~planetmath~~.~~org/encyclopedia/AlgebraFormedFromACategory~~.~~html Categorical Algebra] at PlanetMath~~.
	* [http://~~planetmath.org~~/~~encyclopedia~~/~~LocallyFiniteCategory.html Locally Finite Category] at PlanetMath.~~

	~~[[Category:Category theory]~~]

en>Geometry guy: /* References */ subcat

2011-10-14T22:19:35Z

References: subcat

New page

{{dablink|This page discusses the object called a '''categorical algebra'''; for categorical generalizations of algebra theory, see [[:Category:Monoidal categories]].}}

In [[category theory]], a field of [[mathematics]], a '''categorical algebra''' is an [[associative algebra]], defined for any locally finite [[Category (mathematics)|category]] and [[commutative ring]] with unity.
It generalizes the notions of [[group ring|group algebra]] and [[incidence algebra]],
just as [[Category (mathematics)|category]] generalizes the notions of [[group (mathematics)|group]] and [[partially ordered set]].

==Definition==
Infinite categories are conventionally treated differently for group algebras and incidence algebras; the definitions agree for finite categories. We first present the definition that generalizes the group algebra.

===Group algebra-style definition===
Let ''C'' be a category and ''R'' be a [[commutative ring]] with unit.
Then as a set and as a [[Module (mathematics)|module]], the categorical algebra ''RC'' (or ''R''[''C'']) is the [[free module]] on the maps of ''C''.

The multiplication on ''RC'' can be understood in several ways, depending on how one presents a free module.

Thinking of the free module as formal [[linear combinations]] (which are finite sums),
the multiplication is the multiplication (composition) of the category, where defined:
:<math>\sum a_i f_i \sum b_j g_j = \sum a_i b_j f_i g_j</math>
where <math>f_i g_j=0</math> if their composition is not defined. This is defined for any finite sum.

Thinking of the free module as finitely supported functions,
the multiplication is defined as a [[convolution]]: if <math>a, b \in RC</math> (thought of as functionals on the maps of ''C''), then their product is defined as:
:<math>(a * b)(h) := \sum_{fg=h} a(f)b(g).</math>
The latter sum is finite because the functions are finitely supported.

===Incidence algebra-style definition===
The definition used for incidence algebras assumes that the category ''C'' is locally finite, is ''dual'' to the above definition, and defines a ''different'' object. This isn't a useful assumption for groups, as a group that is locally finite as a category is finite.

A '''locally finite category''' is one where every map can be written only finitely many ways as a product of non-identity maps.
The categorical algebra (in this sense) is defined as above, but allowing all coefficients to be non-zero.

In terms of formal sums, the elements are all formal sums
:<math>\sum_{f_i \in \mathrm{Hom}(C)} a_i f_i,</math>
where there are no restrictions on the <math>a_i</math> (they can all be non-zero).

In terms of functions, the elements are any functions from the maps of ''C'' to ''R'', and multiplication is defined as convolution. The sum in the convolution is always finite because of the local finiteness assumption.

===Dual===
The module dual of the category algebra (in the group algebra sense of the definition) is the space of all maps from the maps of ''C'' to ''R'', denoted ''F(C)'', and has a natural [[coalgebra]] structure. Thus for a locally finite category, the dual of a categorical algebra (in the group algebra sense) is the categorical algebra (in the incidence algebra sense), and has both an algebra and coalgebra structure.

==Examples==
* If ''C'' is a [[group (mathematics)|group]] (thought of as a [[groupoid]] with a single object), then ''RC'' is the [[group ring|group algebra]].
* If ''C'' is a [[monoid]] (thought of as a category with a single object), then ''RC'' is the [[monoid ring]].
* If ''C'' is a [[partially ordered set]], then (using the appropriate definition), ''RC'' is the [[incidence algebra]].

==References==
*Haigh, John. ''On the Möbius Algebra and the Grothendieck Ring of a Finite Category'' J. London Math. Soc (2), 21 (1980) 81-92.

==External links==
* [http://planetmath.org/encyclopedia/AlgebraFormedFromACategory.html Categorical Algebra] at PlanetMath.
* [http://planetmath.org/encyclopedia/LocallyFiniteCategory.html Locally Finite Category] at PlanetMath.

[[Category:Category theory]]

Differentiation of integrals - Revision history

en>Monkbot: /* References */Task 2: Fix CS1 deprecated coauthor parameter errors

en>Geometry guy: /* References */ subcat