Weak Vopěnka's Principle does not imply Vopěnka's Principle

  title={Weak Vopěnka's Principle does not imply Vopěnka's Principle},
  author={Trevor M. Wilson},
  journal={Advances in Mathematics},

Vop\v{e}nka's principle in $\infty$-categories

In this article, the interplay between Vopěnka’s principle, as well as its weaker counterpart, and presentable ∞-categories is studied. Analogous statements, arising after replacing categories with

The large cardinal strength of Weak Vop\v{e}nka's Principle.

We show that Weak Vop\v{e}nka's Principle, which is the statement that the opposite category of ordinals cannot be fully embedded into the category of graphs, is equivalent to the large cardinal



On injectivity in locally presentable categories

AbstractWe show that some fundamental results about projectivity classes, weakly coreflective subcate-gories and cotorsion theories can be generalized from R -modules to arbitrary locally

The Higher Infinite

Unexpected properties of locally presentable categories

Locally presentable categories are precisely those complete categories which have a small dense subcategory. Every subcategory of a locally presentable category (i) has a small dense subcategory,

On full embeddings of categories of algebras

A rigid relation exists on any set


By analyzing the notion of C(n)-cardinal at various levels of the usual hierarchy of large cardinal principles, it is shown that, starting at the level of superstrong cardinals and up to thelevel of rank-into-rank embeddings, C( n)-cardinals form a much finer hierarchy.

london mathematical society lecture note series

Denis Benois. Trivial zeros of p-adic L-functions and Iwasawa theory. We prove that the expected properties of Euler systems imply quite general MazurTate-Teitelbaum type formulas for derivatives of

Locally Presentable And Accessible Categories

The locally presentable and accessible categories is universally compatible with any devices to read, and can be searched hundreds of times for their chosen readings, but end up in harmful downloads.