Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

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 comma 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 finite 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 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

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 5th 2018
    • (edited Apr 5th 2018)

    I have begun cleaning up the entry cycle category, tightening up definitions and proofs. This should render some of the past discussion obsolete, by re-expressing the intended homotopical intuitions (in terms of degree one maps on the circle) more precisely, in terms of “spiraling” adjoints on the poset \mathbb{Z}.

    Here is some of the past discussion I’m now exporting to the nForum:

    The cycle category may be defined as the subcategory of Cat whose objects are the categories [n] Λ[n]_\Lambda which are freely generated by the graph 012n00\to 1\to 2\to\ldots\to n\to 0, and whose morphisms Λ([m],[n])Cat([m],[n])\Lambda([m],[n])\subset\mathrm{Cat}([m],[n]) are precisely the functors of degree 11 (seen either at the level of nerves or via the embedding Ob[n] ΛR/ZS 1\mathrm{Ob}[n]_\Lambda\to \mathbf{R}/\mathbf{Z}\cong S^1 given by kk/(n+1)modZk\mapsto k/(n+1)\,\mathrm{mod}\,\mathbf{Z} on the level of objects, the rest being obvious).

    The simplex category Δ\Delta can be identified with a subcategory of Λ\Lambda, having the same objects but with fewer morphisms. This identification does not respect the inclusions into CatCat, however, since [n][n] and [n] Λ[n]_\Lambda are different categories.

    diff, v27, current

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 5th 2018

    Removed query boxes, given below for archival purposes:

    This discussion is about getting the definition right.

    +–{: .query} Mike: Sorry, I don’t think I believe this either. The category freely generated by any of the above graphs (for n>0n\gt 0) has infinitely many morphisms between any pair of objects, and therefore (since it is free) infinitely many endomorphisms. But aren’t the hom-sets of Λ\Lambda supposed to be finite?

    Zoran Škoda Hom sets of Λ\Lambda-yes, but we are now trying to find the concrete realization of objects of Λ\Lambda: there are many realizations some involving some sort of categories with infinitely many morphisms. Each C nC_n in presentation above have infinitely many morphisms in Cat\mathrm{Cat}, but only finitely many in Λ\Lambda as I just corrected (thanks for being alert and convince me to think three times!). The infinities in models for Λ\Lambda have to do with a ’reason’ why for example finite group model has SL(2,Z)SL(2,Z) symmetry – as it is natural to be explained in terms of second iteration of inertia orbifold, which is closely related to cyclic cohomology. But it is confusing because the t-operators are finite…Drinfeld talks about Z +Z_+ categories when talking about Λ\Lambda, maybe I confused something, I’ll think about it, in that setup there are infinitely many morphisms for what he calls [n] cyc[n]_{cyc} but maybe it is not the same what I intended to do.

    Mike: What does it mean for a functor to be “of degree 1?” I assume that your parenthetical is meant to explain this, but to me it is not obvious.

    Zoran Skoda: By degree I mean the degree of a map in the sense of homotopy theory – the class of circle to circle map, either at the level of nerves or looking at the subset of circle.

    Mike: It’s not immediately obvious to me that the nerve of your category [n] Λ[n]_\Lambda is homotopically a sphere or something else for which the notion of ’degree’ makes sense. What does “looking at the subset of circle” mean? I would prefer if we give a more explicit combinatorial description of Λ\Lambda as its definition, although we could also include this version later on the page.

    Zoran Skoda: As I wrote above, kk/(n+1)modZk\mapsto k/(n+1)\,\mathrm{mod}\,\mathbf{Z}, is THE formula for embedding [n] Λ[n]_{\Lambda} into the circle. On the other hand, the nerve the free category on the graph 01..n00\to 1\to ..\to n\to 0 is homotopically the circle, isn’t it? I think the definition is cleaner than the explanation below via generators and relations.

    Mike: What about “Λ\Lambda is the category of finite nonempty cyclically ordered sets?” I think that gets across the intended intuition better than either, and is cleaner than either modulo a definition of “cyclic order.”

    Zoran Skoda: very good!

    Mike: I think I understand what you are getting at with your definition now, although I still don’t think it’s quite right yet. I agree that the nerve of [n] Λ[n]_\Lambda is homotopically a circle—except when n=0n=0. And I think that exception means that not all the functors you want have degree 1—those that factor through [0] Λ[0]_\Lambda have degree 0. It seems like those might be the only functors with degree 0, though so maybe it would suffice to consider all functors with degree 0 or 1.

    Mike Shulman: Apparently I’m wrong: the 00-cycle is still supposed to be a “loop” of some sort. So maybe your definition is right as long as the category [0] Λ[0]_\Lambda is defined as freely generated by an endomorphism 000\to 0.

    This page should probably be rewritten with an “Idea” section at the beginning and then descriptions of the many different ways to define it formally. =–

    This discussion is about the name of the category.

    +–{.query} We might also call it the cycle category in analogy with simplex category, cube category, and globe category that we've already got here. If that's a good system. —Toby

    Mike: I like that system.

    Zoran Škoda I personally prefer category of cycles, even sometimes category of simplices, category of (hyper)cubes as I hear from geometers. Partly because when you translate to other languages, bahuvrihi style (which is anyway an abbreviation of the other form) is not preferred (unlike in German where it is even written as one word, and in English in which it is one word but is written as two), or sometimes impossible, hence one needs to convert the modifier back into an adjective when translating, what one does not need with saxon genitive. But I am ambivalent to that issue in other cases, but cycle category sounds too similar to cyclic category (for simplicial there is no problem as it sounds very different from simplex)…

    Mike: Of course, also “category of simplices” has a different meaning: one talks about “the category of simplices of a simplicial set” to mean the comma category of Δ\Delta over it. The simplex category is then the category of simplices of the terminal simplicial set.

    Regarding translation, I would be inclined to just regard that as something that happens in translation. Since English uses noun adjuncts frequently, it must be commonplace for translators to replace them with the preferred forms in other languages. There are lots of other cases in translation where you can’t just replace word-for-word; doesn’t translation really consist instead of writing new sentences in the target language with the same meaning as those in the source language?

    Zoran Skoda: Look, one can translate a phrase, but not just a stack of nouns. Stack of nouns either stays stack of nouns (what is very awkward nowdays, with young people using lots of stacks of nouns literally from English semi-translated to languages which do not do massive bahuvrihi compounds) or need to be expanded/described. But how to expand cycle category then to category of cycles. Hence I have no problem to translate cycle category to Croatian, but then it will coincide in Croatian with category of cycles. Or I can make unnatural compounds with hyphen ciklus-kategorija, what sounds like water-fruit for juicy fruit or for fruit with juice. What do you, mathematics-man think of this word-compound tongue-thing ? And beware that the cost (unusualness) in many languages of such compounds is orders of magnitude more unusual than in English. Or give me another descriptive expansion (if category of cycles already used/not accepted!).

    By the way, I hear around certain students of Kan talking “the category of simplices” for Δ\Delta. I see no problem with the fact that there are more general “categories of simplices” in specialistic usage (non-specialists use them very little and specialists will anyway say simplices where…Δ\Delta is used by everybody, not only homotopy theorists or simplicial experts, the latter comma category is a rather specialists’ thing).

    Mike: You appear to be trying to ridicule me for exactly I was saying one shouldn’t do. Of course, when you translate “cycle category” to Croatian it will come out the same as “category of cycles.” When written in language X, mathematics should be written in language X, not simply obtained from language Y by replacing things word-for-word; this is just as true when X=English and Y=Croatian as when X=Croatian and Y=English. In particular, a noun together with some noun adjuncts is a phrase in English, not just a “stack of nouns,” and should be translated to result in a grammatical phrase in whatever other language one is translating to. Don’t blame me because some people translate things from English incorrectly.

    I don’t have a problem with people saying “category of simplices” for Δ\Delta, but I prefer to say “simplex category” myself as it is slightly more precise.

    Mike: You do, however, have a good point that when writing in English we should not try to distinguish in meaning between “cycle category” and “category of cycles,” since when translating into many other languages they will become the same. I would still prefer that we name the page “cycle category” here on the nLab, since it accords better with our existing terminology for similar categories, but I think you should feel free to use “category of cycles.”

    diff, v28, current

    • CommentRowNumber3.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 5th 2018

    Tweaked the Idea section a bit.

    diff, v28, current

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 6th 2018

    Added a reference to an article by Elmendorf on which a number of latest changes were based.

    diff, v29, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeApr 6th 2018

    As a minimal cross-link with Hochschild/cyclic (co-)homology I added the following sentence to the Idea section:

    The cycle category is used for the description of the cyclic structure on Hochschild homology/Hochschild cohomology and accordingly for the description of cyclic homology/cyclic cohomology.

    diff, v30, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 6th 2018

    Added mentioning of cyclic object already in the Idea-section. I notice that we also have cyclic set (added mentioning of that, too).

    diff, v30, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 6th 2018

    I wanted to go ahead and cross-link cyclic set and cyclic object with each other, but in that very moment something seems to have happened to the nLab and each request now gives an error message.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeApr 6th 2018

    It works again now.

    I discovered that we also have paracyclic set and paracyclic object, none of which was properly cross-linked. Am adding some links now.

    • CommentRowNumber9.
    • CommentAuthorTim Campion
    • CommentTimeApr 16th 2021

    Added a reference to the paracycle category, which was previously defined on the page, but not given that name. Actually Nikolaus and Scholze say “paracyclic category”, but since we’re saying “cycle category” rather than “cyclic category”, the term “paracycle category” seems more consistent.

    diff, v32, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeJun 26th 2021

    expanded out the citation data for:

    diff, v33, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJun 26th 2021

    re #9:

    but since we’re saying “cycle category” rather than “cyclic category”

    I just noticed this. Maybe we shouldn’t. It seems “cyclic category” is the standard term.

    • CommentRowNumber12.
    • CommentAuthorDmitri Pavlov
    • CommentTimeJun 27th 2021

    MathSciNet lists 37 hits for “cyclic category” and 1 for “cycle category” (but in the sense of cycles in chain complexes, so not the same usage).

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeJun 27th 2021

    Thanks. Okay, so I have changed the entry title.

    I suppose the reasoning for the non-standard name was the following remark in the entry

    (Thus, the common term “the cyclic category” to refer to Λ\Lambda is misleading, just like using “the simplicial category” to refer to the simplex category Δ\Delta.)

    diff, v34, current

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 27th 2021

    I don’t plan on standing in the way of determined opposition, but FWIW, “cycle category” is a better grammatical fit to simplex category. I feel that from the outset, “cyclic category” was never a great name, particularly if “the” and not “a” is the only admissible article, but if forces that be decide to change the title, then please keep open “cycle category” as a redirect.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJun 27th 2021

    Of course it’s kept as a redirect.

    The priority must be that information can be found. If established terminology is to be critiqued, that ought to be done explicitly by a dedicated paragraph in the entry, not implicitly by silently making changes that the reader is left to figure out.

    And while “cyclic category” has problems, the term “cycle category” is possibly worse, as becomes more pronounced by its would-be dualization to “cocycle category”. The actual analog to “simplex category” would be something like “circle category”.

    • CommentRowNumber16.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 27th 2021

    We have David Ben-Zvi backing that when he wrote:

    The way I understand it the category Λ\Lambda is just a way to express the circle and its classifying space in simplicial language.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJun 27th 2021

    That’s certainly well-known, Loday in 1992 amplifies it nicely in his textbook chapter 6 here.

    • CommentRowNumber18.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 27th 2021

    Added reference to where the cyclic category is discussed as a generalized Reedy category:

    diff, v37, current

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJun 27th 2021
    • (edited Jun 27th 2021)

    re #17: I correct that: Loday gets around to explaining this only in Chapter 7 (here).