Elementary equivalences and accessible functors
Autoři | |
---|---|
Rok publikování | 2018 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Annals of Pure and Applied Logic |
Fakulta / Pracoviště MU | |
Citace | BEKE, Tibor a Jiří ROSICKÝ. Elementary equivalences and accessible functors. Annals of Pure and Applied Logic. 2018, roč. 169, č. 7, s. 674-703. ISSN 0168-0072. Dostupné z: https://dx.doi.org/10.1016/j.apal.2018.03.004. |
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: |