Feeds:
Posts
Comments

Archive for the ‘Galois theory’ Category

Previously we looked at several examples of n-ary operations on concrete categories (C, U). In every example except two, U was a representable functor and C had finite coproducts, which made determining the n-ary operations straightforward using the Yoneda lemma. The two examples where U was not representable were commutative Banach algebras and commutative C*-algebras, and it is possible to construct many others. Without representability we can’t apply the Yoneda lemma, so it’s unclear how to determine the operations in these cases.

However, for both commutative Banach algebras and commutative C*-algebras, and in many other cases, there is a sense in which a sequence of objects approximates what the representing object of U “ought” to be, except that it does not quite exist in the category C itself. These objects will turn out to define a pro-object in C, and when U is pro-representable in the sense that it’s described by a pro-object, we’ll attempt to describe n-ary operations U^n \to U in terms of the pro-representing object.

The machinery developed here is relevant to understanding Grothendieck’s version of Galois theory, which among other things leads to the notion of ├ętale fundamental group; we will briefly discuss this.

(more…)

Read Full Post »

My current top candidate for a mathematical concept that should be and is not (as far as I can tell) consistently taught at the advanced undergraduate / beginning graduate level is the notion of a groupoid. Today’s post is a very brief introduction to groupoids together with some suggestions for further reading.

(more…)

Read Full Post »

Follow

Get every new post delivered to your Inbox.

Join 282 other followers