New posts in large-cardinals

On the large cardinals foundations of categories

category-theory set-theory foundations large-cardinals