• Corpus ID: 119165805

Extensions of flat functors and theories of presheaf type

@article{Caramello2014ExtensionsOF,
  title={Extensions of flat functors and theories of presheaf type},
  author={Olivia Caramello},
  journal={arXiv: Category Theory},
  year={2014}
}
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a characterization theorem providing necessary and sufficient semantic conditions for a theory to be of presheaf type. This theorem subsumes all the previous partial results obtained on the subject and has several corollaries which can be used in practice for testing… 
On the geometric theory of local MV-algebras
The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit
Abstract We show that the theory of MV-algebras is Morita-equivalent to that of abelian l -groups with strong unit. This generalizes the well-known equivalence between the categories of set-based
LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
TLDR
There is a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MV-algebras and three levels of bi-interpretability holding for particular classes of formulas: irreducible formulas, geometric sentences, and imaginaries.
Motivic toposes
We present a research programme aimed at constructing classifying toposes of Weil-type cohomology theories and associated categories of motives, and introduce a number of notions and preliminary
Topological Galois Theory
We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic
General affine adjunctions, Nullstellensätze, and dualities
We introduce and investigate a category-theoretic abstraction of the standard "system-solution" adjunction in affine algebraic geometry. We then look further into these geometric adjunctions at
Cyclic Theories
We describe a geometric theory classified by Connes-Consani’s epicylic topos and two related theories respectively classified by the cyclic topos and by the topos [ℕ∗,Set]$[{\mathbb N}^{\ast },

References

SHOWING 1-10 OF 34 REFERENCES
Theories of presheaf type
  • Tibor Beke
  • Computer Science, Mathematics
    Journal of Symbolic Logic
  • 2004
TLDR
This seems to completely solve the problem of identifying when T is of presheaf type: check whether Mod(T) is finitely accessible and if so, recover the presheAF topos as Set-functors on the full subcategory of finitely presentable models.
Strongly algebraic = SFP (topically)
  • S. Vickers
  • Mathematics, Computer Science
    Mathematical Structures in Computer Science
  • 2001
TLDR
Certain ‘Finite Structure Conditions’ on a geometric theory are shown to be sufficient for its classifying topos to be a presheaf topos, and to hold for the theory of strongly algebraic information systems and some variants, as well as for some other theories already known to be classified by presheAF toposes.
Yoneda representations of flat functors and classifying toposes
We obtain semantic characterizations, holding for any Grothendieck site (C;J), for the models of a theory classied by a topos of the form Sh(C;J) in terms of the models of a theory classied by a
Classifying topoi and finite forcing
We show that Robinson’s finite forcing, for a theory +rT, is a universal construction in the sense of categorical algebra: it is the satisfaction relation for the universal model in the classifying
Generalising canonical extension to the categorical setting
  • Dion Coumans
  • Mathematics, Computer Science
    Ann. Pure Appl. Log.
  • 2012
TLDR
A universal property of the construction is described and it is shown that it generalises the existing notion of canonical extension for distributive lattices and leads to an alternative description of the topos of types, introduced by Makkai (1981).
SYNTACTIC CHARACTERIZATIONS OF PROPERTIES OF CLASSIFYING TOPOSES
We give characterizations, for various fragments of geometric logic, of the class of theories classied by a locally connected (respectively connected and locally connected, atomic, compact, presheaf)
Sketches of an Elephant: A Topos Theory Compendium Volume 1
First order categorical logic
Grothendieck topoi.- Interpretation of the logic in categories.- Axioms and rules of inference valid in categories.- Boolean and heyting valued models.- Completeness.- Existence theorems on geometric
De Morgan's law and the theory of fields
We show that the classifying topos for the theory of fields does not satisfy De Morgan's law, and we identify its largest dense De Morgan subtopos as the classifying topos for the theory of fields of
Universal models and definability
  • Olivia Caramello
  • Mathematics
    Mathematical Proceedings of the Cambridge Philosophical Society
  • 2011
Abstract We establish some general results on universal models in Topos Theory and show that the investigation of such models can shed light on problems of definability in Logic as well as on De
...
1
2
3
4
...