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
Internal presheaves toposes Marta Bunge (1977) 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
Iterative algebras: how iterative are they? Adámek, J., Börger, R., Milius, S., Velebil, J. (2007) Theory and Applications of Categories [electronic only]