@article{Bittencourt Rios_Luiz Mariano_2023, title={Model Theory Inspired by Modern Algebraic Geometry: A Survey of Sheaf Representations for Categorical Model Theory}, volume={2}, url={https://www.lajm.ufscar.br/index.php/capa/article/view/8}, abstractNote={<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>}, number={01}, journal={Latin American Journal of Mathematics}, author={Bittencourt Rios, Gabriel and Luiz Mariano, Hugo}, year={2023}, month={May}, pages={12–50} }