Matches in SemOpenAlex for { <https://semopenalex.org/work/W3120033270> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W3120033270 abstract "One way of interpreting a left Kan extension is as taking a kind of colimit, whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the evaluations sitting in the so-called bar construction of monads. The (pseudo)monads of interest for forming colimits are the monad of diagrams and the monad of small presheaves, both on the (huge) category CAT of locally small categories. Throughout, particular care is taken to handle size issues, which are notoriously delicate in the context of free cocompletion. We spell out, with all 2-dimensional details, the structure maps of these pseudomonads. Then, based on a detailed general proof of how the restriction-of-scalars construction of monads extends to the case of pseudoalgebras over pseudomonads, we define a morphism of monads between them, which we call image. This morphism allows us in particular to generalize the idea of confinal i.e. of functors which leave colimits invariant in an absolute way. This generalization includes the concept of absolute colimit as a special case. The main result of this paper spells out how a pointwise left Kan extension of a diagram corresponds precisely to a partial evaluation of its colimit. This categorical result is analogous to what happens in the case of probability monads, where a conditional expectation of a random variable corresponds to a partial evaluation of its center of mass." @default.
- W3120033270 created "2021-01-18" @default.
- W3120033270 creator A5005788902 @default.
- W3120033270 creator A5024663910 @default.
- W3120033270 date "2021-01-12" @default.
- W3120033270 modified "2023-09-27" @default.
- W3120033270 title "Kan extensions are partial colimits" @default.
- W3120033270 cites W1560018030 @default.
- W3120033270 cites W1604392671 @default.
- W3120033270 cites W1980822824 @default.
- W3120033270 cites W2012265449 @default.
- W3120033270 cites W2074676877 @default.
- W3120033270 cites W2093328479 @default.
- W3120033270 cites W2129186906 @default.
- W3120033270 cites W2430256791 @default.
- W3120033270 cites W2896200016 @default.
- W3120033270 cites W3036458910 @default.
- W3120033270 cites W3086667163 @default.
- W3120033270 cites W3087537363 @default.
- W3120033270 cites W342302233 @default.
- W3120033270 cites W583126019 @default.
- W3120033270 cites W602280613 @default.
- W3120033270 cites W633412478 @default.
- W3120033270 hasPublicationYear "2021" @default.
- W3120033270 type Work @default.
- W3120033270 sameAs 3120033270 @default.
- W3120033270 citedByCount "1" @default.
- W3120033270 countsByYear W31200332702021 @default.
- W3120033270 crossrefType "posted-content" @default.
- W3120033270 hasAuthorship W3120033270A5005788902 @default.
- W3120033270 hasAuthorship W3120033270A5024663910 @default.
- W3120033270 hasConcept C11821877 @default.
- W3120033270 hasConcept C118615104 @default.
- W3120033270 hasConcept C136119220 @default.
- W3120033270 hasConcept C137212723 @default.
- W3120033270 hasConcept C150355047 @default.
- W3120033270 hasConcept C156772000 @default.
- W3120033270 hasConcept C202444582 @default.
- W3120033270 hasConcept C33923547 @default.
- W3120033270 hasConcept C33959348 @default.
- W3120033270 hasConceptScore W3120033270C11821877 @default.
- W3120033270 hasConceptScore W3120033270C118615104 @default.
- W3120033270 hasConceptScore W3120033270C136119220 @default.
- W3120033270 hasConceptScore W3120033270C137212723 @default.
- W3120033270 hasConceptScore W3120033270C150355047 @default.
- W3120033270 hasConceptScore W3120033270C156772000 @default.
- W3120033270 hasConceptScore W3120033270C202444582 @default.
- W3120033270 hasConceptScore W3120033270C33923547 @default.
- W3120033270 hasConceptScore W3120033270C33959348 @default.
- W3120033270 hasLocation W31200332701 @default.
- W3120033270 hasOpenAccess W3120033270 @default.
- W3120033270 hasPrimaryLocation W31200332701 @default.
- W3120033270 hasRelatedWork W1572021354 @default.
- W3120033270 hasRelatedWork W1778582051 @default.
- W3120033270 hasRelatedWork W1819430339 @default.
- W3120033270 hasRelatedWork W2079655821 @default.
- W3120033270 hasRelatedWork W2151448345 @default.
- W3120033270 hasRelatedWork W2161616972 @default.
- W3120033270 hasRelatedWork W2164268874 @default.
- W3120033270 hasRelatedWork W2236935938 @default.
- W3120033270 hasRelatedWork W2339107952 @default.
- W3120033270 hasRelatedWork W2497414066 @default.
- W3120033270 hasRelatedWork W2604066929 @default.
- W3120033270 hasRelatedWork W2769923424 @default.
- W3120033270 hasRelatedWork W2942282180 @default.
- W3120033270 hasRelatedWork W2949299139 @default.
- W3120033270 hasRelatedWork W2951923673 @default.
- W3120033270 hasRelatedWork W2962912206 @default.
- W3120033270 hasRelatedWork W2962963437 @default.
- W3120033270 hasRelatedWork W3043991061 @default.
- W3120033270 hasRelatedWork W3097151221 @default.
- W3120033270 hasRelatedWork W3121177248 @default.
- W3120033270 isParatext "false" @default.
- W3120033270 isRetracted "false" @default.
- W3120033270 magId "3120033270" @default.
- W3120033270 workType "article" @default.