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

(0 1)-category-theory 2-category 2-category-theory 2-monad abelian-categories accessible adjoint algebra algebraic algebraic-geometry analysis arithmetic beauty book bug bundle categories category category-theory chern-simons-theory cohesion cohesive-homotopy-type-theory cohomology combinatorics complex-geometry conference connection constructive constructive-mathematics cosmology database deformation-theory descent differential differential-cohomology differential-geometry duality enriched enriched-category-theory enrichment examples factorization-system fiber fibration forms foundation foundations functional-analysis functor galois-theory gauge-theory gebra general topology geometric geometric-quantization geometry gravity group-theory higher higher-algebra higher-category-theory higher-geometry higher-lie-theory higher-topos-theory history homological homological-algebra homotopy homotopy-theory homotopy-type-theory homtopy-type-theory infinity-groupoid infinity-topos integration-theory internal-categories kan lie-algebras lie-theory limit limits linear linear-algebra locale localization localization-theory logic manifolds mathematics measure measure-theory mechanics meta modal-logic model model-category-theory monoidal monoidal-category monoidal-category-theory morphism n-groups newpage noncommutative noncommutative-geometry object operator operator-algebra order-theory philosophy physics predicative pretopology pro-object probability-theory quantum quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry set set-theory sheaf simplicial site space stable-homotopy-theory stack string string-theory subobject supergeometry symplectic-geometry tannaka tensor terminology theory topologica-quantum-field-theory topology topos topos-theory torsor tqft type type-theory universal weighted-limit

1. • CommentRowNumber1.
   • CommentAuthorzskoda
   • CommentTimeMay 9th 2011
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI did not classify this under latest changes as I expect some discussion after some questions I will ask later this week in this thread, related to thread. Before that let me archive an old query from [[center]] here: [[Mike Shulman]]: It seems to me that the monoid of endofunctions of a set would be the decategorification of $[C,C]$, not $[C,C](Id_C,Id_C)$. The center of a set should be the endotransformations _of_ the identity endofunction (of which there is only one, the identity). Moreover, since the center of a category is a commutative monoid, and the center of a bicategory is a braided monoidal category (horizontally categorifying the center of a monoidal category), the center construction acts like a knights-move on the periodic table; thus it makes sense that the center of a set should be a symmetric monoidal $(-1)$-category, i.e. "True." >_Toby_: I didn\'t look closely enough at your centre of a category then! What you say here contradicts what you wrote below ---that the centre of a $k$-tuply monoidal $n$-category is a $(k+1)$-tuply monoidal $n$-category, which is my understanding--- and contradicts what [[John Baez]] writes in Section 1.1 (page 5) of [HDA1](http://math.ucr.edu/home/baez/bm2cat.ps). >[[Mike Shulman]]: I expanded it a lot; let me know if this is any better. It's even more confusing than I realized at first. >_Toby_: I understand it, but it still doesn\'t actually include the centre of a set (or more generally of an $n$-category) that I learnt about from HDA1. Now, maybe that\'s not a very useful concept ... except that it fits in so well with the centre of a $k$-tuply monoidal $n$-category for $k \gt 0$! How many of these $k + 1$ different centres that a $k$-tuply monoidal $n$-category has are used? >[[Mike Shulman]]: Hmm, that appears to be a different notion of center than the one I was used to. (I didn't make this one up, but I don't remember where I learned it; has anyone else seen it?) Perhaps that one is better; it also has the advantage that it gives automatically that the center of a $k$-tuply monoidal $n$-category is $(k+1)$-tuply monoidal. >_Toby_: I\'ll try to get John\'s attention. >[[Mike Shulman]]: The HDA1 definition also leaves me wondering: why make only that particular choice of what level to stop at? Is there anything interesting to say about other choices? >_Toby_: H\'m, John is 'too busy' until September 22. (’_‘)

   I did not classify this under latest changes as I expect some discussion after some questions I will ask later this week in this thread, related to thread.

   Before that let me archive an old query from center here:

   Mike Shulman: It seems to me that the monoid of endofunctions of a set would be the decategorification of $[C,C]$, not $[C,C]({\mathrm{Id}}_C,{\mathrm{Id}}_C)$. The center of a set should be the endotransformations of the identity endofunction (of which there is only one, the identity). Moreover, since the center of a category is a commutative monoid, and the center of a bicategory is a braided monoidal category (horizontally categorifying the center of a monoidal category), the center construction acts like a knights-move on the periodic table; thus it makes sense that the center of a set should be a symmetric monoidal $(-1)$-category, i.e. “True.”

   Toby: I didn't look closely enough at your centre of a category then! What you say here contradicts what you wrote below —that the centre of a $k$-tuply monoidal $n$-category is a $(k+1)$-tuply monoidal $n$-category, which is my understanding— and contradicts what John Baez writes in Section 1.1 (page 5) of HDA1.

   Mike Shulman: I expanded it a lot; let me know if this is any better. It’s even more confusing than I realized at first.

   Toby: I understand it, but it still doesn't actually include the centre of a set (or more generally of an $n$-category) that I learnt about from HDA1. Now, maybe that's not a very useful concept … except that it fits in so well with the centre of a $k$-tuply monoidal $n$-category for $k>0$! How many of these $k+1$ different centres that a $k$-tuply monoidal $n$-category has are used?

   Mike Shulman: Hmm, that appears to be a different notion of center than the one I was used to. (I didn’t make this one up, but I don’t remember where I learned it; has anyone else seen it?) Perhaps that one is better; it also has the advantage that it gives automatically that the center of a $k$-tuply monoidal $n$-category is $(k+1)$-tuply monoidal.

   Toby: I'll try to get John's attention.

   Mike Shulman: The HDA1 definition also leaves me wondering: why make only that particular choice of what level to stop at? Is there anything interesting to say about other choices?

   Toby: H'm, John is ’too busy’ until September 22. (’_‘)

