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 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 sheaves 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.
   • CommentAuthorHarry Gindi
   • CommentTimeMay 30th 2012
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownItexThere is a standard embedding $\Delta \hookrightarrow \Theta$. Suppose we were to find a functor that "freely oriented" not only the simplices, but also freely oriented any object of $\Theta$ and whose restriction to $\Delta$ is actually Street's oriental functor. Since this can be thought of as replacing all commutative diagrams with diagrams that are "commutative" up to a non-invertible cell of appropriate height, and since $\Theta$ is dense in $\omega$-cat, shouldn't we be able to extend this to all $\omega$-categories. It seems like the functor applied to a strict $\omega$-category $X$ gives a new strict $\omega$-category $OX$ such that $NorLax(X,Y)=Hom(OX,Y)$, where NorLax means normalized lax $\omega$-functors, but I'm not sure. Moreover, I saw that the strict $\omega$-category of lax $\omega$-functors $Lax(X,Y)$ from $X$ to $Y$ has been defined as oriental-weighted limit $Lim_\Delta^O(Hom(CX,Y))$, where $CX$ denotes the constant simplicial object at $X$. Basically, I found this functor while I was messing around with trying to find a cellular Dold-Kan correspondence, and I'm wondering if it could serve any purpose.

   There is a standard embedding $\Delta \hookrightarrow \Theta$. Suppose we were to find a functor that “freely oriented” not only the simplices, but also freely oriented any object of $\Theta$ and whose restriction to $\Delta$ is actually Street’s oriental functor. Since this can be thought of as replacing all commutative diagrams with diagrams that are “commutative” up to a non-invertible cell of appropriate height, and since $\Theta$ is dense in $\omega$-cat, shouldn’t we be able to extend this to all $\omega$-categories. It seems like the functor applied to a strict $\omega$-category $X$ gives a new strict $\omega$-category $OX$ such that $NorLax(X,Y)=Hom(OX,Y)$, where NorLax means normalized lax $\omega$-functors, but I’m not sure. Moreover, I saw that the strict $\omega$-category of lax $\omega$-functors $Lax(X,Y)$ from $X$ to $Y$ has been defined as oriental-weighted limit $Lim_\Delta^O(Hom(CX,Y))$, where $CX$ denotes the constant simplicial object at $X$.

   Basically, I found this functor while I was messing around with trying to find a cellular Dold-Kan correspondence, and I’m wondering if it could serve any purpose.

2. • CommentRowNumber2.
   • CommentAuthorDavidRoberts
   • CommentTimeMay 30th 2012
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexThere is a famous conjecture about zeroes of the zeta function. Suppose we were to find a proof of this conjecture... (etc) Sorry, it just sounded funny because I guessed the punchline after the second sentence. Personally I think it is very interesting and could be used for ...something, I just don't know what.

   There is a famous conjecture about zeroes of the zeta function. Suppose we were to find a proof of this conjecture… (etc)

   Sorry, it just sounded funny because I guessed the punchline after the second sentence. Personally I think it is very interesting and could be used for …something, I just don’t know what.

3. • CommentRowNumber3.
   • CommentAuthorHarry Gindi
   • CommentTimeMay 30th 2012
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownItex@David: No, I mean that I actually gave a cute little construction for this functor, and moreover, the formula that you get ends up being "the only thing that it could possibly be". However, on its own without a corresponding Alexander-Whitney map, it's not really useful for me. I was hoping that maybe someone else had wondered about generalized orientals (I have heard that Benabou once thought about a version of the 2-truncated orientals that can be applied to arbitrary strict 2-categories). I was also wondering if anyone had thought of Θ-indexed analogue of descent, but that was sort of a fishing expedition.

   @David: No, I mean that I actually gave a cute little construction for this functor, and moreover, the formula that you get ends up being “the only thing that it could possibly be”. However, on its own without a corresponding Alexander-Whitney map, it’s not really useful for me. I was hoping that maybe someone else had wondered about generalized orientals (I have heard that Benabou once thought about a version of the 2-truncated orientals that can be applied to arbitrary strict 2-categories).

   I was also wondering if anyone had thought of Θ-indexed analogue of descent, but that was sort of a fishing expedition.

4. • CommentRowNumber4.
   • CommentAuthorzskoda
   • CommentTimeMay 30th 2012
   • (edited May 30th 2012)
   • PermaLink
   Author: zskoda
   Format: MarkdownItexIt is a good question. Maybe Joyal or Cisinski would know something about this. They have collaborated on $n$-categorical descent a couple of year ago or so, and some $\Theta$-machinery is presumably involved.

   It is a good question. Maybe Joyal or Cisinski would know something about this. They have collaborated on $n$-categorical descent a couple of year ago or so, and some $\Theta$-machinery is presumably involved.