TY - JOUR
AU - Bittencourt Rios, Gabriel
AU - Luiz Mariano, Hugo
PY - 2023/05/11
Y2 - 2024/09/18
TI - Model Theory Inspired by Modern Algebraic Geometry: A Survey of Sheaf Representations for Categorical Model Theory
JF - Latin American Journal of Mathematics
JA - LAJM
VL - 2
IS - 01
SE - Articles
DO -
UR - https://www.lajm.ufscar.br/index.php/capa/article/view/8
SP - 12-50
AB - <p>In this survey, we expound sheaf representations of categories in the context of categorical logic. Namely, we present classifying topoi of coherent theories in terms of equivariant sheaves of groupoid (and then explore the generalization of this technique to a more general categorical context); expose a representation of Grothendieck topoi as global sections of sheaf and, finally, show a quick introduction to logical schemes, a proposed model-theoretic analogue to the schemes of Algebraic Geometry.</p>
ER -