Tarek Sayed-Ahmed
, 2015, 'Neat embeddings as adjoint situations',
Synthese
192 (7), 2223-2259.