Every theory is eventually of presheaf type

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři	ESPINDOLA ZAMORA Christian Rubén KANALAS Kristóf
Rok publikování	2025
Druh	Článek v odborném periodiku
Časopis / Zdroj	THEORY AND APPLICATIONS OF CATEGORIES
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
www	http://www.tac.mta.ca/tac/volumes/44/12/44-12abs.html
Klíčová slova	?-topos; theory of presheaf type
Popis	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\| < ?).
Související projekty:	Enriched categories and their applications Specifický výzkum v odborné, aplikované a učitelské matematice 2024