Monoids, acts, and categories — ReaderExpo