This is a page similar to other “Journal Club” pages where we attempt to understand some concept. In this case it is the category M-Set. Other Journal Club pages include:
One paper, in particular, we would like to look at is
The category of M-sets
EBRAHIMI M. Mehdi and MAHMOUDI M.
A topos is a category which looks and behaves very much like the category of sets, and so it may be thought of as a universe for mathematical discourses. One of the very useful topoi in many branches of mathematics as well as in computer sciences is the topos MSet, of sets with an action of a monoid M on them. It is well known that MSet, being isomorphic to the functor category SetM, is a topos. Here, we explicitly give the ingredients of a topos in MSet and investigate their properties for the working scientists and computer scientists. Among other things, we give some equivalent conditions, such as the left Ore condition, to Ω, the subobject classifier of MSet, being a Stone algera. Also the free and the cofree objects, as well as, limits and colimits are discussed in MSet.
Here are some initial questions we hope to better understand:
As Todd Trimble said
We can go on from there to discuss general limits and colimits in , cartesian closure, the subobject classifier, and so on. This could be fun and a very good learning experience, and there are people right here who know this material rather well.
So let’s do it!
Todd Trimble: Okay!
Off the bat, I’m not seeing a clear connection between -sets and multisets. It sounds like you were hoping that (locally finite) multisets were in some way connected with -sets, so let’s talk a little about the latter. As stated in the abstract, an -set is a set equipped with an action by the monoid (natural numbers with the monoid multiplication taken to be ordinary addition).
A first thing to do is get a very clear picture of what -sets are like; there are other suggestive words that can be used to describe them. Any ideas?
So is one set and we need to understand what is the function on that set. Hmm
I guess it doesn’t really matter what is. It can be any function . We simply have with . Ok!
Todd: Right! Very good. So an -set is tantamount to a set equipped with an endofunction . You could think of as giving a discrete-time dynamics on .
Toby: And also equipped with an element .
And you’ve sort of answered as well the question about the two senses of . One sense is that as monoid is a set equipped with a monoid multiplication; the other is to think of as a one-object category. Here in the nLab we often use for the latter, to keep the two senses distinguished. So, to be pedantic, we really ought to say:
although I think I’ll just elide over the and let the context dictate the appropriate sense.
If you’d like to stay focused on multisets and shelve the project of doing some topos theory here, that would be fine. I’ll leave it up to you. Of course, now that you’ve started it, other people might wander by and want to continue this discussion
If you did want to continue, then I think we could use -sets as a running example, since a lot (not all, but a lot) of the general phenomena associated with -sets are already illustrated in this case, and we have clear mental pictures for this case. We could go on for instance to understand finite products (pretty easy), and then more general limits and colimits, and move on from there.