Every theory is eventually of presheaf type

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

Authors	ESPINDOLA ZAMORA Christian Rubén KANALAS Kristóf
Year of publication	2025
Type	Article in Periodical
Magazine / Source	THEORY AND APPLICATIONS OF CATEGORIES
MU Faculty or unit	Faculty of Science
Citation
web	http://www.tac.mta.ca/tac/volumes/44/12/44-12abs.html
Keywords	?-topos; theory of presheaf type
Description	We give a detailed and self-contained introduction to the theory of ?-toposes and prove the following: 1) A ?-separable ?-topos has enough ?-points. 2) The classifying ?-topos of a ?-site (C,E) is a presheaf topos (assuming ? ? ? = ?^<?, \|C\|, \|E\| < ?).
Related projects:	Enriched categories and their applications Specifický výzkum v odborné, aplikované a učitelské matematice 2024