Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113029863> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2113029863 endingPage "236" @default.
- W2113029863 startingPage "219" @default.
- W2113029863 abstract "Monads are by now well-established as programming construct in functional languages. Recently, the notion of “Arrow” was introduced by Hughes as an extension, not with one, but with two type parameters. At first, these Arrows may look somewhat arbitrary. Here we show that they are categorically fairly civilised, by showing that they correspond to monoids in suitable subcategories of bifunctors Cop×C→C. This shows that, at a suitable level of abstraction, arrows are like monads — which are monoids in categories of functors C→C. Freyd categories have been introduced by Power and Robinson to model computational effects, well before Hughes' Arrows appeared. It is often claimed (informally) that Arrows are simply Freyd categories. We shall make this claim precise by showing how monoids in categories of bifunctors exactly correspond to Freyd categories." @default.
- W2113029863 created "2016-06-24" @default.
- W2113029863 creator A5035888204 @default.
- W2113029863 creator A5042359645 @default.
- W2113029863 date "2006-05-01" @default.
- W2113029863 modified "2023-10-16" @default.
- W2113029863 title "Arrows, like Monads, are Monoids" @default.
- W2113029863 cites W1994001680 @default.
- W2113029863 cites W2020879982 @default.
- W2113029863 cites W2040525745 @default.
- W2113029863 cites W2057052623 @default.
- W2113029863 cites W2064138295 @default.
- W2113029863 cites W2086061699 @default.
- W2113029863 cites W2101416179 @default.
- W2113029863 cites W2102311747 @default.
- W2113029863 cites W2154521708 @default.
- W2113029863 cites W2621168830 @default.
- W2113029863 cites W2911562543 @default.
- W2113029863 cites W2914837968 @default.
- W2113029863 cites W4244577125 @default.
- W2113029863 doi "https://doi.org/10.1016/j.entcs.2006.04.012" @default.
- W2113029863 hasPublicationYear "2006" @default.
- W2113029863 type Work @default.
- W2113029863 sameAs 2113029863 @default.
- W2113029863 citedByCount "20" @default.
- W2113029863 countsByYear W21130298632012 @default.
- W2113029863 countsByYear W21130298632015 @default.
- W2113029863 countsByYear W21130298632020 @default.
- W2113029863 countsByYear W21130298632021 @default.
- W2113029863 countsByYear W21130298632023 @default.
- W2113029863 crossrefType "journal-article" @default.
- W2113029863 hasAuthorship W2113029863A5035888204 @default.
- W2113029863 hasAuthorship W2113029863A5042359645 @default.
- W2113029863 hasBestOaLocation W21130298631 @default.
- W2113029863 hasConcept C111472728 @default.
- W2113029863 hasConcept C124304363 @default.
- W2113029863 hasConcept C136119220 @default.
- W2113029863 hasConcept C138885662 @default.
- W2113029863 hasConcept C156772000 @default.
- W2113029863 hasConcept C195818886 @default.
- W2113029863 hasConcept C199360897 @default.
- W2113029863 hasConcept C202444582 @default.
- W2113029863 hasConcept C2778029271 @default.
- W2113029863 hasConcept C2780339515 @default.
- W2113029863 hasConcept C2780801425 @default.
- W2113029863 hasConcept C33923547 @default.
- W2113029863 hasConcept C41008148 @default.
- W2113029863 hasConcept C54884031 @default.
- W2113029863 hasConceptScore W2113029863C111472728 @default.
- W2113029863 hasConceptScore W2113029863C124304363 @default.
- W2113029863 hasConceptScore W2113029863C136119220 @default.
- W2113029863 hasConceptScore W2113029863C138885662 @default.
- W2113029863 hasConceptScore W2113029863C156772000 @default.
- W2113029863 hasConceptScore W2113029863C195818886 @default.
- W2113029863 hasConceptScore W2113029863C199360897 @default.
- W2113029863 hasConceptScore W2113029863C202444582 @default.
- W2113029863 hasConceptScore W2113029863C2778029271 @default.
- W2113029863 hasConceptScore W2113029863C2780339515 @default.
- W2113029863 hasConceptScore W2113029863C2780801425 @default.
- W2113029863 hasConceptScore W2113029863C33923547 @default.
- W2113029863 hasConceptScore W2113029863C41008148 @default.
- W2113029863 hasConceptScore W2113029863C54884031 @default.
- W2113029863 hasLocation W21130298631 @default.
- W2113029863 hasLocation W21130298632 @default.
- W2113029863 hasLocation W21130298633 @default.
- W2113029863 hasOpenAccess W2113029863 @default.
- W2113029863 hasPrimaryLocation W21130298631 @default.
- W2113029863 hasRelatedWork W1912064545 @default.
- W2113029863 hasRelatedWork W1968024712 @default.
- W2113029863 hasRelatedWork W2003960306 @default.
- W2113029863 hasRelatedWork W2077319209 @default.
- W2113029863 hasRelatedWork W2113029863 @default.
- W2113029863 hasRelatedWork W2150706552 @default.
- W2113029863 hasRelatedWork W2188616137 @default.
- W2113029863 hasRelatedWork W3160136729 @default.
- W2113029863 hasRelatedWork W39132223 @default.
- W2113029863 hasRelatedWork W952420568 @default.
- W2113029863 hasVolume "158" @default.
- W2113029863 isParatext "false" @default.
- W2113029863 isRetracted "false" @default.
- W2113029863 magId "2113029863" @default.
- W2113029863 workType "article" @default.