Ji\v{r}\'i{} Ad\'amek, Ji\v{r}\'i{} Rosick\'y
A remark on accessible and axiomatizable categories

Comment.Math.Univ.Carolinae 37,2 (1996) 411-414.

Abstract:For categories with equalizers the concepts ``accessible'' and ``axiomatizable'' are equivalent. This results is proved under (in fact, is equivalent to) the large-cardinal Vop\v{e}nka's principle.

Keywords: accessible category, infinitary logic, Vop\v{e}nka's principle
AMS Subject Classification: 18B99, 03C99

PDF