Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I have not read anything throughly on higher categories. I am only consuice that in higher categories, we have higher dimensional cells, after adjusting the intuition that 0, 1, 2 dimensional cells are respectively, objects, morphisms, and commuting squares. This terminology is similar to what we can get out of just an arrow construction, as it follows:

Given a category $\mathcal{C}$, the object of an arrow category $\mathcal{C^{\rightarrow}}$ are morphisms of $\mathcal{C}$ and morphisms of $\mathcal{C}$ are commuting squares. Another way to think of an arrow category is considering $\mathcal{C^{\rightarrow}}$ as $\mathcal{C}^{2}$, the category of functors from $2$ to $\mathcal{C}$, where $2$ is the category $$0 \longrightarrow1$$and a morphisms of $F: 2 \longrightarrow \mathcal{C}$ and $G: 2 \longrightarrow \mathcal{C}$ is a natural transformations of $F$ and $G$, which is actully a functor $\phi:2 \times 2 \longrightarrow \mathcal{C}$. Moreover, this construction is functorial, i.e. it yields an endofunctor $A$r: Cat $\rightarrow$ Cat, which I call the arrow functor.

Now, for a given category $\mathcal{C}$ (just for the purpose of this question) let $$\mathcal{C} ^ {\stackrel{\rightarrow} {n}}$$ denote the category which is obtained by n-times iterating of Ar, with the convention that $\mathcal{C}^{\stackrel{\rightarrow} {1}}$ is the usual arrow category and $\mathcal{C}^{\stackrel{\rightarrow} {0}}$ is $\mathcal{C}$ itself. So, for example the objects and morphisms of $\mathcal{C}^{\stackrel{\rightarrow} {2}}$ are respectively pairs of morphisms and commuting squares in $\mathcal{C}^{\stackrel{\rightarrow} {1}}$. But, as morphisms of $\mathcal{C}^{\stackrel{\rightarrow} {1}}$ are again commuting squares in $\mathcal{C}^{\stackrel{\rightarrow} {0}}$, we can think of objects and morphisms of $\mathcal{C}^{\stackrel{\rightarrow} {2}}$ respectively as commuting squares and commuting cubes in $\mathcal{C}$. Generally, objects and morphisms of $\mathcal{C}^{\stackrel{\rightarrow} {n}}$ are respectively n-dimensional and n+1-dimensional cubes in $\mathcal{C}$, where an $i$-dimensional cube is a functor $$F:2 \times 2 \times ...\times 2 \longrightarrow \mathcal{C}$$

