D-Ultrafilters and their Monads

Jirí Adámek, Lurdes Sousa

For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept…