Oktoberfest - Category Theory Meeting - October 1995 Tentative speakers list (+ 1 abstract) Dan Christensen Phantom phenomena in triangulated categories Leopold Roman Quantic nuclei and conuclei in several lattices Fox Cofree coalgebras Jim Lambek Bilinear logic and Grishin algebras Dieter Pumpluen The Eilenberg-Moore Algebras of Base-normed Banach Spaces Francisco Marmolejo Continuous families of models Mike Wendt Bochner Integration and Algebraic Theories Robert A. G. Seely Circuits for categories with general context RJ Wood Starred pointed equipments Ioannis Raptis Axiomatic Quantum Timespace Structure: A preamble to the Quantum Topos Conception of the Vacuum Dan Mackinnon A New Construction of the Simplicial 2-Category Bob Rosebrugh Minimal Realization and Process Bicategories (joint work with R. F. C. Walters) This is part of a general program to describe automata as 1-cells of bicategories equipped with various operations. Our goal here is to study reachability, minimization and minimal realization in these bicategories of processes. Along the way we consider appropriate notions of behaviour for morphisms. We use (co)lax (co)monads to describe reachability and minimization. Our main results are minimal realization theorems which extend classical minimal realization to account for serial composition. Xiaomin Dong Span --| Map adjunction in preordered categories Jack Duskin Braided k-algebras Hongde Hu Relative bicompletions and free bicompletions Peter Freyd Paracategories