Australian Category Seminar

Some basic facts on $\kappa$-filtered colimits were reviewed. Right $\kappa$-filtered profunctors were introduced, and a number of their properties given. A $\kappa$-accessible category was defined to be a category for which there existed a small set of $\kappa$-presentable objects of which every object was a $\kappa$-filtered colimit.

Homework: show that every small category with split idempotents is $\kappa$-accessible for some $\kappa$.