Bittencourt Rios, G.; Luiz Mariano, H. Model Theory Inspired by Modern Algebraic Geometry: A Survey of Sheaf Representations for Categorical Model Theory. LAJM 2023, 2, 12-50.