Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034273211> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2034273211 endingPage "286" @default.
- W2034273211 startingPage "273" @default.
- W2034273211 abstract "Given a class F of weights, one can consider the construction that takes a small category C to the free cocompletion of C under weighted colimits, for which the weight lies in F. Provided these free F-cocompletions are small, this construction generates a 2-monad on Cat, or more generally on V-Cat for monoidal biclosed complete and cocomplete V. We develop the notion of a dense 2-monad on V-Cat and characterise free F-cocompletions by dense KZ-monads on V-Cat. We prove various corollaries about the structure of such 2-monads and their Kleisli 2-categories, as needed for the use of open maps in giving an axiomatic study of bisimulation in concurrency. This requires the introduction of the concept of a pseudo-commutativity for a strong 2-monad on a symmetric monoidal 2-category, and a characterisation of it in terms of structure on the Kleisli 2-category." @default.
- W2034273211 created "2016-06-24" @default.
- W2034273211 creator A5062948122 @default.
- W2034273211 creator A5082619162 @default.
- W2034273211 creator A5089941270 @default.
- W2034273211 date "2000-08-01" @default.
- W2034273211 modified "2023-10-18" @default.
- W2034273211 title "A representation result for free cocompletions" @default.
- W2034273211 cites W1586968823 @default.
- W2034273211 cites W185087817 @default.
- W2034273211 cites W1993559687 @default.
- W2034273211 cites W2039290601 @default.
- W2034273211 cites W2077270594 @default.
- W2034273211 cites W2079655821 @default.
- W2034273211 cites W2081723613 @default.
- W2034273211 cites W2089687468 @default.
- W2034273211 cites W2101416179 @default.
- W2034273211 cites W2149565588 @default.
- W2034273211 cites W2334408345 @default.
- W2034273211 cites W75859641 @default.
- W2034273211 doi "https://doi.org/10.1016/s0022-4049(99)00063-8" @default.
- W2034273211 hasPublicationYear "2000" @default.
- W2034273211 type Work @default.
- W2034273211 sameAs 2034273211 @default.
- W2034273211 citedByCount "8" @default.
- W2034273211 countsByYear W20342732112018 @default.
- W2034273211 countsByYear W20342732112023 @default.
- W2034273211 crossrefType "journal-article" @default.
- W2034273211 hasAuthorship W2034273211A5062948122 @default.
- W2034273211 hasAuthorship W2034273211A5082619162 @default.
- W2034273211 hasAuthorship W2034273211A5089941270 @default.
- W2034273211 hasConcept C118615104 @default.
- W2034273211 hasConcept C135315306 @default.
- W2034273211 hasConcept C136119220 @default.
- W2034273211 hasConcept C154945302 @default.
- W2034273211 hasConcept C156163052 @default.
- W2034273211 hasConcept C156772000 @default.
- W2034273211 hasConcept C167729594 @default.
- W2034273211 hasConcept C202444582 @default.
- W2034273211 hasConcept C2524010 @default.
- W2034273211 hasConcept C2777212361 @default.
- W2034273211 hasConcept C2779904274 @default.
- W2034273211 hasConcept C33923547 @default.
- W2034273211 hasConcept C33959348 @default.
- W2034273211 hasConcept C41008148 @default.
- W2034273211 hasConcept C98912367 @default.
- W2034273211 hasConceptScore W2034273211C118615104 @default.
- W2034273211 hasConceptScore W2034273211C135315306 @default.
- W2034273211 hasConceptScore W2034273211C136119220 @default.
- W2034273211 hasConceptScore W2034273211C154945302 @default.
- W2034273211 hasConceptScore W2034273211C156163052 @default.
- W2034273211 hasConceptScore W2034273211C156772000 @default.
- W2034273211 hasConceptScore W2034273211C167729594 @default.
- W2034273211 hasConceptScore W2034273211C202444582 @default.
- W2034273211 hasConceptScore W2034273211C2524010 @default.
- W2034273211 hasConceptScore W2034273211C2777212361 @default.
- W2034273211 hasConceptScore W2034273211C2779904274 @default.
- W2034273211 hasConceptScore W2034273211C33923547 @default.
- W2034273211 hasConceptScore W2034273211C33959348 @default.
- W2034273211 hasConceptScore W2034273211C41008148 @default.
- W2034273211 hasConceptScore W2034273211C98912367 @default.
- W2034273211 hasIssue "3" @default.
- W2034273211 hasLocation W20342732111 @default.
- W2034273211 hasOpenAccess W2034273211 @default.
- W2034273211 hasPrimaryLocation W20342732111 @default.
- W2034273211 hasRelatedWork W2034273211 @default.
- W2034273211 hasRelatedWork W2086880825 @default.
- W2034273211 hasRelatedWork W2101433240 @default.
- W2034273211 hasRelatedWork W2127640939 @default.
- W2034273211 hasRelatedWork W2161116531 @default.
- W2034273211 hasRelatedWork W2415965387 @default.
- W2034273211 hasRelatedWork W2798876874 @default.
- W2034273211 hasRelatedWork W2899415153 @default.
- W2034273211 hasRelatedWork W2949308113 @default.
- W2034273211 hasRelatedWork W4298295183 @default.
- W2034273211 hasVolume "151" @default.
- W2034273211 isParatext "false" @default.
- W2034273211 isRetracted "false" @default.
- W2034273211 magId "2034273211" @default.
- W2034273211 workType "article" @default.