Search Results

Publisher Description

In this paper we develop the categorical foundations needed for working out completely the rigorous approach to the definition of conformal field theory outline

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework ess

This volume contains the articles contributed to the Conference on Categorical Algebra, held June 7-12,1965, at the San Diego campus of the University of Califo