Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added at core the remark that the core is right adjoint to the forgetful functor $Grpd \to Cat$.
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”?
gave the entry and Idea-section, highlighting the adjointness and making clear that the concept exist in the full generality of $(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).
gave the entry and Idea-section, highlighting the adjointness and making clear that the concept exist in the full generality of $(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).
Sorry for the duplicate. Am having much trouble with timeouts when saving, as of late.
1 to 6 of 6