Equilogical Spaces and Convergence Spaces (Reinhold Heckmann)

Equilogical spaces and convergence spaces form two categories EQU and CONV, respectively, that contain the category TOP of topological spaces as a full subcategory. In contrast to TOP, they are cartesian closed, i.e. admit the construction of function spaces in a way suitable for the interpretation of lambda-calculus. Note that some people, including myself in earlier papers, say filter spaces (FIL) instead of convergence spaces (CONV).

Reinhold Heckmann / heckmann@absint.com