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

The theory of enriched accessible categories over a suitable base category V is developed. It is proved that these enriched accessible categories coincide with the categories of flat functors, but also with the categories of models of enriched sketches. A particular attention is devoted to enriched locally presentable categories and enriched functors.

It is shown that large classes of nonlinear systems of PDEs, with possibly associated initial and/or boundary value problems, can be solved by the method of order completion. The solutions obtained can be assimilated with Hausdorff continuous functions. The usual Navier-Stokes equations, as well as their various modifications aiming at a realistic modelling, are included as particular cases. The same holds for the critically important constitutive relations in various branches of Continuum Mechanics. The solution method does not involve functional analysis, nor various Sobolev or other spaces of distributions or generalized functions. The general and type independent existence and regularity results regarding solutions presented here have recently been introduced in the literature. ”... provided also if need be that the notion of a solution shall be suitably extended...”