2. • CommentRowNumber2.
   • CommentAuthorzskoda
   • CommentTimeMay 9th 2011
   • (edited May 11th 2011)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexOK, first question. There is also sometimes used another notion of a center of an object $X$ in an arbitrary monoidal category $C$. It is by the definition simply the hom-set $C(1,X)$. In important cases, one can consider the right derived functor of $X\mapsto C(1,X)$ which corresponds to Hochschild cohomology. Now, an object $X$ is said to be *central* if the center in this sense, $C(1,X)$, has the special property that for every object $Y$ and for every pair $f,g: X\to Y$ such that $f\neq g$ there is $c\in C(1,X)$ such that $f\circ c \neq g\circ c$. If $C$ is the category of $R$-bimodules and $R$ commutative, then we get that the subcategory $ZC$ of central objects is the subcategory of central bimodules. There are many other special cases. I do not see how this corresponds to the treatment in [[center]].

   OK, first question.

   There is also sometimes used another notion of a center of an object $X$ in an arbitrary monoidal category $C$. It is by the definition simply the hom-set $C(1,X)$. In important cases, one can consider the right derived functor of $X\mapsto C(1,X)$ which corresponds to Hochschild cohomology. Now, an object $X$ is said to be central if the center in this sense, $C(1,X)$, has the special property that for every object $Y$ and for every pair $f,g:X\to Y$ such that $f\ne g$ there is $c\in C(1,X)$ such that $f\circ c\ne g\circ c$. If $C$ is the category of $R$-bimodules and $R$ commutative, then we get that the subcategory $\mathrm{ZC}$ of central objects is the subcategory of central bimodules. There are many other special cases. I do not see how this corresponds to the treatment in center.

3. • CommentRowNumber3.
   • CommentAuthorMike Shulman
   • CommentTimeMay 11th 2011
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexIt could be that this is just "yet another" notion of center which should be added to the page [[center]] alongside the existing ones. I suspect that the center of a monoidal n-category may be related to its center, in your sense, in the ((n+1)-)category of monoidal n-categories, but that's just a guess.

   It could be that this is just “yet another” notion of center which should be added to the page center alongside the existing ones. I suspect that the center of a monoidal n-category may be related to its center, in your sense, in the ((n+1)-)category of monoidal n-categories, but that’s just a guess.