Australian Category Seminar

It was shown that the 2-category of $\kappa$-accessible categories, $\kappa$-accessible functors and natural transformations is biequivalent to the bicategory of small functors, right $\kappa$-flat profunctors, and natural transformations. This followed from the fact that a $\kappa$-accessible category is equivalent to the category of flat functors from a small category into Set. Also, last week's homework problem was worked out in detail.