Go back to the tag's page.
sites.tex, categories.tex: minor corrections
Added new tags
Gabriel-Zisman localization More can be added here, in particular about relationship with (co)limits.