Files for Gabriel-Zisman localization

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

This preprint contains the Coq proof files for Gabriel-Zisman localization, bundled with the source. The text of this preprint consists of the definitions and lemma statements of the main files, with proofs removed. See the other preprint ``Explaining GZ localization to the computer'' for explanation and discussion.

Keywords

Category Theory

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/75563

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0506470
 http://arxiv.org/abs/math/0506470

Collections

arXiv