: We show that the classical axiom which characterizes pretopological convergence spaces splits into two axioms in the general Heyting algebra-valued case. Furthermore we present a...
Sierpinski space is injective in the category Top of topological spaces, but not in any of the larger cartesian closed categories Conv of convergence spaces and Equ of equilogica...
: It is of general knowledge that those (ultra)filter convergence relations coming from a topology can be characterized by two natural axioms. However, the situation changes consi...