Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorSridharRamesh
   • CommentTimeDec 25th 2010
   • (edited Dec 25th 2010)
   • PermaLink
   Author: SridharRamesh
   Format: MarkdownItexLet me say at the outset that, while I grok strict n-categories perfectly well, my grasp on weak n-categories is embarrassingly poor, and similarly, I have no real familiarity with homotopy either. So please forgive my blazing ignorance/naivete here, which I hope to begin to ameliorate somewhat. It often seemed to me that one of the main motivations for an account of weak n-categories, in generality beyond a definition essentially equivalent to strict n-categories, is to be able to give an account of homotopy n-types. I gather the idea is that, if paths are thought of as maps out of [0, 1], then composition of paths is not, as one might naively assume, strictly assocative (as a side effect of the reparametrization of composed paths into length 1), but only associative up to homotopy, and this presents enough room for there to be fundamental n-groupoids which are not equivalent to any strict n-category (e.g., I'm under the impression the automorphism braided monoidal category on the identity 1-cell of any 0-cell of the fundamental 3-groupoid of the 2-sphere is not symmetric, and thus this weak 3-category is not equivalent to any strict one). Which is all well and good. Except, it seems to me, in my naivete, that there is a sense in which path composition is strictly associative (including strict identity laws), so long as one allows paths to have domain [0, k] for any length k, so that the composition of paths of length x, y, z, ..., is a path of length x + y + z + ... . In thinking along such lines, it seemed to me, in my rough thoughts unhindered by experience, that perhaps the more appropriate way to think about homotopy would be via strict _double_ (more generally, _n-fold_) categories, as opposed to mere n-categories (in particular, my inchoate thoughts were that [I apologize if the following doesn't make any sense; remember, I don't actually know what I'm talking about, so feel free to skip this parenthetical] such a framework is usefully able to encompass possibilities like that there can be a homotopy square all of whose edges are constant paths of length 1 at point p which is not equivalent to any square all of whose edges are the identity path of length 0 at point p, even though there is a homotopy between the constant path of length 1 at point p and the identity path of length 0 at point p, and that this sort of thing keeps the Eckman-Hilton argument for braiding from implying the braiding's symmetry in the cases where it oughtn't). Anyway, in looking for more information on thinking about higher homotopy using strict n-fold categories, on the nlab I see it mentioned that strict n-fold groupoids can indeed model all homotopy n-types. Which brings me to my main question: I'm not sure exactly what that statement technically amounts to, but since it seems to indicate that higher homotopy can be perfectly well modelled with suitable _strict_ higher-dimensional structures, I'm left wondering what the motivation is again for using weak n-categories instead. Why do we want weak n-categories and not just the strict n-fold categories which can apparently model the motivating applications in homotopy as well with the added benefit of having presumably a much simpler/better understood/universally accepted definition? In a nutshell, as someone who never quite fully got it (a terrible position to be in around here), remind me why weakness is really, inescapably important?

   Let me say at the outset that, while I grok strict n-categories perfectly well, my grasp on weak n-categories is embarrassingly poor, and similarly, I have no real familiarity with homotopy either. So please forgive my blazing ignorance/naivete here, which I hope to begin to ameliorate somewhat.

   It often seemed to me that one of the main motivations for an account of weak n-categories, in generality beyond a definition essentially equivalent to strict n-categories, is to be able to give an account of homotopy n-types. I gather the idea is that, if paths are thought of as maps out of [0, 1], then composition of paths is not, as one might naively assume, strictly assocative (as a side effect of the reparametrization of composed paths into length 1), but only associative up to homotopy, and this presents enough room for there to be fundamental n-groupoids which are not equivalent to any strict n-category (e.g., I’m under the impression the automorphism braided monoidal category on the identity 1-cell of any 0-cell of the fundamental 3-groupoid of the 2-sphere is not symmetric, and thus this weak 3-category is not equivalent to any strict one).

   Which is all well and good. Except, it seems to me, in my naivete, that there is a sense in which path composition is strictly associative (including strict identity laws), so long as one allows paths to have domain [0, k] for any length k, so that the composition of paths of length x, y, z, …, is a path of length x + y + z + … . In thinking along such lines, it seemed to me, in my rough thoughts unhindered by experience, that perhaps the more appropriate way to think about homotopy would be via strict double (more generally, n-fold) categories, as opposed to mere n-categories (in particular, my inchoate thoughts were that [I apologize if the following doesn’t make any sense; remember, I don’t actually know what I’m talking about, so feel free to skip this parenthetical] such a framework is usefully able to encompass possibilities like that there can be a homotopy square all of whose edges are constant paths of length 1 at point p which is not equivalent to any square all of whose edges are the identity path of length 0 at point p, even though there is a homotopy between the constant path of length 1 at point p and the identity path of length 0 at point p, and that this sort of thing keeps the Eckman-Hilton argument for braiding from implying the braiding’s symmetry in the cases where it oughtn’t).

   Anyway, in looking for more information on thinking about higher homotopy using strict n-fold categories, on the nlab I see it mentioned that strict n-fold groupoids can indeed model all homotopy n-types. Which brings me to my main question: I’m not sure exactly what that statement technically amounts to, but since it seems to indicate that higher homotopy can be perfectly well modelled with suitable strict higher-dimensional structures, I’m left wondering what the motivation is again for using weak n-categories instead. Why do we want weak n-categories and not just the strict n-fold categories which can apparently model the motivating applications in homotopy as well with the added benefit of having presumably a much simpler/better understood/universally accepted definition? In a nutshell, as someone who never quite fully got it (a terrible position to be in around here), remind me why weakness is really, inescapably important?

