. We recast dataflow in a modern categorical light using profunctors as a generalisation of relations. The well known causal anomalies associated with relational semantics of indeterminate dataflow are avoided, but still we preserve much of the intuitions of a relational model. The development fits with the view of categories of models for concurrency and the general treatment of bisimulation they provide. In particular it fits with the recent categorical formulation of feedback using traced monoidal categories. The payoffs are: (1) explicit relations to existing models and semantics, especially the usual axioms of monotone IO automata are read off from the definition of profunctors, (2) a new definition of bisimulation for dataflow, the proof of the congruence of which benefits from the preservation properties associated with open maps and (3) a treatment of higherorder dataflow as a biproduct, essentially by following the geometry of interaction programme. 1 Introduction A fundament...

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

In this paper, we give a novel abstract description of Szabo’s polycategories. We use the theory of double clubs – a generalisation of Kelly’s theory of clubs to ‘pseudo ’ (or ‘weak’) double categories – to construct a pseudo-distributive law of the free symmetric strict monoidal category pseudocomonad on Mod over itself qua pseudomonad, and show that monads in the ‘two-sided Kleisli bicategory’ of this pseudo-distributive law are precisely symmetric polycategories. 1

We provide an analog of Tannaka Theory for Hopf algebras in the context of crossed Hopf group coalgebras introduced by Turaev. Following Street and our previous work on the quantum double of crossed structures, we give a construction, via Tannaka Theory, of the quantum double of crossed