Problem Let and be infinite sets. Characterize the set of all coatoms of the lattice of funcoids from to . Particularly, is this set empty? Is a coatomic lattice? coatomistic lattice?
See Algebraic General Topology for definitions of used concepts.
Solved:
Coatoms of are principal funcoids corresponding to binary relations of the form where , .
The set of funcoids is atomic but not atomistic.
See new version of the book Algebraic General Topology.
Bibliography
* indicates original appearance(s) of problem.