Please note: You are viewing the unstyled version of this web site. Either your browser does not support CSS (cascading style sheets) or it has been disabled.

Macquarie University  Department of Mathematics

Local Navigation

Workshop on Categorical Methods in Algebra, Geometry and Mathematical Physics

Satellite to the StreetFest conference in honour of Ross Street's sixtieth birthday

July 18-21 2005, Australian National University, Canberra

Wed, 20 July:  17:00 - 17:40

Analytic cosmoi
Weber, Mark (Ottawa University)

In the early 1970's Ross Street introduced the notion of ``cosmos", which is a 2-categorical analogue of ``elementary topos". In this talk a 2-categorical analogue of ``elementary topos with NNO (natural numbers object)", called ``analytic cosmos", will be presented.

The theory of operads and analytic functors works in general inside an analytic cosmos and applications to higher category theory will be discussed.

Typeset PDF of this abstract.