MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

EDIT: Are there references to the literature that works out dervied functors for categories enriched over abelian monoids? (I narrowed down the question in the hope for an answer.)

share|cite|improve this question
In my book, semigroups have associative multiplication (or let us say addition in the abelian case). Since he assumes a neutral element, I assume he means commutative monoid, in which case I find this question to be a very natural one. If Colin doesn't mean to include associtativity as an axiom, I find the question far less natural. – Todd Trimble Sep 18 '11 at 15:07
(Semigroups -abelian or not- are defined to be associative!) – Qfwfq Sep 18 '11 at 15:10
Yeah, I was confused because Colin forgot to list associativity as one of the axioms (unless he really meant the non-associative analogue!). – Harry Gindi Sep 18 '11 at 15:20
(In case my initial comment seems confusing, it was in response to a comment of Harry which he later deleted.) – Todd Trimble Sep 18 '11 at 20:23
yes. i do mean associative. usually i find the nomenclature "monoid" confusing. i find the analogy between ring and semiring, and group and semigroup. – user2529 Sep 19 '11 at 2:47

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.