We develop a technique for representing and preserving cardinals in realizability models, and we apply this technique to define a realizability model of Zorn’s lemma restricted to an ordinal.

Sobriety, well-filteredness, and monotone convergence are three of the most important properties of topological spaces extensively studied in domain theory. Some other weak forms of sobriety and well-filteredness have also been investigated by some authors. In this paper, we introduce the notion of Θ-fine spaces, which provides a unified approach to such properties. In addition, this general approach leads to the definitions of some new topological properties.

This paper explores versions of the Yoneda Lemma in settings founded upon FM sets. In particular, we explore the lemma for three base categories: the category of nominal sets and equivariant functions; the category of nominal sets and all finitely supported functions, introduced in this paper; and the category of FM sets and finitely supported functions. We make this exploration in ordinary, enriched and internal settings. We also show that the finite support of Yoneda natural transformations is a theorem for free.