This is a collation of the operative parts of a proposal submitted to the NSF concerning

This is a collation of the operative parts of a proposal submitted to the NSF concerning

Cached

Download Links

[www.math.uchicago.edu]

Other Repositories/Bibliography

DBLP

by Categories And Related , Mac Lane Introduced Categories , Natural Transformations

BibTeX

@MISC{Related_thisis,
    author = {Categories And Related and Mac Lane Introduced Categories and Natural Transformations},
    title = {This is a collation of the operative parts of a proposal submitted to the NSF concerning},
    year = {}
}

Bookmark

OpenURL

Abstract

cal structures suggests, then sustained interaction is essential. Bringing people together will result in significant technical progress and significantly greater conceptual understanding of these structures. Despite their complexity, if developed coherently, these structures, like categories themselves, should eventually become part of the standard mathematical culture. PROJECT DESCRIPTION EXPLORATIONS OF HIGHER CATEGORICAL STRUCTURES AND THEIR APPLICATIONS PROPOSED RESEARCH 1. Historical background and higher homotopies Eilenberg and Mac Lane introduced categories, functors, and natural transformations in their 1945 paper [47]. The language they introduced transformed modern mathematics. Their focus was not on categories and functors, but on natural transformations, which are maps between functors. Higher category theory concerns higher level notions of naturality, which can be viewed as maps between natural transformations, and maps between such maps, and so for

Citations

750	Quantum groups - Drinfeld - 1987
191	spaces, characteristic classes and geometric quantization - Brylinski, Loop - 1993
182	Closed categories - Eilenberg, Kelly - 1966
116	Higher-Dimensional Algebra and Topological Quantum Field Theory - Baez, Dolan - 1995
110	On the algebra of cubes - Brown, Higgins - 1981
104	Anomalies in String Theory with D-branes - Freed, Witten
102	Monoidal globular categories as a natural environment for the theory of weak n-categories - Batanin - 1998
88	Four-dimensional topological quantum field theory, Hopf categories, and the canonical basis - Crane, Frenkel - 1994
70	Higher-Dimensional Algebra III: n-Categories and the Algebra of Opetopes - Baez, Dolan
69	Two-dimensional monad theory - Blackwell, Kelly, et al. - 1989
69	homotopy, A∞ categories and Floer homologies - Fukaya, “Morse - 1993
67	Colimit theorems for relative homotopy groups - Brown, Higgins - 1981
63	Introduction to bicategories, in Reports of the Midwest Category Seminar - Bénabou - 1967
63	General theory of natural equivalences - Eilenberg, Lane - 1966
57	On the classification of 2-gerbes and 2-stacks, Astérisque 225 - Breen - 1994
51	Simplicial localization of categories - Dwyer, Kan - 1980
51	Higher algebraic structures and quantization - Freed - 1994
47	Homotopy invariants of higher dimensional categories and concurrency in computer science - Gaucher
43	Calculating simplicial localizations - Dwyer, Kan - 1980
41	Groupoids and crossed objects in algebraic topology. Preprint available at Ronnie Brown’s home - Brown
37	Higher-Dimensional Algebra II: 2-Hilbert Spaces - Baez - 1997
34	Combinatorics of branchings in higher dimensional automata - Gaucher
33	Catégories et structures - Ehresmann - 1965
32	Homotopy commutative diagrams and their realizations - Dwyer, Kan, et al. - 1989
30	Higher-dimensional crossed modules and the homotopy groups of (n - Ellis - 1987
28	Homology of iterated loop spaces - Dyer, Lashoff - 1962
26	Equivalences between homotopy theories of diagrams, in: Algebraic topology and algebraic K-theory - Dwyer, Kan - 1987
24	From concurrency to algebraic topology - Gaucher - 2000
23	Homotopy coherent category theory and A∞-structures in monoidal categories - Batanin - 1998
19	Homotopy coherent category theory - Cordier, Porter - 1997
17	The Geometry and Physics of Knots, Cambridge U - Atiyah - 1990
17	The universal property of the multitude of trees - Batanin, Street
17	Homotopical excision, and Hurewicz theorems, for n-cubes of spaces - Brown, Loday - 1987
16	Kan Complexes and Multiple Groupoid Structures - Dakin - 1977
13	Multiple categories: the equivalence between a globular and cubical approach - Al-Agl, Brown, et al. - 2002
13	Function complexes in homotopical algebra - Dwyer, Kan - 1980
13	Braided compact monoidal categories with applications to low dimensional topology - Freyd, Yetter - 1989
10	Classifying spaces of topological monoids and categories - Fiedorowicz - 1984
9	Floer Homology, A∞-Categories and Topological Field Theory, Lecture Notes in Pure and - Fukaya, Seidel - 1997
8	Investigating The Algebraic Structure of Dihomotopy Types (2001), arxiv:math.AT/0105049, to appear - Gaucher - 2001
7	On Penon method of weakening algebraic structures - Batanin
6	Toplogy of Hn-spaces and H-squaring operations - Araki - 1956
5	An introduction to n-categories, Category theory and computer science (Santa Margherita Ligure - Baez - 1997
5	Differential Geometry of Gerbes, preprint - Breen, Messing - 2001
5	The equivalence of ω-groupoids and cubical T -complexes, Cahiers Topologie Géom. Différentielle 22 - Brown, Higgins - 1981
4	Equivalence between approaches to the theory of opetopes - Cheng - 2000
4	A simplicial-matrix approach to higher dimensional category theory I: nerves of bicategories, preprint - Duskin - 2001
3	Higher dimensional group theory, available at http://www.bangor.ac.uk/∼mas010/hdaweb2.htm - Brown
3	The relationship between the opetopic and multitopic approaches to weak n-categories - Cheng - 2000
3	Homology operations revisited - Fiedorowicz, May - 1982