Mathematics needed for higher dimensional category theory? I'm a undergrad(third year, Manchester uni and want to do a PhD) that is thinking of doing a PhD in this area or category theory in general.(Sorry for asking it here, Maths exchange stack didn't help as asked twice last week and then today, I spend like an hour a day worrying about what I'm studying and what I should study). Imagine a chess board and you need to move a piece, how you know you are moving the best piece?, now times that by a thousand. 
Just wondering, what branches of Maths should I focus on? As I've been told that topology particular Algebraic topology is the main area for this. A lecturer told me I should focus on getting down Algebraic topology before thinking of doing category theory as most of the examples of category theory are from algebraic topology.
However, another lecturer told me I should be doing logic and particular model theory. I can take a course in it this year, but would mean not doing commutative algebra.
So before you delete this can you please tell me what I should be studying? As it would save me countless hours of worrying if I'm doing the right subjects. 
P.S. I can do most of the stuff in Conceptual Mathematics category book. I don't understand topoi through.
 A: As many other have just said you cannot think to study just some particular subjects ignoring some other areas, expecially if you want to do research. 
Most of math was born from the observation of some similar phenomena in many different areas: for instance the concept of category itself was born from the observation that in math we deal every time with collections of structures and morphisms preserving those structures, that led to the abstraction of category, similarly I strongly doubt that Grothendieck could invent the concept of (generalized) sheaf if first he hadn't known the many concrete sheaves that appear in topology, differential geometry and algebraic geometry, so it couldn't get to the concept of (Grothendieck's) topos, and without that I'm not so sure that Lawvere could get to the concept of elementary topos while doing his research in logic. This are just some example of as math have evolved thanks to interaction of different areas (for instance, as you can see in the example above, from interaction of  geometry and logic). 
Just to answer to your comment about analysis there's a professor in Italy who studies higher dimensional category theory for his research in analysis, so analysis need higher category theory. 
Of course the best place where you can get a lot of intuition of higher category theory is algebraic topology where higher categories are used to model homotopy types for topological spaces, via $\infty$-groupoids, and directed space, via $(n,r)$-categories where $n,r \in \omega \cup \{\infty\}$ but you can find a lot of higher dimensional category theory in logic and computer science too, I've seen some application in calculability theory and model theory where (higher) category theory is used to model the semantic of theories, in particular type theory  (if you're interested in application of higher categorical logic-model theory you can take a look to Makkai's work and also Mike Shulman's work on homotopy type theory). Also in mathematical physics there are a lot of higher category theory as John Baez's work prove.
I suppose above you were referring to Cheng-Lauda "Illustrated guide book", that's a good book if you want to learn many approaches to $n$-categories, but in higher category theory there's a lot of more then just $(n,r)$-categories (like usually Mr.Shulman says), Leinster's "Higher operads, Higher categories" is more complete from this point of view because it presents a lot of stuff like generalized multicategories/operads or $fc$-multicategories. Anyway if you want some references on higher category theory you can find some here.
Hope this may help you.
(Edit: I've improved a little the answer now that I've found some other references.) 
A: It seems to me that category theory (whether higher or not) may be the worst part of mathematics to approach with a narrow viewpoint --- just topology, or just algebraic geometry, or just logic, or just any one area.  To me, much of the value and beauty of category theory lies in how it exhibits connections and similarities among many areas of mathematics.  
