Grothendieck's theory of fibred categories for monoids | Synapse