We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

The over-topos at a model

Formale Metadaten

Titel
The over-topos at a model
Serientitel
Anzahl der Teile
31
Autor
Mitwirkende
Lizenz
CC-Namensnennung 3.0 Unported:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
For a model of a geometric theory in a Grothendieck topos, we can construct the over-topos of this model classifying homomorphisms above it. In this talk, we provide a site theoretic description of this construction. In the case of a set-valued model, a site will be provided by the category of global elements together with a certain antecedents topology, and we can describe a canonical geometric theory classified by this over-topos. In the general case, one must consider a more complicated category of generalized elements ; an antecedent topology then can be recovered through a notion of lifted topology, whose construction can be understood in the framework of stacks and comorphisms of sites. This is joint work with Olivia Caramello.