In which categories are first-order axiomatizable hulls characterizable by ultraproducts ? Bui Huy Hien, I. Sain (1983) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Interpreting set theory in the endomorphism semi-group of a free algebra or in a category Saharon Shelah (1976) Annales scientifiques de l'Université de Clermont. Mathématiques