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 accessible adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex-geometry computable-mathematics computer-science constructive constructive-mathematics cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality education elliptic-cohomology enriched fibration finite foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry goodwillie-calculus graph graphs gravity group-theory 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 infinity integration-theory k-theory kan lie-theory limits linear linear-algebra locale localization logic manifolds mathematics measure-theory modal-logic model model-category-theory monad monoidal monoidal-category-theory morphism motives motivic-cohomology newpage nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pasting philosophy physics planar 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-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory tqft type type-theory universal

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.
    • CommentAuthorzskoda
    • CommentTimeSep 16th 2017

    New stub order category (redirecting also the more general case of preorder category).

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeSep 17th 2017

    I would just redirect this term to poset.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeSep 17th 2017

    Or perhaps (0,1)-category.

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeSep 20th 2017
    • (edited Sep 20th 2017)

    This would be for ultracategorists, not for ordinary mathematicians who would like to bridge the hi entrance barrier to understand the nnLab lingo and use portions of material without becoming specialists in category theory. Besides the term is widely used in meaning viewed there differently from informationally equivalent (pre)ordered set.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeSep 20th 2017

    But the nPOV is that a preorder is no different from the corresponding category. We should certainly have such a redirect, and a discussion of the terminology at the page redirected to, but the goal should be to inculcate the nPOV in the reader, not assist them in maintaining a distinction without a difference. I agree that pointing to (0,1)-category is maybe a bridge too far, but I think redirecting it to poset is entirely reasonable.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeSep 20th 2017

    Absolutely. If there is energy to improve the general readability of nLab pages, that is best done by explaining differences of perspectives right there on the relevant pages, instead of creating spurious synonym pages not linked with the material that they are trying to disambiguate.

    • CommentRowNumber7.
    • CommentAuthorTim_Porter
    • CommentTimeSep 21st 2017
    • (edited Sep 21st 2017)

    Even I find that searching the nLab for a term and being redirected to a page in which that term is barely mentioned is very off-putting. Perhaps we should try to ensure that some explanation of the linkage between the intuitions behind the terminology is provided, thus at (0,1)-category the definition is quite daunting and a fairly down-to-earth discussion would help. For instance, the proof that any (0,1)-category is really a poset given on that page is not 100% user friendly.

    Although the lab is a ’lab book’ for us, it also has a use (for the wider mathematical community, and especially for the debutant’ higher category theorists) as a place for learning the nPOV. At some places it succeeds in that extremely well, but not everywhere. ’Poset’ is an accepted generally understood term, so the wording here should be saying ’posets from the viewpoint of (n,r)(n,r)-category theory are essentially just (0,1)-categories’, and that suggests a whole wealth of generalisations of ideas to try out in a search for higher categorical analogues of properties. As it is, the page reads more as saying ‘you may call them posets but we know they are really (0,1)-categories,’ and I don’t think that shows higher category theory as an enabler to revealing structure.

    I followed up the link to poset and find just:

    The 2-category PosetPoset is the full sub-2-category of Cat on the posets.

    Oh joy, oh rapture! what clarity. It even contains a self reference and hence I could spend a happy infinity or two clicking on the link to poset in the entry poset to be directed to the entry on poset. (I will try and make some changes to these entries, to see if I can make them a bit more user friendly. If I don’t manage to improve them to everyone’s liking we can always revert.)

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeSep 21st 2017

    I followed up the link to poset and find just:

    Oops, that’s a technical error somewhere! poset is supposed to redirect to partial order, but for some reason it appears that instiki is sending it instead to Poset, the (rather stubby) page about the category of posets. Did instiki’s case-sensitivity change at some recent point in time? I couldn’t swear to the history of poset/Poset, but I’m pretty sure that in addition to the page topos about toposes we used to have a page called Topos about the 2-category of toposes, whereas right now the latter seems to redirect to the former.

    • CommentRowNumber9.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 21st 2017

    With Set and set it’s the other way, both directed to a page on the category of sets.

    • CommentRowNumber10.
    • CommentAuthorTim_Porter
    • CommentTimeSep 21st 2017

    Aha! That does clarify things somewhat as what was going awry. Can it be fixed simply? Perhaps replacing the link to poset by one to partially ordered set? That leaves the user-friendliness of the page on (0,1)(0,1)-categories. (It seems to me that there might be a place to help an understanding of (n,r)(n,r)-categories so might need a different type of wording recalling there what an (n,r)(n,r)-category is then being kind to the reader and taking it apart (avoiding the use of ’truncated’ until a bit later) in quite simple terms all within the idea section.

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeSep 21st 2017

    Regarding posets, we have Pos as well as Poset. Anyone have a preference for the main name?

    poset goes to Poset, while posets goes to ’partial order’.

    I guess there aren’t so many cases of the capitalized name of a category misleadingly redirecting. Any other cases than Topos, Set, Poset? Normally there’s an abbreviation involved.

    Oh, did we not have Spectrum once? Yes, searching show there is such a page, but Spectrum directs to ’spectrum’.

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 21st 2017

    I see that I repeated in another thread the first sentence of #11. I vote for redirecting Poset to Pos (which is slightly less stubby).

    • CommentRowNumber13.
    • CommentAuthorMike Shulman
    • CommentTimeSep 21st 2017

    I’m glad we noticed the capitalization issue and got it fixed.

    I’ve redirected Poset to Pos.

    I suppose the page (0,1)-category could be expanded with more discussion of negative thinking, but maybe an even better place for that would be negative thinking. (I just added a link from the former to the latter.) In any case I don’t think the userfriendliness of (0,1)-category is relevant for the question of whether to redirect order category to poset (i.e. partial order), since the latter is much more user-friendly.

    • CommentRowNumber14.
    • CommentAuthorTim_Porter
    • CommentTimeSep 21st 2017

    My point was to use (0,1)-category as an opportunity to help explain (n,r)-category.

    • CommentRowNumber15.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 21st 2017

    I created PreOrd (which to my surprise seems not to have been created before under any name, although I didn’t search for long).

    • CommentRowNumber16.
    • CommentAuthorMike Shulman
    • CommentTimeOct 9th 2017

    This discussion got somewhat sidetracked, but since Urs seemed to agree with me, no one else specifically expressed an opinion, and Zoran didn’t continue the discussion, I went ahead and redirected order category to poset (and preorder category to preorder). But if anyone disagrees (including Zoran, if you’re still reading and want to continue to argue for your POV), speak up!

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeOct 10th 2017

    Thanks. I have equipped your “see below” with a hyperlink, and mentioned the term “order category” again in the paragraph where it is described (here).

    • CommentRowNumber18.
    • CommentAuthorzskoda
    • CommentTime5 days ago
    • (edited 5 days ago)

    At which address I can find the old page preorder category/order category ?

    • CommentRowNumber19.
    • CommentAuthorMike Shulman
    • CommentTime4 days ago
    • CommentRowNumber20.
    • CommentAuthorzskoda
    • CommentTime3 days ago

    Thanks!