Bittencourt Rios, Gabriel, and Hugo 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, doi:10.14244/lajm.v2i01.8.