\(\kappa\)-frames (Q2640625)

This paper sets out some basic aspects of a general theory of \(\kappa\)- frames. A \(\kappa\)-frame is a lattice in which suprema of all subsets of size strictly bounded by a cardinal \(\kappa\) are defined and in which the infimum operation distributes over such suprema. They occupy a niche in between distributive lattices, which have only finite suprema, and frames, in which the suprema of all subsets are defined. The theory represented here includes and generalizes certain aspects of distributive lattice theory and of frame theory, but the main point of the work is not to present \(\kappa\)-ary analogues of theorems in these fields. Rather, the emphasis here is on the functors between the categories of \(\kappa\)- frames for different cardinals \(\kappa\). The forgetful functors from \(\kappa\)-frames to \(\lambda\)-frames \((\kappa >\lambda)\), their left adjoints and functors closely related to these exhibit interesting and important phenomena which would not be observed if one confined one's attention to a single category.