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