Matches in SemOpenAlex for { <https://semopenalex.org/work/W2962912206> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2962912206 abstract "We introduce a method to lift monads on the base category of a fibration toits total category. This method, which we call codensity lifting, is applicableto various fibrations which were not supported by its precursor, categoricalTT-lifting. After introducing the codensity lifting, we illustrate someexamples of codensity liftings of monads along the fibrations from the categoryof preorders, topological spaces and extended pseudometric spaces to thecategory of sets, and also the fibration from the category of binary relationsbetween measurable spaces. We also introduce the dual method called densitylifting of comonads. We next study the liftings of algebraic operations to thecodensity liftings of monads. We also give a characterisation of the class ofliftings of monads along posetal fibrations with fibred small meets as a limitof a certain large diagram." @default.
- W2962912206 created "2019-07-30" @default.
- W2962912206 creator A5041431787 @default.
- W2962912206 creator A5074922343 @default.
- W2962912206 creator A5076892896 @default.
- W2962912206 date "2018-10-29" @default.
- W2962912206 modified "2023-09-23" @default.
- W2962912206 title "Codensity Lifting of Monads and its Dual" @default.
- W2962912206 hasPublicationYear "2018" @default.
- W2962912206 type Work @default.
- W2962912206 sameAs 2962912206 @default.
- W2962912206 citedByCount "3" @default.
- W2962912206 countsByYear W29629122062019 @default.
- W2962912206 countsByYear W29629122062021 @default.
- W2962912206 crossrefType "journal-article" @default.
- W2962912206 hasAuthorship W2962912206A5041431787 @default.
- W2962912206 hasAuthorship W2962912206A5074922343 @default.
- W2962912206 hasAuthorship W2962912206A5076892896 @default.
- W2962912206 hasConcept C105795698 @default.
- W2962912206 hasConcept C118615104 @default.
- W2962912206 hasConcept C124101348 @default.
- W2962912206 hasConcept C133776654 @default.
- W2962912206 hasConcept C134306372 @default.
- W2962912206 hasConcept C136119220 @default.
- W2962912206 hasConcept C138885662 @default.
- W2962912206 hasConcept C139002025 @default.
- W2962912206 hasConcept C154945302 @default.
- W2962912206 hasConcept C202444582 @default.
- W2962912206 hasConcept C2777212361 @default.
- W2962912206 hasConcept C2780980858 @default.
- W2962912206 hasConcept C33923547 @default.
- W2962912206 hasConcept C41008148 @default.
- W2962912206 hasConcept C41895202 @default.
- W2962912206 hasConcept C42058472 @default.
- W2962912206 hasConcept C5274069 @default.
- W2962912206 hasConcept C54486226 @default.
- W2962912206 hasConcept C5961521 @default.
- W2962912206 hasConcept C9376300 @default.
- W2962912206 hasConceptScore W2962912206C105795698 @default.
- W2962912206 hasConceptScore W2962912206C118615104 @default.
- W2962912206 hasConceptScore W2962912206C124101348 @default.
- W2962912206 hasConceptScore W2962912206C133776654 @default.
- W2962912206 hasConceptScore W2962912206C134306372 @default.
- W2962912206 hasConceptScore W2962912206C136119220 @default.
- W2962912206 hasConceptScore W2962912206C138885662 @default.
- W2962912206 hasConceptScore W2962912206C139002025 @default.
- W2962912206 hasConceptScore W2962912206C154945302 @default.
- W2962912206 hasConceptScore W2962912206C202444582 @default.
- W2962912206 hasConceptScore W2962912206C2777212361 @default.
- W2962912206 hasConceptScore W2962912206C2780980858 @default.
- W2962912206 hasConceptScore W2962912206C33923547 @default.
- W2962912206 hasConceptScore W2962912206C41008148 @default.
- W2962912206 hasConceptScore W2962912206C41895202 @default.
- W2962912206 hasConceptScore W2962912206C42058472 @default.
- W2962912206 hasConceptScore W2962912206C5274069 @default.
- W2962912206 hasConceptScore W2962912206C54486226 @default.
- W2962912206 hasConceptScore W2962912206C5961521 @default.
- W2962912206 hasConceptScore W2962912206C9376300 @default.
- W2962912206 hasLocation W29629122061 @default.
- W2962912206 hasOpenAccess W2962912206 @default.
- W2962912206 hasPrimaryLocation W29629122061 @default.
- W2962912206 hasRelatedWork W1520893111 @default.
- W2962912206 hasRelatedWork W1572021354 @default.
- W2962912206 hasRelatedWork W1615673025 @default.
- W2962912206 hasRelatedWork W1657975519 @default.
- W2962912206 hasRelatedWork W1984184513 @default.
- W2962912206 hasRelatedWork W2009139565 @default.
- W2962912206 hasRelatedWork W2100189840 @default.
- W2962912206 hasRelatedWork W2161616972 @default.
- W2962912206 hasRelatedWork W2295986928 @default.
- W2962912206 hasRelatedWork W2339107952 @default.
- W2962912206 hasRelatedWork W2588203302 @default.
- W2962912206 hasRelatedWork W2897197486 @default.
- W2962912206 hasRelatedWork W2949299139 @default.
- W2962912206 hasRelatedWork W2951609909 @default.
- W2962912206 hasRelatedWork W2963219538 @default.
- W2962912206 hasRelatedWork W3036458910 @default.
- W2962912206 hasRelatedWork W3080225856 @default.
- W2962912206 hasRelatedWork W3120033270 @default.
- W2962912206 hasRelatedWork W3121177248 @default.
- W2962912206 hasRelatedWork W3170646271 @default.
- W2962912206 hasVolume "14" @default.
- W2962912206 isParatext "false" @default.
- W2962912206 isRetracted "false" @default.
- W2962912206 magId "2962912206" @default.
- W2962912206 workType "article" @default.