Bittencourt Rios, Gabriel, and Hugo Luiz Mariano. 2023. “Model Theory Inspired by Modern Algebraic Geometry: A Survey of Sheaf Representations for Categorical Model Theory”. Latin American Journal of Mathematics 2 (01):12-50. https://www.lajm.ufscar.br/index.php/capa/article/view/8.