2. • CommentRowNumber2.
   • CommentAuthorTim_Porter
   • CommentTimeDec 25th 2010
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItex@Sridar. The Moore category of a space (which is what you describe) is a strict category, but it has multiple copies of the same geometric thing, such as constant paths of all lengths as you mention. To give a more useful gadget one forms the fundamental groupoid, dividing out by the reindexing that gave the possibility of the multiple copies. If you try to do the same for '2-dimensional paths', life gets interesting. there is a construction by Hardie, Kamps, and Kieboom. What becomes clear is that the reindexing process is giving a space of choices for composites, reverses, etc., and that that space is contractible, so one naturally is inching toward the weak version of things. The constructions then start looking more and more like the singular complex of the space. There the composites are defined by the filling process and you naturally get a weak infinitiy groupoid in the process. You can work with Moore cubes (recent preprint by Ronnie Brown on this) but there is a lot of technical complexity in that. A different interpretation of your vague and rambling question(s) is that the strict models are good, but if you need to move around from one model of a space to another, you immediately need the extra room of weak structures to make you life easier. Using strict things the whole time is a constraint. Whitehead's combinatorial homotopy was an attempt to do homotopy theory in a combinatorial way, similarly to the combinatorial group theory of Reidemeister. It hits the problem that there are homotopy equivalences that are not 'constructible' from elementary moves. Another partial answer is we want weak n-categories, because they are *there* and we need to understand them. (I don't thing we yet understand them at all deeply! I come back time and time again to saying that the way the higher coherences of n-category theory should be linkable more closely with analogues of the Whitehead products, and then the higher homotopy operations. Perhaps that would provide a neater way of understanding those structures, 'cause I don't fully understand them from the classical viewpoint of algebraic topology!) The result of Loday (3rd para) that you mention is interesting because if you try to work with the crossed squares modelling a 3-type, it seems hard to determine what way to get from one such to another in an elementary way. That is worth playing with, but is infuriating as the ideas are quite simple but the calculations hard. If you use the bisimplicial groups that correspond to encoding the compositions etc. then it is easier. You have given your self more space to work in, but have also weakened the models to do so. These 'answers' are as rambling and vague as your question, but i hope they suggest some answers (or some refinements of the question).

   @Sridar. The Moore category of a space (which is what you describe) is a strict category, but it has multiple copies of the same geometric thing, such as constant paths of all lengths as you mention. To give a more useful gadget one forms the fundamental groupoid, dividing out by the reindexing that gave the possibility of the multiple copies. If you try to do the same for ’2-dimensional paths’, life gets interesting. there is a construction by Hardie, Kamps, and Kieboom. What becomes clear is that the reindexing process is giving a space of choices for composites, reverses, etc., and that that space is contractible, so one naturally is inching toward the weak version of things. The constructions then start looking more and more like the singular complex of the space. There the composites are defined by the filling process and you naturally get a weak infinitiy groupoid in the process. You can work with Moore cubes (recent preprint by Ronnie Brown on this) but there is a lot of technical complexity in that.

   A different interpretation of your vague and rambling question(s) is that the strict models are good, but if you need to move around from one model of a space to another, you immediately need the extra room of weak structures to make you life easier. Using strict things the whole time is a constraint. Whitehead’s combinatorial homotopy was an attempt to do homotopy theory in a combinatorial way, similarly to the combinatorial group theory of Reidemeister. It hits the problem that there are homotopy equivalences that are not ’constructible’ from elementary moves.

   Another partial answer is we want weak n-categories, because they are there and we need to understand them. (I don’t thing we yet understand them at all deeply! I come back time and time again to saying that the way the higher coherences of n-category theory should be linkable more closely with analogues of the Whitehead products, and then the higher homotopy operations. Perhaps that would provide a neater way of understanding those structures, ’cause I don’t fully understand them from the classical viewpoint of algebraic topology!)

   The result of Loday (3rd para) that you mention is interesting because if you try to work with the crossed squares modelling a 3-type, it seems hard to determine what way to get from one such to another in an elementary way. That is worth playing with, but is infuriating as the ideas are quite simple but the calculations hard. If you use the bisimplicial groups that correspond to encoding the compositions etc. then it is easier. You have given your self more space to work in, but have also weakened the models to do so.

   These ’answers’ are as rambling and vague as your question, but i hope they suggest some answers (or some refinements of the question).

