Elementary equivalences and accessible functors
| Authors | |
|---|---|
| Year of publication | 2018 |
| Type | Article in Periodical |
| Magazine / Source | Annals of Pure and Applied Logic |
| MU Faculty or unit | |
| Citation | |
| Web | http://dx.doi.org/10.1016/j.apal.2018.03.004 |
| Doi | http://dx.doi.org/10.1016/j.apal.2018.03.004 |
| Keywords | accessible categories; elementary equivalences; Lefschetz principle |
| Description | 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. |
| Related projects: |