Matches in SemOpenAlex for { <https://semopenalex.org/work/W2593686720> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2593686720 abstract "The purpose of the present paper is to show that: Eilenberg-type correspondences = Birkhoff's theorem for (finite) algebras + duality. We consider algebras for a monad T on a category D and we study (pseudo)varieties of T-algebras. Pseudovarieties of algebras are also known in the literature as of finite algebras. Two well-known theorems that characterize and pseudovarieties of algebras play an important role here: Birkhoff's theorem and Birkhoff's theorem for finite algebras, the latter also known as Reiterman's theorem. We prove, under mild assumptions, a categorical version of Birkhoff's theorem for (finite) algebras to establish a one-to-one correspondence between (pseudo)varieties of T-algebras and (pseudo)equational T-theories. Now, if C is a category that is dual to D and B is the comonad on C that is the dual of T, we get a one-to-one correspondence between (pseudo)equational T-theories and their dual, (pseudo)coequational B-theories. Particular instances of (pseudo)coequational B-theories have been already studied in language theory under the name of varieties of languages to establish Eilenberg-type correspondences. All in all, we get a one-to-one correspondence between (pseudo)varieties of T-algebras and (pseudo)coequational B-theories, which will be shown to be exactly the nature of Eilenberg-type correspondences." @default.
- W2593686720 created "2017-03-16" @default.
- W2593686720 creator A5039230370 @default.
- W2593686720 date "2017-02-09" @default.
- W2593686720 modified "2023-09-27" @default.
- W2593686720 title "Unveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality" @default.
- W2593686720 cites W1882580036 @default.
- W2593686720 cites W1972289972 @default.
- W2593686720 cites W2030282915 @default.
- W2593686720 cites W2049352524 @default.
- W2593686720 cites W2123724019 @default.
- W2593686720 cites W2139845245 @default.
- W2593686720 cites W2156316905 @default.
- W2593686720 cites W2610994252 @default.
- W2593686720 cites W2950890655 @default.
- W2593686720 hasPublicationYear "2017" @default.
- W2593686720 type Work @default.
- W2593686720 sameAs 2593686720 @default.
- W2593686720 citedByCount "5" @default.
- W2593686720 countsByYear W25936867202019 @default.
- W2593686720 countsByYear W25936867202020 @default.
- W2593686720 countsByYear W25936867202021 @default.
- W2593686720 crossrefType "posted-content" @default.
- W2593686720 hasAuthorship W2593686720A5039230370 @default.
- W2593686720 hasConcept C105795698 @default.
- W2593686720 hasConcept C136119220 @default.
- W2593686720 hasConcept C138885662 @default.
- W2593686720 hasConcept C156772000 @default.
- W2593686720 hasConcept C18903297 @default.
- W2593686720 hasConcept C202444582 @default.
- W2593686720 hasConcept C2777299769 @default.
- W2593686720 hasConcept C2778023678 @default.
- W2593686720 hasConcept C2780980858 @default.
- W2593686720 hasConcept C33923547 @default.
- W2593686720 hasConcept C33959348 @default.
- W2593686720 hasConcept C41895202 @default.
- W2593686720 hasConcept C5274069 @default.
- W2593686720 hasConcept C86803240 @default.
- W2593686720 hasConceptScore W2593686720C105795698 @default.
- W2593686720 hasConceptScore W2593686720C136119220 @default.
- W2593686720 hasConceptScore W2593686720C138885662 @default.
- W2593686720 hasConceptScore W2593686720C156772000 @default.
- W2593686720 hasConceptScore W2593686720C18903297 @default.
- W2593686720 hasConceptScore W2593686720C202444582 @default.
- W2593686720 hasConceptScore W2593686720C2777299769 @default.
- W2593686720 hasConceptScore W2593686720C2778023678 @default.
- W2593686720 hasConceptScore W2593686720C2780980858 @default.
- W2593686720 hasConceptScore W2593686720C33923547 @default.
- W2593686720 hasConceptScore W2593686720C33959348 @default.
- W2593686720 hasConceptScore W2593686720C41895202 @default.
- W2593686720 hasConceptScore W2593686720C5274069 @default.
- W2593686720 hasConceptScore W2593686720C86803240 @default.
- W2593686720 hasLocation W25936867201 @default.
- W2593686720 hasOpenAccess W2593686720 @default.
- W2593686720 hasPrimaryLocation W25936867201 @default.
- W2593686720 hasRelatedWork W1497259790 @default.
- W2593686720 hasRelatedWork W1937336616 @default.
- W2593686720 hasRelatedWork W2005100072 @default.
- W2593686720 hasRelatedWork W2019789570 @default.
- W2593686720 hasRelatedWork W2034456359 @default.
- W2593686720 hasRelatedWork W2048942614 @default.
- W2593686720 hasRelatedWork W2069881702 @default.
- W2593686720 hasRelatedWork W2166424191 @default.
- W2593686720 hasRelatedWork W2200576343 @default.
- W2593686720 hasRelatedWork W2334017127 @default.
- W2593686720 hasRelatedWork W2336265859 @default.
- W2593686720 hasRelatedWork W2808220999 @default.
- W2593686720 hasRelatedWork W2916768231 @default.
- W2593686720 hasRelatedWork W2949137572 @default.
- W2593686720 hasRelatedWork W2951122450 @default.
- W2593686720 hasRelatedWork W2963224910 @default.
- W2593686720 hasRelatedWork W2964220913 @default.
- W2593686720 hasRelatedWork W2986982212 @default.
- W2593686720 hasRelatedWork W3099618231 @default.
- W2593686720 hasRelatedWork W2022670009 @default.
- W2593686720 isParatext "false" @default.
- W2593686720 isRetracted "false" @default.
- W2593686720 magId "2593686720" @default.
- W2593686720 workType "article" @default.