In this paper we develop the categorical foundations needed for working out completely the rigorous approach to the definition of conformal field theory outlined by Graeme Segal. We discuss pseudo algebras over theories and 2-theories, their pseudo morphisms, bilimits, bicolimits, biadjoints, stacks, and related concepts. These 2-categorical concepts are used to describe the algebraic structure on the class of rigged surfaces. A rigged surface is a real, compact, not necessarilyconnected, two dimensional manifold with complex structure and analytically parametrized boundary components. This class admits algebraic operations of disjoint union and gluing as well as a unit. These operations satisfy axioms such as unitality and distributivity up to coherence isomorphisms whichsatisfy coherence diagrams. These operations, coherences, and their diagrams are neatly encoded as a pseudo algebra over the 2-theory of commutative monoids with cancellation. A conformal field theory is a morphism of stacks of such structures. This paper begins with a review of 2-categorical concepts, Lawvere theories, and algebras over Lawvere theories. We prove that the 2-category of small pseudo algebras over a theory admits weighted pseudo limits and weighted bicolimits. This 2-category isbiequivalent to the 2-category of algebras over a 2-monad with pseudo morphisms. We prove that a pseudo functor admits a left biadjoint if and only if it admits certain biuniversal arrows. An application of this theorem implies that the forgetful 2-functor for pseudo algebras admits a leftbiadjoint. We introduce stacks for Grothendieck topologies and prove that the traditional definition of stacks in terms of descent data is equivalent to our definition via bilimits. The paper ends with a proof that the 2-category of pseudo algebras over a 2-theory admits weighted pseudo limits. This result is relevant to the definition of conformal field theory because bilimits are necessary to speak of stacks.

In this paper, we develop the categorical foundations needed for working out completely the rigorous approach to the definition of conformal field theory outlined by Graeme Segal. We discuss pseudo algebras over theories and 2-theories, their pseudo morphisms, bilimits, bicolimits, biadjoints, stacks, and related concepts. These 2-categorical concepts are used to describe the algebraic structure on the class of rigged surfaces. A rigged surface is a real, compact, not necessarily connected, two dimensional manifold with complex structure and analytically parametrized boundary components. This class admits algebraic operations of disjoint union and gluing as well as a unit. These operations satisfy axioms such as unitality and distributivity up to coherence isomorphisms which satisfy coherence diagrams. These operations, coherences, and their diagrams are neatly encoded as a pseudo algebra over the 2-theory of commutative monoids with cancellation.

Various subsets of the tracial state space of a unital C$*$-algebra are studied. The largest of these subsets has a natural interpretation as the space of invariant means. II$ 1$-factor representations of a class of C$*$-algebras considered by Sorin Popa are also studied. These algebras are shown to have an unexpected variety of II$ 1$-factor representations. In addition to developing some general theory we also show that these ideas are related to numerous other problems inoperator algebras.

The author develops the limit relations between the errors of polynomial approximation in weighted metrics and apply them to various problems in approximation theory such as asymptotically best constants, convergence of polynomials, approximation of individual functions, and multidimensional limit theorems of polynomial approximation.

This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT. This year the conference was held in Udine, Italy, September 7-10, 2009. The 23 full papers were carefully reviewed and selected from 42 submissions. They are presented together with four invited talks and workshop papers from the CALCO-tools Workshop. The conference was divided into the following sessions: algebraic effects and recursive equations, theory of coalgebra, coinduction, bisimulation, stone duality, game theory, graph transformation, and software development techniques.

Let $R$ be a polynomial ring over an algebraically closed field and let $A$ be a standard graded Cohen-Macaulay quotient of $R$. The authors state that $A$ is a level algebra if the last module in the minimal free resolution of $A$ (as $R$-module) is of the form $R(-s)a$, where $s$ and $a$ are positive integers. When $a=1$ these are also known as Gorenstein algebras. The basic question addressed in this paper is: What can be the Hilbert Function of a level algebra? The authors consider the question in several particular cases, e.g., when $A$ is an Artinian algebra, or when $A$ is the homogeneous coordinate ring of a reduced set of points, or when $A$ satisfies the Weak Lefschetz Property. The authors give new methods for showing that certain functions are NOT possible as the Hilbert function of a level algebra and also give new methods to construct level algebras. In a (rather long) appendix, the authors apply their results to give complete lists of all possible Hilbert functions in the case that the codimension of $A = 3$, $s$ is small and $a$ takes on certain fixed values.