Skip to main content

Timeline for Relative cocompletion of a category

Current License: CC BY-SA 4.0

7 events
when toggle format what by license comment
May 16, 2021 at 21:40 vote accept Adrien
May 15, 2021 at 12:19 answer added varkor timeline score: 7
Feb 28, 2019 at 8:41 comment added Adrien Indeed, thanks, I wasn't aware of that notion. I should add that though I'd like to have an explicit construction, what I really care about apart from the mere exists of that thing is whether $\nu$ is fully faithful.
Feb 28, 2019 at 0:44 history edited Mike Shulman
edited tags
Feb 28, 2019 at 0:44 comment added Mike Shulman I don't have a reference for this particular construction, but I think it is an instance of a general notion: a (2-categorical) semifinal lift of the unary sink $U({\cal A}) \to \cal B$, where $U$ is the forgetful functor from finitely-cocomplete categories to all categories.
Feb 27, 2019 at 10:29 history edited Adrien CC BY-SA 4.0
added 68 characters in body
Feb 27, 2019 at 10:21 history asked Adrien CC BY-SA 4.0