This produces the monoid action associated to any module. As R-modules are concrete categories, these functors are output action predecessors of the faithful functor to the topos of sets. The faithful functor to the topos of sets can then be recovered by the functor to the topos of R_* monoid actions. As can be seen here, while most categories have a functor to category of sets, in some cases like with R-modules there are functors to other interesting topoi.
A special case is vector spaces, there we see that the action monoid is a group with zero. The topoi of actions of a group with zero is bivalent, but it is not classical because a group with zero is still not a group. It follows that the image of F of the class of fields consists entirely of bivalent topoi. We can consider different topoi properties like these to better understand categories of modules over a ring.
No comments:
Post a Comment