Informace o publikaci
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 | |
| 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: |