Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994477443> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1994477443 abstract "The concept of a base, that is a parametrized finitary monad, which we introduced earlier, followed the footsteps of Tarmo Uustalu in his attempt to formalize parametrized recursion. We proved that for every base free iterative algebras exist, and we called the corresponding monad the rational monad of the base. Here we introduce modules for a base, and we prove that the rational monad of a base gives rise to a canonical module, that is characterized as the free iterative module on the given base. This generalizes the classical, nonparametric case of iterative @S-algebras whose rational monad is the monad of rational @S-trees and that was characterized by Calvin Elgot et al. as the free iterative monad on @S. A basic parametrized example is the base assigning to every parameter set X the monad A@?X^@?xA whose rational monad is the monad of all right-wellfounded rational binary trees; the rational module for this base is the natural transformation (X^@?xX)xA->X^@?xA given by parametrized concatenation." @default.
- W1994477443 created "2016-06-24" @default.
- W1994477443 creator A5015904690 @default.
- W1994477443 creator A5037993472 @default.
- W1994477443 creator A5038462111 @default.
- W1994477443 date "2014-02-01" @default.
- W1994477443 modified "2023-10-15" @default.
- W1994477443 title "Base modules for parametrized iterativity" @default.
- W1994477443 cites W1582555793 @default.
- W1994477443 cites W1595870841 @default.
- W1994477443 cites W1984467134 @default.
- W1994477443 cites W1992909223 @default.
- W1994477443 cites W1998546360 @default.
- W1994477443 cites W2020531742 @default.
- W1994477443 cites W2023022663 @default.
- W1994477443 cites W2053682188 @default.
- W1994477443 cites W2074676877 @default.
- W1994477443 cites W2077884383 @default.
- W1994477443 cites W2082206335 @default.
- W1994477443 cites W2090818170 @default.
- W1994477443 cites W602280613 @default.
- W1994477443 doi "https://doi.org/10.1016/j.tcs.2013.12.019" @default.
- W1994477443 hasPublicationYear "2014" @default.
- W1994477443 type Work @default.
- W1994477443 sameAs 1994477443 @default.
- W1994477443 citedByCount "0" @default.
- W1994477443 crossrefType "journal-article" @default.
- W1994477443 hasAuthorship W1994477443A5015904690 @default.
- W1994477443 hasAuthorship W1994477443A5037993472 @default.
- W1994477443 hasAuthorship W1994477443A5038462111 @default.
- W1994477443 hasBestOaLocation W19944774431 @default.
- W1994477443 hasConcept C11413529 @default.
- W1994477443 hasConcept C118615104 @default.
- W1994477443 hasConcept C134306372 @default.
- W1994477443 hasConcept C136119220 @default.
- W1994477443 hasConcept C156772000 @default.
- W1994477443 hasConcept C168773036 @default.
- W1994477443 hasConcept C202444582 @default.
- W1994477443 hasConcept C33923547 @default.
- W1994477443 hasConcept C33959348 @default.
- W1994477443 hasConcept C42058472 @default.
- W1994477443 hasConceptScore W1994477443C11413529 @default.
- W1994477443 hasConceptScore W1994477443C118615104 @default.
- W1994477443 hasConceptScore W1994477443C134306372 @default.
- W1994477443 hasConceptScore W1994477443C136119220 @default.
- W1994477443 hasConceptScore W1994477443C156772000 @default.
- W1994477443 hasConceptScore W1994477443C168773036 @default.
- W1994477443 hasConceptScore W1994477443C202444582 @default.
- W1994477443 hasConceptScore W1994477443C33923547 @default.
- W1994477443 hasConceptScore W1994477443C33959348 @default.
- W1994477443 hasConceptScore W1994477443C42058472 @default.
- W1994477443 hasLocation W19944774431 @default.
- W1994477443 hasOpenAccess W1994477443 @default.
- W1994477443 hasPrimaryLocation W19944774431 @default.
- W1994477443 hasRelatedWork W100398054 @default.
- W1994477443 hasRelatedWork W1837362933 @default.
- W1994477443 hasRelatedWork W1967612355 @default.
- W1994477443 hasRelatedWork W1974240609 @default.
- W1994477443 hasRelatedWork W2036716130 @default.
- W1994477443 hasRelatedWork W2079398243 @default.
- W1994477443 hasRelatedWork W2087519684 @default.
- W1994477443 hasRelatedWork W2114849031 @default.
- W1994477443 hasRelatedWork W2272806171 @default.
- W1994477443 hasRelatedWork W2484579112 @default.
- W1994477443 hasRelatedWork W2488641979 @default.
- W1994477443 hasRelatedWork W2491626299 @default.
- W1994477443 hasRelatedWork W2752784239 @default.
- W1994477443 hasRelatedWork W2949928475 @default.
- W1994477443 hasRelatedWork W2952402778 @default.
- W1994477443 hasRelatedWork W2962859491 @default.
- W1994477443 hasRelatedWork W2963708890 @default.
- W1994477443 hasRelatedWork W3118137278 @default.
- W1994477443 hasRelatedWork W99998675 @default.
- W1994477443 hasRelatedWork W2502361874 @default.
- W1994477443 isParatext "false" @default.
- W1994477443 isRetracted "false" @default.
- W1994477443 magId "1994477443" @default.
- W1994477443 workType "article" @default.