Question: Can $\mathcal{C}^{\stackrel{\rightarrow}{n}}$ model higher categories? What about the category $\mathcal{C}^{\stackrel{\rightarrow}{\infty}}$ which has all $\mathcal{C}^{\stackrel{\rightarrow}{i}}$ while ($i \in \mathbb{N}$) as objects and functors between them as morphisms. (Not too sure about this. What would be an appropriate class of morphisms between $\mathcal{C}^{\stackrel{\rightarrow}{n}}$ and $\mathcal{C}^{\stackrel{\rightarrow}{m}}$ anyway? Please, let me know if this construction is of any relevance to higher category theory. This might help me learning some higher category theory.

Thank you.

share|improve this question
1  
Homming out of $2 \times \cdots \times 2$ is not irrelevant to higher categorical considerations: it's the kind of thing that does come up. But I don't think there's any meaningful sense in which this process "models" higher categories. –  Tom Leinster Nov 27 '12 at 2:32
    
Tom - it's in my answer, but higher groupoids are at least modelled by $n$-fold groupoids, assuming the homotopy hypothesis. Not that you can extract much useful from said relationship.... –  David Roberts Nov 27 '12 at 2:43
    
Corrected the typo in the title, might as well now that I've bumped by answering. –  David Roberts Nov 27 '12 at 2:44
    
OK, David, though I think you're being very generous in your interpretation of the question. I don't think the question "can $C^{\vec{n}}$ model higher categories?" means much, and if it does, I think the answer must be no. –  Tom Leinster Nov 27 '12 at 3:03
2  
My tendency is to write $2$ or $\mathbf{2}$ for the walking arrow, and $|2|$ for the discrete category. –  Todd Trimble Nov 27 '12 at 12:21

2 Answers 2

up vote 7 down vote accepted

The construction you describe yields, for any category, an $n$-fold category (nLab), a concept originally introduced by Ehresmann. This can be defined iteratively using the language of internal categories, namely a 1-fold category is just a category, a 2-fold category (or double category, as they have been called) is a category internal to the category of 1-fold categories, and more generally, an $(n+1)$-fold category is a category internal to the category of $n$-fold categories. There is a functor $Cat \to nFoldCat$ sending a category $C$ to the construction $C^{\stackrel{\rightarrow}{n}}$ you describe. Note however, that an $n$-fold category arising in this way comes with a whole bunch of structure inherited from the inclusions $\stackrel{\rightarrow}{n} \hookrightarrow \stackrel{\rightarrow}{m}$ for $n\lt m$.

Concretely, a double category is given by vertical and horizontal arrows, both of which share the same objects, and squares, which have a vertical source and target (which are horizontal arrows) and a horizontal source and target (which are vertical arrows). There are definitely double categories which do not arise as $C^{\stackrel{\rightarrow}{2}}$ for some category $C$. For example, one can take a strict 2-category $K$ and send it to the double category with horizontal and vertical arrows just the arrows of $K$, and the squares are squares in $K$ which commute up to a specified 2-arrow of $K$.

It is a somewhat remarkable result that $n$-fold groupoids (a strict structure) can actually model homotopy $n$-types, which is one form of the homotopy hypothesis. Ronnie Brown is fond of recounting the amazement of Grothendieck when he learned this, as at the time he was thinking about defining weak $n$-groupoids to do this job (this is during the correspondence surrounding the writing of the manuscript Pursuing Stacks).

As you point out, one can take $n \to \infty$, and have $\infty$-fold categories. There is a result of Brown and Higgins that strict $\infty$-categories (also called strict $\omega$-categories) are precisely $\infty$-fold categories satisfying some (rather strong) properties.

Note however that modern approaches to higher categories don't use $n$-fold categories on their own, but do pop up in much more complicated guise as $n$-fold complete Segal spaces, but I think if you are starting out with higher categories, you may want to get some material under your belt before going there.

share|improve this answer
1  
I should add that the n-fold categories defined by the OP are themselves completely useless for discussing higher categories. I just wanted to point out that they are examples of structures that have popped up (albeit in the 1960s) in the search for $n$-categories. –  David Roberts Nov 27 '12 at 23:52
1  
I don't understand the import of David's remark on "completely useless". Loday's cat$^n$-groups, which are $n$-fold categories internal to groups, have some specific uses in homotopy theory, for some nonabelian higher dimensional calculations. This should be relevant to the so-called "homotopy hypothesis"; but is all this completely irrelevant to current higher category theory, and vice versa? –  Ronnie Brown Nov 29 '12 at 11:03
1  
Hi Ronnie, I agree that n-fold categories are useful, and even used in modern approaches to higher categories: n-fold Segal spaces are a variant of up-to-homotopy n-fold categories internal to sSet. But if all one could use were those n-fold categories arising from ordinary categories, as defined in the question, then it wouldn't be much use, because I think they don't give you more information than the original category. However, I took this as an opportunity to advertise the more general case, hence Tom's comment that I was being generous. –  David Roberts Nov 29 '12 at 21:01
    
I am on the lookout for approaches to higher categories which are closely related to things in which I have been involved, (of course!) hence my emphasis on more cubical approaches; so I keep on expecting a cubical version of say Joyal's notes on quasicategories, based on a study of the singular cubical complex of a space. There are papers on double categories in which one of the structures is weak. So I like the intuition of the OP. –  Ronnie Brown Dec 1 '12 at 11:49

array

@David: An advantage of strict $n$-fold categories is that they can express in a simple way the above diagram in the form of "the big square is the composition of the little squares"; namely one defines a composable array $(a_{ij})$ to be an array of elements such that each is composable with its immediate neighbours. Then by associativity and the interchange law, the composite $[a_{ij}]$ is well defined. This "algebraic inverse to subdivision", which is easily extended to higher dimensions, is used extensively by Higgins and me in proving a Higher Homotopy Seifert-van Kampen theorem, in the paper available here. I do not know how to develop analogous methods in the globular or simplicial contexts; simplicial methods, but not of the higher categorical type, are used by Brown and Loday to prove their version of a HHSvKT. All these bring nonabelian colimit methods into homotopy theory.

I'll also mention that Brown and Higgins proved a groupoid result on the equivalence between strict cubical and globular $\omega$-groupoids, and the analogous but more difficult category result was proved by Al-Agl, Brown, and Steiner. The references are on the (updated) ncatlab page given by David.

Later: for complete clarity, though I expect it will be clear, I just add that if $a_{ij}$ is not at the edge of the square, then its immediate neighbours are: $a_{i-1,j}, a_{i+1,j}, a_{i,j-1}, a_{i,j+1}$, and the rule for composability of two squares is that their appropriate edges agree. My papers with Higgins contain lots of 2-dimensional rewriting, using the interchange law; and the paper with Al-Agl and Steiner contains a 3-dimensional rewriting argument to obtain a braid relation.

share|improve this answer
1  
By Brown do you mean yourself? –  Martin Brandenburg Nov 28 '12 at 14:39
5  
@Martin: yes, the same Brown. –  Todd Trimble Nov 28 '12 at 14:48

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.