Matches in SemOpenAlex for { <https://semopenalex.org/work/W4353007380> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4353007380 abstract "The Vietoris space of compact subsets of a given Hausdorff space yields an endofunctor $mathscr V$ on the category of Hausdorff spaces. Vietoris polynomial endofunctors on that category are built from $mathscr V$, the identity and constant functors by forming products, coproducts and compositions. These functors are known to have terminal coalgebras and we deduce that they also have initial algebras. We present an analogous class of endofunctors on the category of extended metric spaces, using in lieu of $mathscr V$ the Hausdorff functor $mathcal H$. We prove that the ensuing Hausdorff polynomial functors have terminal coalgebras and initial algebras. Whereas the canonical constructions of terminal coalgebras for Vietoris polynomial functors takes $omega$ steps, one needs $omega + omega$ steps in general for Hausdorff ones. We also give a new proof that the closed set functor on metric spaces has no fixed points." @default.
- W4353007380 created "2023-03-23" @default.
- W4353007380 creator A5015904690 @default.
- W4353007380 creator A5028261970 @default.
- W4353007380 creator A5038462111 @default.
- W4353007380 date "2023-03-20" @default.
- W4353007380 modified "2023-09-27" @default.
- W4353007380 title "On Kripke, Vietoris and Hausdorff Polynomial Functors" @default.
- W4353007380 doi "https://doi.org/10.48550/arxiv.2303.11071" @default.
- W4353007380 hasPublicationYear "2023" @default.
- W4353007380 type Work @default.
- W4353007380 citedByCount "0" @default.
- W4353007380 crossrefType "posted-content" @default.
- W4353007380 hasAuthorship W4353007380A5015904690 @default.
- W4353007380 hasAuthorship W4353007380A5028261970 @default.
- W4353007380 hasAuthorship W4353007380A5038462111 @default.
- W4353007380 hasBestOaLocation W43530073801 @default.
- W4353007380 hasConcept C118615104 @default.
- W4353007380 hasConcept C134306372 @default.
- W4353007380 hasConcept C141898687 @default.
- W4353007380 hasConcept C153778094 @default.
- W4353007380 hasConcept C156772000 @default.
- W4353007380 hasConcept C191399826 @default.
- W4353007380 hasConcept C194198291 @default.
- W4353007380 hasConcept C198043062 @default.
- W4353007380 hasConcept C202444582 @default.
- W4353007380 hasConcept C33923547 @default.
- W4353007380 hasConcept C48808802 @default.
- W4353007380 hasConcept C6778880 @default.
- W4353007380 hasConcept C73225184 @default.
- W4353007380 hasConcept C84496893 @default.
- W4353007380 hasConcept C99633028 @default.
- W4353007380 hasConceptScore W4353007380C118615104 @default.
- W4353007380 hasConceptScore W4353007380C134306372 @default.
- W4353007380 hasConceptScore W4353007380C141898687 @default.
- W4353007380 hasConceptScore W4353007380C153778094 @default.
- W4353007380 hasConceptScore W4353007380C156772000 @default.
- W4353007380 hasConceptScore W4353007380C191399826 @default.
- W4353007380 hasConceptScore W4353007380C194198291 @default.
- W4353007380 hasConceptScore W4353007380C198043062 @default.
- W4353007380 hasConceptScore W4353007380C202444582 @default.
- W4353007380 hasConceptScore W4353007380C33923547 @default.
- W4353007380 hasConceptScore W4353007380C48808802 @default.
- W4353007380 hasConceptScore W4353007380C6778880 @default.
- W4353007380 hasConceptScore W4353007380C73225184 @default.
- W4353007380 hasConceptScore W4353007380C84496893 @default.
- W4353007380 hasConceptScore W4353007380C99633028 @default.
- W4353007380 hasLocation W43530073801 @default.
- W4353007380 hasOpenAccess W4353007380 @default.
- W4353007380 hasPrimaryLocation W43530073801 @default.
- W4353007380 hasRelatedWork W1611975502 @default.
- W4353007380 hasRelatedWork W1809206118 @default.
- W4353007380 hasRelatedWork W2093753987 @default.
- W4353007380 hasRelatedWork W2118517576 @default.
- W4353007380 hasRelatedWork W2408525916 @default.
- W4353007380 hasRelatedWork W2486329378 @default.
- W4353007380 hasRelatedWork W2951586219 @default.
- W4353007380 hasRelatedWork W2952676676 @default.
- W4353007380 hasRelatedWork W4302592599 @default.
- W4353007380 hasRelatedWork W2147800711 @default.
- W4353007380 isParatext "false" @default.
- W4353007380 isRetracted "false" @default.
- W4353007380 workType "article" @default.