Yoneda Structures from 2-toposes

A 2-categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling one to exhibit objects as cocomplete in the sense definable within a yoneda structure are presented. Examples relevant to the globular approach to higher dimensional category theory are discussed. This paper also contains some expository material on the theory of fibrations internal to a finitely complete 2-category [Str74b] and provides a self-contained development of the necessary background material on yoneda structures.

• Type: Journal
• Year: 2007
• Where: ACS
• Authors: Mark Weber
• Keywords: 2-categorical Generalisation, ACS 2007, Distributed And Parallel Computing, Elementary Topos, Yoneda Structures