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

Discussion Tag Cloud

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.
    • CommentAuthorUrs
    • CommentTimeOct 23rd 2012

    added at core the remark that the core is right adjoint to the forgetful functor GrpdCatGrpd \to Cat.

    • CommentRowNumber2.
    • CommentAuthorYuxi Liu
    • CommentTimeJul 2nd 2020

    added some examples

    diff, v9, current

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJul 2nd 2020

    Thanks for contributing.

    Let’s make such lists of examples into bullet-item lists, for ease of discerning them, like so:

      * Given a [[preorder|preordered set]], regarded as a category, taking its core is the same as partitioning the set into equivalence classes of the preorder.
    
      * A combinatorial [[species]] is defined as a [[presheaf]], that is, a contravariant functor to Set, on the core of [[FinSet]].
    

    Your last line added here was:

    Every groupoid has a contravariant functor to itself. It preserves the objects and sends the arrows to their inverses.

    But I don’t see how that is an example for the page “core”?

    diff, v10, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 29th 2021

    gave the entry and Idea-section, highlighting the adjointness and making clear that the concept exist in the full generality of (n,r)(n,r)-categories. Added pointer to

    (all this was previously hinted at only rather indirectly through a pointer to category object in an (infinity,1)-category towards the end).

    diff, v12, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeDec 29th 2021

    gave the entry and Idea-section, highlighting the adjointness and making clear that the concept exist in the full generality of (n,r)(n,r)-categories. Added pointer to

    (all this was previously hinted at only rather indirectly through a pointer to category object in an (infinity,1)-category towards the end).

    diff, v12, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeDec 29th 2021

    Sorry for the duplicate. Am having much trouble with timeouts when saving, as of late.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeApr 28th 2023

    added a sentence relating to free groupoid

    also changed the page title from just “core” to “core groupoid”, which seems to make better sense as a page title

    diff, v16, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeMay 31st 2023

    added pointer to:

    diff, v18, current