We study the different guises of the projective objects in Cocont(Q): they are the “completely distributive ” cocomplete Q-categories (the left adjoint to the Yoneda embedding admits a further left adjoint); equivalently, they are the “totally continuous ” cocomplete Q-categories (every object is the supremum of the presheaf of objects “totally below ” it); and also are they the Q-categories of regular presheaves on a regular Q-semicategory. As a particular case, the Q-categories of presheaves on a Q-category are precisely the “totally algebraic” cocomplete Q-categories (every object is the supremum of the “totally compact” objects below it). We think that these results should be part of a yet-to-beunderstood “quantaloid-enriched domain theory”. 1

Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t means for a morphism of a bicategory to be a projective equivalence is defined; this concept is related to "strongly separable " Frobenius algebras and "weak monoidal Morita equivalence". Wreath products of Frobenius algebras are discussed.

The paper is in essence a survey of categories having φ-weighted colimits for all the weights φ in some class Φ. We introduce the class Φ + of Φ-flat weights which are those ψ for which ψ-colimits commute in the base V with limits having weights in Φ; and the class Φ − of Φ-atomic weights, which are those ψ for which ψ-limits commute in the base V with colimits having weights in Φ. We show that both these classes are saturated (that is, what was called closed in the terminology of [AK88]). We prove that for the class P of all weights, the classes P + and P − both coincide with the class Q of absolute weights. For any class Φ and any category A, we have the free Φ-cocompletion Φ(A) of A; and we recognize Q(A) as the Cauchy-completion of A. We study the equivalence between (Q(A op)) op and Q(A), which we exhibit as the restriction of the Isbell adjunction between [A, V] op and [A op, V] when A is small; and we give a new Morita theorem for any class Φ containing Q. We end with the study of Φ-continuous weights and their relation to the Φ-flat weights. 1

Much Australian work on categories is part of, or relevant to, the development of higher categories and their theory. In this note, I hope to describe some of the origins and achievements of our efforts that they might perchance serve as a guide to the development of aspects of higher-dimensional work. I trust that the somewhat autobiographical style will add interest rather than be a distraction. For so long I have felt rather apologetic when describing how categories might be helpful to other mathematicians; I have often felt even worse when mentioning enriched and higher categories to category theorists. This is not to say that I have doubted the value of our work, rather that I have felt slowed down by the continual pressure to defend it. At last, at this meeting, I feel justified in speaking freely amongst motivated researchers who know the need for the subject is well established. Australian Category Theory has its roots in homology theory: more precisely, in the treatment of the cohomology ring and the Künneth formulas in the book by Hilton and Wylie [HW]. The first edition of the book had a mistake concerning the cohomology ring of a product. The Künneth formulas arise from splittings of the natural short exact sequences