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 …

[图书][B] 2-dimensional categories

N Johnson, D Yau - 2021 - books.google.com
Category theory emerged in the 1940s in the work of Samuel Eilenberg and Saunders Mac
Lane. It describes relationships between mathematical structures. Outside of pure …

Icons

S Lack - Applied Categorical Structures, 2010 - Springer
Categorical orthodoxy has it that collections of ordinary mathematical structures such as
groups, rings, or spaces, form categories (such as the category of groups); collections of 1 …

[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 …

[HTML][HTML] The 2-category theory of quasi-categories

E Riehl, D Verity - Advances in Mathematics, 2015 - Elsevier
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 …

[图书][B] Coherence for tricategories

R Gordon, AJ Power, R Street - 1995 - books.google.com
Page 1 |MEMOIRS Of the American Mathematical Society Number 558 Coherence for
Tricategories R. GOrdon AJ POWer ROSS Street September 1995 • Volume ll 7 • Number 558 …

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 …

[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 …

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 …

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 …