We obtain semantic characterizations, holding for any Grothendieck site (C, J), for the models of a theory classified by a topos of the form Sh(C, J) in terms of the models of a theory classified by a topos [C^op, Set]. These characterizations arise from an appropriate representation of flat functors into Grothendieck toposes based on an application of the Yoneda Lemma in conjunction with ideas from indexed category theory, and turn out to be relevant also in different contexts, in particular for addressing questions in classical Model Theory.

Yoneda representations of flat functors and classifying toposes

CARAMELLO, OLIVIA
2012

Abstract

We obtain semantic characterizations, holding for any Grothendieck site (C, J), for the models of a theory classified by a topos of the form Sh(C, J) in terms of the models of a theory classified by a topos [C^op, Set]. These characterizations arise from an appropriate representation of flat functors into Grothendieck toposes based on an application of the Yoneda Lemma in conjunction with ideas from indexed category theory, and turn out to be relevant also in different contexts, in particular for addressing questions in classical Model Theory.
http://emis.mi.ras.ru/journals/TAC/volumes/26/21/26-21.pdf
Classifying topos; Yoneda lemma; flat functor; theory of presheaf type
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11383/2063743
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 4
social impact