Elementary equivalences and accessible functors

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	BEKE Tibor ROSICKÝ Jiří
Rok publikování	2018
Druh	Článek v odborném periodiku
Časopis / Zdroj	Annals of Pure and Applied Logic
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
www	http://dx.doi.org/10.1016/j.apal.2018.03.004
Doi	http://dx.doi.org/10.1016/j.apal.2018.03.004
Klíčová slova	accessible categories; elementary equivalences; Lefschetz principle
Popis	We introduce the notion of lambda-equivalence and lambda-embeddings of objects in suitable categories. We recover and extend results of Feferman and Eklof on local functors without fixing a language in advance. This is convenient for formalizing Lefschetz's principle in algebraic geometry, which was one of the main applications of the work of Eklof.
Související projekty:	Ústav Eduarda Čecha pro algebru, geometrii a matematickou fyziku