Faire une nouvelle recherche
Make a new search
Lancer la recherche

Titre du document / Document title

The category of M-sets

Auteur(s) / Author(s)


Résumé / Abstract

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.

Revue / Journal Title

Italian journal of pure and applied mathematics    ISSN  1126-8042 

Source / Source

2001, no9, pp. 123-132 [10 page(s) (article)]

Langue / Language


Editeur / Publisher

Forum. Editrice universitaria udinese, Udine, ITALIE  (1997) (Revue)

Localisation / Location

INIST-CNRS, Cote INIST : 27084, 35400010276211.0140

Nº notice refdoc (ud4) : 13517583

Faire une nouvelle recherche
Make a new search
Lancer la recherche