6
$\begingroup$

As I'm constantly running across higher categories these days, I'm wondering what is a good starting point to get into the theory?

While I am aware of nLab and the n-Category Café, I am having a real hard time getting into the material provided. One reason for this is: afaik there is no generally favored way of defining higher categories, and different approaches lead to different properties / results / theories. This naturally leads to lots and lots of texts concerned with fundamental questions, such as comparison of these different approaches, which I am not interested in too much.

Lets be a little more precise with what I'm actually looking for: A straight forward introduction to one theory of weak higher categories, with applications in algebraic topology.

I hope someone here has already went through this search and is willing to post a guideline or at least some recommendations.

Update:

After a complete day of searching the web, I have finally found something very promising although it seems to only deal with strict $\omega$-groupoids: The still to be published book Nonabelian Algebraic Topology by Ronald Brown, Philip J. Higgins and Rafael Sivera. A draft is downloadable on this website too.

  • 0
    Ok, thank you. No I did really mean cubical. Several constructions you would like to have will be significantly easier, or at least less technical. Note for example that $\Delta\times I$ is not a simplex.2011-03-25

1 Answers 1

1

I learned from Baez's article http://arxiv.org/abs/q-alg/9705009v1, which is also loaded with references.