G. Bittencourt Rios and H. Luiz Mariano, “Model Theory Inspired by Modern Algebraic Geometry: A Survey of Sheaf Representations for Categorical Model Theory”, LAJM, vol. 2, no. 01, pp. 12–50, May 2023.