The term cartesian reflector (A4.3.1) is used in the Elephant to say idempotent cartesian monad. This is because an idempotent monad is called a reflector (A1.1.1), there.
Created on December 10, 2012 at 16:00:48. See the history of this page for a list of all contributions to it.