basic constructions:
strong axioms
further
A regular cardinal is a cardinal number that is ‘closed under union’. The category of sets bounded by a regular cardinal has several nice properties, making it a universe that is handy for some purposes but falls short of being a Grothendieck universe. Unlike Grothendieck universes (which are based on inaccessible cardinals rather than regular cardinals), it is easy to prove that (even uncountable) regular cardinals exist.
An infinite cardinal is a regular cardinal if it satisfies the following equivalent properties:
no set (in a material set theory) of cardinality is the union of fewer than sets of cardinality less than .
no set (in a structural set theory) of cardinality is the disjoint union of fewer than sets of cardinality less than .
given a function (regarded as a family of sets ) such that and for all , then .
the category of sets of cardinality has all colimits (or just all coproducts) of size .
the cofinality of is equal to .
A cardinal that is not regular is called singular.
Traditionally, one requires regular cardinals to be infinite. This clause may be removed, in which case , , and are all regular cardinals.
Other modifications of the definition which are equivalent for infinite cardinals may include some of , , and but not all. For instance, if we regard an indexed disjoint union as a binary operation taking as input and a -indexed family , then closure under this binary operation as in the above definition also entails closure under the ternary version , and so on. The unary version is simply the identity operation, whereas the nullary version will always output the singleton set . (This can be seen by thinking in terms of trees of uniform finite height, or remembering that a dependent sum includes a binary cartesian product as a special case, so a nullary dependent sum should at least include a nullary product.) Thus, from this perspective, is a regular cardinal, but and are not. In applications for which this perspective is the relevant one, such as familial regularity and exactness, one may more precisely be interested in an arity class rather than a regular cardinal.
We may rule out all three finite regular cardinals by additionally generalising from indexed disjoint unions to finitary disjoint unions.
Then in terms of , the (potential) conditions on a (possibly finite) regular cardinal are as follows:
These are all variations on the theme of closure under disjoint unions.
Clauses (2–4) hold of all infinite cardinals, while clauses (2&3) together force to be greater than any finite cardinal. However, if we require only clauses (1&2), then is a regular cardinal.
Thinking of a regular cardinal as a cardinal number makes the most sense using the axiom of choice. Otherwise, we probably want to think of it as a collection of cardinals, or equivalently think of it as the category .
From this perspective, a regular cardinal is a full subcategory of that is closed under taking quotient objects and satisfies the condition on above. We can then recover as the smallest cardinal number greater than every cardinal in , if we accept the axiom of choice.
Note that if we require only conditions (1&2) on , then (even classically), is an acceptable (and finite) regular collection of cardinals, even though it is not actually of the form for any cardinal number .
In the absence of the axiom of choice, it is not clear that there exist arbitrarily large regular cardinals. Thus in weaker foundations, regular cardinals (or “regular sets of cardinals”) can be regarded as a large cardinal property.
At least if “regular cardinal” has its classical meaning of a particular ordinal, then the statement that there exist arbitrarily large regular cardinals is independent of ZF; in fact it is consistent with ZF that all uncountable cardinals are singular. A foundational axiom which is related to the existence of regular cardinals (but considers them as sets with various closure properties, rather than cardinal numbers) is the regular extension axiom.
Assuming the axiom of choice, the successor of any infinite cardinal, such as , is a regular cardinal.
In the case of , this means that a countable union of countable sets is countable. Note that this implies that there exist arbitrarily large regular cardinals: for any cardinal there is a greater regular cardinal, namely .
Under the axiom of choice, the successor of a cardinal number is the Hartogs number (see there): if is the cardinality of , then is the order type of the well-ordered set . If is a set of ordinals with least upper bound , and supposing, working toward a contradiction, that this set has cardinality , then the corresponding initial segments of provide a partition
and by construction of , each has cardinality . Thus the union would have at most elements, which is less than the cardinality of , contradiction.
is singular, more or less by definition, since and .
More generally, any limit cardinal that can be “written down by hand” should be singular, since if it were regular then it would be weakly inaccessible, and the existence of weakly inaccessible cardinals cannot be proven in ZFC (if is consistent). We say ‘should’ rather than ‘must’, since there are exceptions, but they are sort of cheating: one (definable with Choice) is ‘the smallest limit cardinal that is regular if and only if some weakly innaccessible cardinal exists’.
Assuming the consistency (with ZFC) of ‘there is a proper class of strongly compact cardinals’, it is consistent with that every uncountable cardinal is singular (and in fact every infinite well-orderable cardinal has cofinality ), a result due to Moti Gitik?. (Of course this conclusion is inconsistent with , in which many uncountable cardinals, starting with , are regular.)
Regular cardinals are used in the definitions of -filtered colimits, -presentable objects, -accessible categories, locally -presentable categories, -ind-completion, and many notions derived from these, e.g., -combinatorial model categories.
Then notions make sense for all cardinals, not necessarily regular. However, the relevant concepts reduce to those for regular cardinals.
The relevance of regular cardinals for these concepts was already pointed out by Gabriel and Ulmer in their original treatise on locally presentable categories, where on page 2 we read:
Sei eine Kardinalzahl, wobei . Eine geordnete Menge heisst -gerichtet, wenn es für jede Familie in mit ein gibt derart, dass . Sei die kleinste reguläre Kardinalzahl . Dann ist jede -gerichtete Menge auch -gerichtet. Wir setzen deshalb im folgenden zusatzlich voraus, dass regulär ist (vgl. §0).
where the meaning of is explained on page 13:
Ausserdem bezeichnen wir mit die kleinste Kardinalzahl, die nicht mehr zu gehört (die also in unserer Sprache keine Menge ist).
Dieser Arbeit liegt die Mengenlehre von Zermelo-Fraenkel und ein fest gewähltes
Universum zugrunde. Wir setzen dabei voraus, dass die Menge der natürlichen Zahlen enthält.
If is not a regular cardinal, then a category has -filtered colimits if and only if it has -filtered colimits, and is always a regular cardinal (assuming the axiom of choice). In this case, a category is locally -presentable if and only if it is locally -presentable.
Reference: Proposition 5.6 in Rezk2021.
Peter Gabriel, Friedrich Ulmer, Lokal präsentierbare Kategorien, Lecture Notes in Mathematics 221, Springer 1971 (doi:10.1007/bfb0059396, MR0327863).
Charles Rezk, Generalizing accessible ∞-categories, 2021 (pdf).
Last revised on December 13, 2023 at 13:02:12. See the history of this page for a list of all contributions to it.