Elementary equivalences and accessible functors

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.