Internalizations commute

Okay, back in the saddle. We know about monoid objects and group objects, and also the slight variant of abelian group objects. These are functors (preserving some sort of product structure) from the toy categories $\mathrm{Th}(\mathbf{Mon})$ , $\mathrm{Th}(\mathbf{Grp})$ , and $\mathrm{Th}(\mathbf{Ab})$ to our target category $\mathcal{C}$ , respectively. We could also write out all the properties of (unital) rings in terms of a category $\mathrm{Th}(\mathbf{Ring})$ — the “theory of rings” — and then use this to define “ring objects

We know, though, that a ring is a monoid object in the category $\mathbf{Ab}$ of abelian groups. And the category of abelian groups is the category of abelian group objects in $\mathbf{Set}$ . That is, $\mathbf{Ab}\cong\mathbf{Set}^{\mathrm{Th}(\mathbf{Ab})}$ . And then we get monoid objects (rings) by considering $(\mathbf{Set}^{\mathrm{Th}(\mathbf{Ab})})^{\mathrm{Th}(\mathbf{Mon})}$ .

But what is a functor from one category into the category of functors from a second category into a third? What is $(\mathcal{A}^\mathcal{B})^\mathcal{C}$ ? This is just a functor from the product category $\mathcal{C}\times\mathcal{B}$ to $\mathcal{A}$ ! Thus $(\mathcal{A}^\mathcal{B})^\mathcal{C}\cong\mathcal{A}^{\mathcal{C}^\mathcal{B}}$ . This should look familiar — it says that (to whatever extent it’s well-defined) the category of categories is a closed category!

Now we also know that the product of two categories is “weakly symmetric” — $\mathcal{B}\times\mathcal{C}$ is equivalent to $\mathcal{C}\times\mathcal{B}$ . And thus the categories of functors from either one of these to a third category are equivalent — $\mathcal{A}^{\mathcal{C}\times\mathcal{B}}\cong\mathcal{A}^{\mathcal{B}\times\mathcal{C}}$ . Putting this together with the “currying” above we find that $(\mathcal{A}^\mathcal{B})^\mathcal{C}\cong(\mathcal{A}^\mathcal{C})^\mathcal{B}$ .

So let’s bring this back to internalizations. We find that $(\mathbf{Set}^{\mathrm{Th}(\mathbf{Ab})})^{\mathrm{Th}(\mathbf{Mon})}$ and $(\mathbf{Set}^{\mathrm{Th}(\mathbf{Mon})})^{\mathrm{Th}(\mathbf{Ab})}$ are equivalent. A monoid object in $\mathbf{Ab}$ is equivalent to an abelian group object in $\mathbf{Mon}$ .

And we saw evidence of this before. We’ve taken abelian groups and built free monoid objects on them, and we’ve taken monoids and built free abelian group objects on them. And the rings we get from each case are isomorphic to each other.

This whole setup generalizes. For any two algebraic structures we can describe by “theory of” categories, we can add both structures to an object of a category $\mathcal{C}$ in either order. the processes of “internalizing” the two structures into the category $\mathcal{C}$ commute with each other.

Now, for an exercise you can work out the naïve approach mentioned above. Write down the definition of $\mathrm{Th}(\mathbf{Ring})$ from first principles, just like we did for monoids and groups and such. Then show that the resulting category is equivalent to $\mathrm{Th}(\mathbf{Mon})\times\mathrm{Th}(\mathbf{Ab})$ .

2 Comments »

[…] Todd Trimble pointed out to me a mistake I made in saying that internalizations commute. I glossed over a number of important subtleties and he set me […]

Pingback by Correction « The Unapologetic Mathematician | August 12, 2007 | Reply
[…] In fact, our perspective allows this equivalence to come to the fore. The algebra structure makes the bialgebra a monoid object in the category of vector space over . Then a compatible coalgebra structure makes it a comonoid object in the category of algebras over . Or in the other order, we have a monoid object in the category of comonoid objects in the category of vector spaces over . And these describe essentially the same things because internalizations commute! […]

Pingback by Bialgebras « The Unapologetic Mathematician | November 6, 2008 | Reply

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

Recent Posts
Blogroll
Art
- Sketches of Topology
Astronomy
- Bad Astronomy
- Starts With a Bang
Computer Science
Education
Mathematics
Me
- DrMathochist
- The Unapologetic Programmer
Philosophy
Physics
Politics
Science

M	T	W	T	F	S	S
« Jul				Sep »
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	31

The Unapologetic Mathematician

Mathematics for the interested outsider