Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100954501> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W3100954501 endingPage "23" @default.
- W3100954501 startingPage "1" @default.
- W3100954501 abstract "We give a new account of the correspondence, first established byNishizawa--Power, between finitary monads and Lawvere theories over anarbitrary locally finitely presentable base. Our account explains thiscorrespondence in terms of enriched category theory: the passage from afinitary monad to the corresponding Lawvere theory is exhibited as an instanceof free completion of an enriched category under a class of absolute colimits.This extends work of the first author, who established the result in thespecial case of finitary monads and Lawvere theories over the category of sets;a novel aspect of the generalisation is its use of enrichment over abicategory, rather than a monoidal category, in order to capture themonad--theory correspondence over all locally finitely presentable basessimultaneously." @default.
- W3100954501 created "2020-11-23" @default.
- W3100954501 creator A5045461807 @default.
- W3100954501 creator A5082619162 @default.
- W3100954501 date "2018-02-27" @default.
- W3100954501 modified "2023-09-23" @default.
- W3100954501 title "An enriched view on the extended finitary monad-Lawvere theory correspondence" @default.
- W3100954501 hasPublicationYear "2018" @default.
- W3100954501 type Work @default.
- W3100954501 sameAs 3100954501 @default.
- W3100954501 citedByCount "0" @default.
- W3100954501 crossrefType "journal-article" @default.
- W3100954501 hasAuthorship W3100954501A5045461807 @default.
- W3100954501 hasAuthorship W3100954501A5082619162 @default.
- W3100954501 hasConcept C118615104 @default.
- W3100954501 hasConcept C136119220 @default.
- W3100954501 hasConcept C156163052 @default.
- W3100954501 hasConcept C156772000 @default.
- W3100954501 hasConcept C202444582 @default.
- W3100954501 hasConcept C2778003309 @default.
- W3100954501 hasConcept C2779904274 @default.
- W3100954501 hasConcept C33923547 @default.
- W3100954501 hasConcept C33959348 @default.
- W3100954501 hasConcept C54884031 @default.
- W3100954501 hasConceptScore W3100954501C118615104 @default.
- W3100954501 hasConceptScore W3100954501C136119220 @default.
- W3100954501 hasConceptScore W3100954501C156163052 @default.
- W3100954501 hasConceptScore W3100954501C156772000 @default.
- W3100954501 hasConceptScore W3100954501C202444582 @default.
- W3100954501 hasConceptScore W3100954501C2778003309 @default.
- W3100954501 hasConceptScore W3100954501C2779904274 @default.
- W3100954501 hasConceptScore W3100954501C33923547 @default.
- W3100954501 hasConceptScore W3100954501C33959348 @default.
- W3100954501 hasConceptScore W3100954501C54884031 @default.
- W3100954501 hasIssue "1" @default.
- W3100954501 hasLocation W31009545011 @default.
- W3100954501 hasOpenAccess W3100954501 @default.
- W3100954501 hasPrimaryLocation W31009545011 @default.
- W3100954501 hasRelatedWork W1486628946 @default.
- W3100954501 hasRelatedWork W1557248512 @default.
- W3100954501 hasRelatedWork W1993668939 @default.
- W3100954501 hasRelatedWork W1993816593 @default.
- W3100954501 hasRelatedWork W2043392900 @default.
- W3100954501 hasRelatedWork W2059686979 @default.
- W3100954501 hasRelatedWork W2073065349 @default.
- W3100954501 hasRelatedWork W2090639879 @default.
- W3100954501 hasRelatedWork W2091590322 @default.
- W3100954501 hasRelatedWork W2115608263 @default.
- W3100954501 hasRelatedWork W2123516089 @default.
- W3100954501 hasRelatedWork W2186456475 @default.
- W3100954501 hasRelatedWork W2240009700 @default.
- W3100954501 hasRelatedWork W2282825475 @default.
- W3100954501 hasRelatedWork W2304782721 @default.
- W3100954501 hasRelatedWork W2497414066 @default.
- W3100954501 hasRelatedWork W2604066929 @default.
- W3100954501 hasRelatedWork W2741923925 @default.
- W3100954501 hasRelatedWork W3024817927 @default.
- W3100954501 hasRelatedWork W3189939866 @default.
- W3100954501 hasVolume "14" @default.
- W3100954501 isParatext "false" @default.
- W3100954501 isRetracted "false" @default.
- W3100954501 magId "3100954501" @default.
- W3100954501 workType "article" @default.