A 2-categories companion
S Lack - Towards higher categories, 2009 - Springer
A 2-CATEGORIES COMPANION 1. Overview and basic examples. This paper is a rather
informal guide to some of the basic theory of 2- Page 1 A 2-CATEGORIES COMPANION …
informal guide to some of the basic theory of 2- Page 1 A 2-CATEGORIES COMPANION …
[PDF][PDF] Basic bicategories
T Leinster - arXiv preprint math/9810017, 1998 - Citeseer
arXiv:math/9810017v1 [math.CT] 4 Oct 1998 Page 1 arXiv:math/9810017v1 [math.CT] 4 Oct
1998 Basic Bicategories Tom Leinster Department of Pure Mathematics, University of …
1998 Basic Bicategories Tom Leinster Department of Pure Mathematics, University of …
[HTML][HTML] The 2-category theory of quasi-categories
In this paper we re-develop the foundations of the category theory of quasi-categories (also
called∞-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi …
called∞-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi …
One universe as a foundation for category theory
M Barr, P Berthiaume, BJ Day, J Duskin… - Reports of the midwest …, 1969 - Springer
The development of category theory has posed problems for the set theoretic foundations of
Mathematics. These problems arise in the use of collections such as the category of all sets …
Mathematics. These problems arise in the use of collections such as the category of all sets …
[PDF][PDF] Multiple categories: the equivalence of a globular and a cubical approach
FAA Al-Agl, R Brown, R Steiner - arXiv preprint math/0007009, 2000 - arxiv.org
arXiv:math/0007009v3 [math.CT] 17 Dec 2001 Page 1 arXiv:math/0007009v3 [math.CT] 17
Dec 2001 Multiple categories: the equivalence of a globular and a cubical approach Fahd …
Dec 2001 Multiple categories: the equivalence of a globular and a cubical approach Fahd …
Review of the elements of 2-categories
GM Kelly, R Street - … : Proceedings Sydney Category Theory Seminar 1972 …, 2006 - Springer
The purpose of this review is to serve as a common introduction to the authors' papers in this
volume, by collecting together some basic notions needed by each of us, and establishing …
volume, by collecting together some basic notions needed by each of us, and establishing …
Operads in higher-dimensional category theory
T Leinster - arXiv preprint math/0011106, 2000 - arxiv.org
The purpose of this dissertation is to set up a theory of generalized operads and
multicategories, and to use it as a language in which to propose a definition of weak n …
multicategories, and to use it as a language in which to propose a definition of weak n …