Subject:
Question for top-list
From:
"Carlos.SIMPSON" <carlos@math.unice.fr>
Date:
Mon, 31 Jan 2005 14:08:26 +0100
To:
Don Davis <dmd1@lehigh.edu>

Dear Don,
Could you please post the following question to the top-list? Thanks---Carlos

Hello,
 Does anybody know of references where the constructions of localization of a category in
Gabriel-Zisman (both the general construction and the special construction in the case of
a calculus of fractions) are treated with full explanation of the details?  Including for example
GZ's Lemma 1.2? I'm asking because I did computer-verified versions: the files
can be found at the bottom of  http://math.unice.fr/~carlos/inProgress.html

Thanks----
Carlos Simpson