This is a question about the definition of a groupoid (in category theory). I've read the Wikipedia article, and it says that a groupoid is a small category in which every morphism is an isomorphism. ...
The title sums it up : I am looking for a definition of "a groupoid of fractions for a category". I would be interested in any example someone might have as well...