3. • CommentRowNumber3.
   • CommentAuthorTobyBartels
   • CommentTimeDec 26th 2010
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexOne answer, hinted at by Tim, and (presumably) sufficient for any mathematical structure, is that there *are* examples, and we want to think about them. So for example, even while one *can* use Moore paths, one sometimes wants maps from $[0,1]^n$, and then one has a weak structure. Or, many examples of monoidal categories, perhaps all of the usual ones, are weak, and these are weak $2$-categories. Of course, every monoidal category is at least *equivalent* to a strict one, and indeed every $2$-category is equivalent to a strict one, one one still needs weak $2$-functors to make this work. And then $2$Cat itself is an example of a weak $3$-category! For those of us who are interested in keeping the foundations of mathematics weak, another motivation is that making weak structures strict sometimes requires impredicative reasoning or the axiom of choice. (I don't know if this is the case with modelling weak homotopy types using strict $n$-fold categories, but I suspect not.) This reason is important to me, but I appreciate that it doesn't appeal much to most people.

   One answer, hinted at by Tim, and (presumably) sufficient for any mathematical structure, is that there are examples, and we want to think about them.

   So for example, even while one can use Moore paths, one sometimes wants maps from $[0,1]^n$, and then one has a weak structure.

   Or, many examples of monoidal categories, perhaps all of the usual ones, are weak, and these are weak $2$-categories. Of course, every monoidal category is at least equivalent to a strict one, and indeed every $2$-category is equivalent to a strict one, one one still needs weak $2$-functors to make this work. And then $2$Cat itself is an example of a weak $3$-category!

   For those of us who are interested in keeping the foundations of mathematics weak, another motivation is that making weak structures strict sometimes requires impredicative reasoning or the axiom of choice. (I don’t know if this is the case with modelling weak homotopy types using strict $n$-fold categories, but I suspect not.) This reason is important to me, but I appreciate that it doesn’t appeal much to most people.

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeDec 27th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI suppose that people talk about nonassociativity of path composition since it is easy to explain, but it is a poor example for the necessity of weakness, since as you note, path composition can be made strictly associative. This is more or less an instance of the same fact that every [[bicategory]] is equivalent to a [[strict 2-category]]. On the other hand, not every [[tricategory]] is equivalent to a [[strict 3-category]], and similarly if you try to make a 3-groupoid out of paths and paths-of-paths and paths-of-paths-of-paths, you'll find that you can't make everything strict at once. If you make associativity and units all strict, such as with Moore paths, then the [[exchange law]] fails to hold on the nose -- this leads you to the [[semi-strict n-category|semi-strict]] notion of a [[Gray-category]]. Regarding strict n-fold groupoids, to expand on Tim's comment: it's not at all clear to me that they "model higher homotopy" in the same way that weak n-groupoids do. I think this is an aspect of the homotopy hypothesis which is insufficiently emphasized: the *way in which* weak n-groupoids model homotopy n-types is by treating the n-groupoids *categorically*. In particular, the notion of "equivalence" of weak n-groupoids that is relevant (i.e. corresponds to the notion of (weak) homotopy equivalence) is the *categorical* notion of equivalence. If you're willing to allow wackier kinds of "equivalence" then already strict 1-categories "model all homotopy types" as in the [[Thomason model structure]]. It's not clear to me whether the type of "equivalence" used to get strict n-fold groupoids to model homotopy types is more "categorical" or "Thomason-like."

   I suppose that people talk about nonassociativity of path composition since it is easy to explain, but it is a poor example for the necessity of weakness, since as you note, path composition can be made strictly associative. This is more or less an instance of the same fact that every bicategory is equivalent to a strict 2-category. On the other hand, not every tricategory is equivalent to a strict 3-category, and similarly if you try to make a 3-groupoid out of paths and paths-of-paths and paths-of-paths-of-paths, you’ll find that you can’t make everything strict at once. If you make associativity and units all strict, such as with Moore paths, then the exchange law fails to hold on the nose – this leads you to the semi-strict notion of a Gray-category.

   Regarding strict n-fold groupoids, to expand on Tim’s comment: it’s not at all clear to me that they “model higher homotopy” in the same way that weak n-groupoids do. I think this is an aspect of the homotopy hypothesis which is insufficiently emphasized: the way in which weak n-groupoids model homotopy n-types is by treating the n-groupoids categorically. In particular, the notion of “equivalence” of weak n-groupoids that is relevant (i.e. corresponds to the notion of (weak) homotopy equivalence) is the categorical notion of equivalence. If you’re willing to allow wackier kinds of “equivalence” then already strict 1-categories “model all homotopy types” as in the Thomason model structure. It’s not clear to me whether the type of “equivalence” used to get strict n-fold groupoids to model homotopy types is more “categorical” or “Thomason-like.”

5. • CommentRowNumber5.
   • CommentAuthorTobyBartels
   • CommentTimeDec 28th 2010
   • PermaLink
   Author: TobyBartels
   Format: MarkdownItexBy the way, even Moore paths are not completely strict; the associativity and units are strict, but the inverses are not! We have the theorem that the fundamental $2$-groupoid of a space is equivalent (as every $2$-groupoid is) to a strict $2$-groupoid, but the Moore paths don't give this directly.

   By the way, even Moore paths are not completely strict; the associativity and units are strict, but the inverses are not! We have the theorem that the fundamental $2$-groupoid of a space is equivalent (as every $2$-groupoid is) to a strict $2$-groupoid, but the Moore paths don’t give this directly.

6. • CommentRowNumber6.
   • CommentAuthorSridharRamesh
   • CommentTimeJan 5th 2011
   • PermaLink
   Author: SridharRamesh
   Format: MarkdownItexSorry for not replying earlier; my Internet access is very spotty at the moment. I just wanted to say that I think these replies have actually managed to be quite helpful despite the vagueness of my opening questions, particularly the last part of Mike Shulman's post. Thanks! I still have some (well, a lot) more questions I'd like to ask, but I'll wait till I return home from winter break to more stable Internet access.

   Sorry for not replying earlier; my Internet access is very spotty at the moment. I just wanted to say that I think these replies have actually managed to be quite helpful despite the vagueness of my opening questions, particularly the last part of Mike Shulman’s post. Thanks! I still have some (well, a lot) more questions I’d like to ask, but I’ll wait till I return home from winter break to more stable Internet access.

7. • CommentRowNumber7.
   • CommentAuthorronnie
   • CommentTimeJan 10th 2011
   • PermaLink
   Author: ronnie
   Format: MarkdownItexMy own views are influenced by having tried for 9 years to define a homotopy double groupoid of a space and then finding with Philip Higgins in 1974 that we could do nicely with a homotopy double groupoid of a pointed pair of spaces, prove theorems, and yield new explicit results on non abelian 2nd relative homotopy groups, and in fact calculate some crossed modules, i.e. homotopy 2-types, as colimits. Further work was needed to calculate second homotopy groups from this, thus turning around traditional approaches (first calculate $\pi_1$ and $\pi_2$ and somehow calculate the $k$-invariant). This led to the fundamental strict cubical $\omega$-groupoid of a filtered space, quite tricky to do but it works just nicely, and so to the idea that one gets nice invariants from certain structured spaces. Also filtered spaces are quite a common occurrence, for example on manifolds with a Morse function. Also replacing a space by some kind of singular complex leads to a filtered space. This fitted well with Loday's approach using $n$-cubes of spaces, and his cat$^n$-groups, which are special kinds of strict $(n+1)$-fold groupoids, and allowed new calculations and descriptions, but again proving you get the right structure is non trivial. In the proofs of the van Kampen type theorems, the strictness is used in an essential way, it seems. And one can calculate exactly with these algebraic gadgets, because one has colimit type theorems, involving structures coveting a range of dimensions. In particular, one can calculate some $n$-types. All this leads to a methodology different from the approach via weak structures, and one which does link with other areas of mathematics, cf the non abelian tensor product. It will be interesting to see here it all leads!

   My own views are influenced by having tried for 9 years to define a homotopy double groupoid of a space and then finding with Philip Higgins in 1974 that we could do nicely with a homotopy double groupoid of a pointed pair of spaces, prove theorems, and yield new explicit results on non abelian 2nd relative homotopy groups, and in fact calculate some crossed modules, i.e. homotopy 2-types, as colimits. Further work was needed to calculate second homotopy groups from this, thus turning around traditional approaches (first calculate $\pi_1$ and $\pi_2$ and somehow calculate the $k$-invariant).

   This led to the fundamental strict cubical $\omega$-groupoid of a filtered space, quite tricky to do but it works just nicely, and so to the idea that one gets nice invariants from certain structured spaces. Also filtered spaces are quite a common occurrence, for example on manifolds with a Morse function. Also replacing a space by some kind of singular complex leads to a filtered space.

   This fitted well with Loday’s approach using $n$-cubes of spaces, and his cat$^n$-groups, which are special kinds of strict $(n+1)$-fold groupoids, and allowed new calculations and descriptions, but again proving you get the right structure is non trivial.

   In the proofs of the van Kampen type theorems, the strictness is used in an essential way, it seems. And one can calculate exactly with these algebraic gadgets, because one has colimit type theorems, involving structures coveting a range of dimensions. In particular, one can calculate some $n$-types.

   All this leads to a methodology different from the approach via weak structures, and one which does link with other areas of mathematics, cf the non abelian tensor product.

   It will be interesting to see here it all leads!

8. • CommentRowNumber8.
   • CommentAuthorbarron
   • CommentTimeOct 22nd 2015
   • (edited Oct 22nd 2015)
   • PermaLink
   Author: barron
   Format: MarkdownItexTo what extent is the (strict) Moore hyperrectangle $\omega$-category $M(X)$ "equivalent" to the (weak) fundamental $\omega$-groupoid $\Pi(X)$? $M(X)$ is strict only as an $\omega$-category and not as an $\omega$-groupoid, since its $n$-arrow "inverses" are only up to $(n+1)$-homotopy. On the other hand $\Pi(X)$ is "fully weak" in inverses, units, and associativity. They definitely are not equivalent since there are constant maps of every length in $M(X)$ so any functor $F:M(X) \to \Pi(X)$ will not be faithful, but are they equivalent if both are taken modulo reparametrization (or some variant thereof)? I.e. what are the "smallest" congruences $\sigma$ on $M(X)$ and $\tau$ on $\Pi(X)$ such that $M(X) / \sigma \cong \Pi(X) / \tau$? ("smallest" congruence in the sense that it induces a "least forgetful" functor.)

   To what extent is the (strict) Moore hyperrectangle $\omega$-category $M(X)$ “equivalent” to the (weak) fundamental $\omega$-groupoid $\Pi(X)$? $M(X)$ is strict only as an $\omega$-category and not as an $\omega$-groupoid, since its $n$-arrow “inverses” are only up to $(n+1)$-homotopy. On the other hand $\Pi(X)$ is “fully weak” in inverses, units, and associativity. They definitely are not equivalent since there are constant maps of every length in $M(X)$ so any functor $F:M(X) \to \Pi(X)$ will not be faithful, but are they equivalent if both are taken modulo reparametrization (or some variant thereof)? I.e. what are the “smallest” congruences $\sigma$ on $M(X)$ and $\tau$ on $\Pi(X)$ such that $M(X) / \sigma \cong \Pi(X) / \tau$? (“smallest” congruence in the sense that it induces a “least forgetful” functor.)