Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094845618> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2094845618 endingPage "1348" @default.
- W2094845618 startingPage "1306" @default.
- W2094845618 abstract "Iterative monads of Calvin Elgot were introduced to treat the semantics of recursive equations purely algebraically. They are Lawvere theories with the property that all ideal systems of recursive equations have unique solutions. We prove that the unique solutions in iterative monads satisfy all the equational properties of iteration monads of Stephen Bloom and Zoltán Ésik, whenever the base category is hyper-extensive and locally finitely presentable. This result is a step towards proving that functorial iteration monads form a monadic category over sets in context. This shows that functoriality is an equational property when considered w.r.t. sets in context." @default.
- W2094845618 created "2016-06-24" @default.
- W2094845618 creator A5015904690 @default.
- W2094845618 creator A5037993472 @default.
- W2094845618 creator A5038462111 @default.
- W2094845618 date "2010-12-01" @default.
- W2094845618 modified "2023-09-27" @default.
- W2094845618 title "Equational properties of iterative monads" @default.
- W2094845618 cites W1549977012 @default.
- W2094845618 cites W1572858245 @default.
- W2094845618 cites W1582555793 @default.
- W2094845618 cites W1595870841 @default.
- W2094845618 cites W1794561043 @default.
- W2094845618 cites W1972464717 @default.
- W2094845618 cites W1984467134 @default.
- W2094845618 cites W1998546360 @default.
- W2094845618 cites W2001462012 @default.
- W2094845618 cites W2006716320 @default.
- W2094845618 cites W2020531742 @default.
- W2094845618 cites W2023022663 @default.
- W2094845618 cites W2030830197 @default.
- W2094845618 cites W2042266169 @default.
- W2094845618 cites W2053682188 @default.
- W2094845618 cites W2055859176 @default.
- W2094845618 cites W2075406361 @default.
- W2094845618 cites W2077884383 @default.
- W2094845618 cites W2080757272 @default.
- W2094845618 cites W2082232201 @default.
- W2094845618 cites W2095080592 @default.
- W2094845618 cites W2095747698 @default.
- W2094845618 cites W2107674601 @default.
- W2094845618 cites W2120713972 @default.
- W2094845618 cites W2123887510 @default.
- W2094845618 cites W2146314914 @default.
- W2094845618 cites W2169189842 @default.
- W2094845618 cites W2170360311 @default.
- W2094845618 cites W2914339009 @default.
- W2094845618 cites W602280613 @default.
- W2094845618 cites W63499524 @default.
- W2094845618 doi "https://doi.org/10.1016/j.ic.2009.10.006" @default.
- W2094845618 hasPublicationYear "2010" @default.
- W2094845618 type Work @default.
- W2094845618 sameAs 2094845618 @default.
- W2094845618 citedByCount "16" @default.
- W2094845618 countsByYear W20948456182014 @default.
- W2094845618 countsByYear W20948456182015 @default.
- W2094845618 countsByYear W20948456182016 @default.
- W2094845618 countsByYear W20948456182017 @default.
- W2094845618 countsByYear W20948456182018 @default.
- W2094845618 countsByYear W20948456182020 @default.
- W2094845618 crossrefType "journal-article" @default.
- W2094845618 hasAuthorship W2094845618A5015904690 @default.
- W2094845618 hasAuthorship W2094845618A5037993472 @default.
- W2094845618 hasAuthorship W2094845618A5038462111 @default.
- W2094845618 hasBestOaLocation W20948456181 @default.
- W2094845618 hasConcept C136119220 @default.
- W2094845618 hasConcept C199360897 @default.
- W2094845618 hasConcept C202444582 @default.
- W2094845618 hasConcept C33923547 @default.
- W2094845618 hasConcept C41008148 @default.
- W2094845618 hasConceptScore W2094845618C136119220 @default.
- W2094845618 hasConceptScore W2094845618C199360897 @default.
- W2094845618 hasConceptScore W2094845618C202444582 @default.
- W2094845618 hasConceptScore W2094845618C33923547 @default.
- W2094845618 hasConceptScore W2094845618C41008148 @default.
- W2094845618 hasIssue "12" @default.
- W2094845618 hasLocation W20948456181 @default.
- W2094845618 hasOpenAccess W2094845618 @default.
- W2094845618 hasPrimaryLocation W20948456181 @default.
- W2094845618 hasRelatedWork W1527862632 @default.
- W2094845618 hasRelatedWork W2112962394 @default.
- W2094845618 hasRelatedWork W2118300983 @default.
- W2094845618 hasRelatedWork W2135396778 @default.
- W2094845618 hasRelatedWork W2382501300 @default.
- W2094845618 hasRelatedWork W2740990710 @default.
- W2094845618 hasRelatedWork W3137189469 @default.
- W2094845618 hasRelatedWork W3162240892 @default.
- W2094845618 hasRelatedWork W4235530921 @default.
- W2094845618 hasRelatedWork W4243252198 @default.
- W2094845618 hasVolume "208" @default.
- W2094845618 isParatext "false" @default.
- W2094845618 isRetracted "false" @default.
- W2094845618 magId "2094845618" @default.
- W2094845618 workType "article" @default.