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.
   • CommentAuthorMike Shulman
   • CommentTimeAug 18th 2013
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexNew page: [[n-types cover]]

   New page: n-types cover

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeAug 18th 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded a bunch of hyperlinks and cross-linked with relevant entries

   added a bunch of hyperlinks and cross-linked with relevant entries

3. • CommentRowNumber3.
   • CommentAuthorMike Shulman
   • CommentTimeAug 18th 2013
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThanks! I moved the link to [[h-set]] to the section "In homotopy type theory", and removed the link to [[suspension]] since it is not the same as [[delooping]].

   Thanks! I moved the link to h-set to the section “In homotopy type theory”, and removed the link to suspension since it is not the same as delooping.

4. • CommentRowNumber4.
   • CommentAuthorZhen Lin
   • CommentTimeAug 18th 2013
   • PermaLink
   Author: Zhen Lin
   Format: MarkdownItexI've heard both terms used for the operation $M \mapsto \mathrm{B} M$, where $M$ is a monoidal category and $\mathrm{B} M$ is the corresponding one-object bicategory. (I usually say delooping for that.) Perhaps the difference should be explained somewhere.

   I’ve heard both terms used for the operation $M \mapsto \mathrm{B} M$, where $M$ is a monoidal category and $\mathrm{B} M$ is the corresponding one-object bicategory. (I usually say delooping for that.) Perhaps the difference should be explained somewhere.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeAug 18th 2013
   • (edited Aug 18th 2013)
   • PermaLink
   Author: Urs
   Format: MarkdownItexHm, I don't remember having linked to _suspension_... It's a bad habit of some category theorists to say "suspension" for delooping. A related bad habit is to write $B$ for geometric realization of a category. While we do have _[[looping and delooping]]_ with a fair bit detail, I suppose the entry _[[suspension]]_ is lacking some homotopy theoretic discussion. It's scattered at _[[stable (infinity,1)-category]]_ and elsewhere I suppose. I have no time to do much at all on the nLab right now, though.

   Hm, I don’t remember having linked to suspension…

   It’s a bad habit of some category theorists to say “suspension” for delooping. A related bad habit is to write $B$ for geometric realization of a category.

   While we do have looping and delooping with a fair bit detail, I suppose the entry suspension is lacking some homotopy theoretic discussion. It’s scattered at stable (infinity,1)-category and elsewhere I suppose.

   I have no time to do much at all on the nLab right now, though.

6. • CommentRowNumber6.
   • CommentAuthorDavid_Corfield
   • CommentTimeNov 14th 2014
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexThe page has >By the [[Kripke-Joyal semantics]] of homotopy type theory, following which link we see only >Kripke–Joyal semantics is a natural semantics in a topos. Presumably the latter should say something about extending to the $\infty$-case. Maybe first though some detail nees to be given at [[Kripke-Joyal semantics]].

   The page has

   By the Kripke-Joyal semantics of homotopy type theory,

   following which link we see only

   Kripke–Joyal semantics is a natural semantics in a topos.

   Presumably the latter should say something about extending to the $\infty$-case.

   Maybe first though some detail nees to be given at Kripke-Joyal semantics.

7. • CommentRowNumber7.
   • CommentAuthorMike Shulman
   • CommentTimeNov 14th 2014
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexYeah...

   Yeah…