Explaining Gabriel-Zisman localization to the computer

Details Explaining Gabriel-Zisman localization to the computer Explaining Gabriel-Zisman localization to the computer

2005-06-23

arxiv.org/abs/math/0506471v1

Mathematics

Category Theory

Scientific paper

This explains a computer formulation of Gabriel-Zisman localization of
categories in the proof assistant Coq. It includes both the general
localization construction with the proof of GZ's Lemma 1.2, as well as the
construction using calculus of fractions. The proof files are bundled with the
other preprint "Files for GZ localization" posted simultaneously.

Affiliated with

Also associated with

No associations

Rating

Explaining Gabriel-Zisman localization to the computer does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Explaining Gabriel-Zisman localization to the computer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Explaining Gabriel-Zisman localization to the computer will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-624446