Cartesian Closedness, Extensionality and Bornological Universes. - Mark Sioen; Tom Vroegrijk (Appl. Categorical Struct., 2014)