Presents categorical foundations that are needed for working out completely the rigorous approach to the definition of conformal field theory outlined by Graeme Segal. This book discusses pseudo algebras over theories and 2-theories, their pseudo morphisms