Matches in SemOpenAlex for { <https://semopenalex.org/work/W3047441261> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3047441261 abstract "Let $CABA$ be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let $CSL$ be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from $CABA$ to $CSL$ has a left adjoint. This allows us to describe an endofunctor $H$ on $CABA$ such that the category $Alg(H)$ of algebras for $H$ is dually equivalent to the category $Coalg(mathcal{P})$ of coalgebras for the powerset endofunctor $mathcal{P}$ on $Set$. As a consequence, we derive Thomason duality from Tarski duality." @default.
- W3047441261 created "2020-08-10" @default.
- W3047441261 creator A5028359774 @default.
- W3047441261 creator A5031772210 @default.
- W3047441261 creator A5036981210 @default.
- W3047441261 date "2020-08-04" @default.
- W3047441261 modified "2023-09-27" @default.
- W3047441261 title "Coalgebras for the powerset functor and Thomason duality." @default.
- W3047441261 cites W1534787852 @default.
- W3047441261 cites W1594693608 @default.
- W3047441261 cites W1992205482 @default.
- W3047441261 cites W1993937811 @default.
- W3047441261 cites W2011700761 @default.
- W3047441261 cites W2016710471 @default.
- W3047441261 cites W2027687849 @default.
- W3047441261 cites W2046750700 @default.
- W3047441261 cites W2050527500 @default.
- W3047441261 cites W2106630772 @default.
- W3047441261 cites W2120713972 @default.
- W3047441261 cites W2135557157 @default.
- W3047441261 cites W2162548412 @default.
- W3047441261 cites W2912848864 @default.
- W3047441261 cites W2963969921 @default.
- W3047441261 cites W3144889436 @default.
- W3047441261 cites W626407659 @default.
- W3047441261 cites W857079627 @default.
- W3047441261 cites W889118672 @default.
- W3047441261 hasPublicationYear "2020" @default.
- W3047441261 type Work @default.
- W3047441261 sameAs 3047441261 @default.
- W3047441261 citedByCount "1" @default.
- W3047441261 countsByYear W30474412612022 @default.
- W3047441261 crossrefType "posted-content" @default.
- W3047441261 hasAuthorship W3047441261A5028359774 @default.
- W3047441261 hasAuthorship W3047441261A5031772210 @default.
- W3047441261 hasAuthorship W3047441261A5036981210 @default.
- W3047441261 hasConcept C118615104 @default.
- W3047441261 hasConcept C136119220 @default.
- W3047441261 hasConcept C156772000 @default.
- W3047441261 hasConcept C169171071 @default.
- W3047441261 hasConcept C177264268 @default.
- W3047441261 hasConcept C199360897 @default.
- W3047441261 hasConcept C202444582 @default.
- W3047441261 hasConcept C207764348 @default.
- W3047441261 hasConcept C2778023678 @default.
- W3047441261 hasConcept C33923547 @default.
- W3047441261 hasConcept C4042151 @default.
- W3047441261 hasConcept C41008148 @default.
- W3047441261 hasConcept C81518389 @default.
- W3047441261 hasConceptScore W3047441261C118615104 @default.
- W3047441261 hasConceptScore W3047441261C136119220 @default.
- W3047441261 hasConceptScore W3047441261C156772000 @default.
- W3047441261 hasConceptScore W3047441261C169171071 @default.
- W3047441261 hasConceptScore W3047441261C177264268 @default.
- W3047441261 hasConceptScore W3047441261C199360897 @default.
- W3047441261 hasConceptScore W3047441261C202444582 @default.
- W3047441261 hasConceptScore W3047441261C207764348 @default.
- W3047441261 hasConceptScore W3047441261C2778023678 @default.
- W3047441261 hasConceptScore W3047441261C33923547 @default.
- W3047441261 hasConceptScore W3047441261C4042151 @default.
- W3047441261 hasConceptScore W3047441261C41008148 @default.
- W3047441261 hasConceptScore W3047441261C81518389 @default.
- W3047441261 hasLocation W30474412611 @default.
- W3047441261 hasOpenAccess W3047441261 @default.
- W3047441261 hasPrimaryLocation W30474412611 @default.
- W3047441261 hasRelatedWork W1421368529 @default.
- W3047441261 hasRelatedWork W1983638108 @default.
- W3047441261 hasRelatedWork W2000260263 @default.
- W3047441261 hasRelatedWork W2004942342 @default.
- W3047441261 hasRelatedWork W2013598211 @default.
- W3047441261 hasRelatedWork W2029610160 @default.
- W3047441261 hasRelatedWork W2040962856 @default.
- W3047441261 hasRelatedWork W2128215173 @default.
- W3047441261 hasRelatedWork W2587256088 @default.
- W3047441261 hasRelatedWork W2594593210 @default.
- W3047441261 hasRelatedWork W2613565799 @default.
- W3047441261 hasRelatedWork W2738096940 @default.
- W3047441261 hasRelatedWork W2891428115 @default.
- W3047441261 hasRelatedWork W2920161291 @default.
- W3047441261 hasRelatedWork W2949205883 @default.
- W3047441261 hasRelatedWork W2979514538 @default.
- W3047441261 hasRelatedWork W3022823504 @default.
- W3047441261 hasRelatedWork W3092164185 @default.
- W3047441261 hasRelatedWork W3171389437 @default.
- W3047441261 hasRelatedWork W2395490114 @default.
- W3047441261 isParatext "false" @default.
- W3047441261 isRetracted "false" @default.
- W3047441261 magId "3047441261" @default.
- W3047441261 workType "article" @default.