Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077690811> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2077690811 endingPage "174" @default.
- W2077690811 startingPage "157" @default.
- W2077690811 abstract "The localic definitions of cosheaves, connectedness and local connectedness are transferred from impredicative topos theory to predicative formal topology. A formal topology is locally connected (has base of connected opens) iff it has a cosheaf π0 together with certain additional structure and properties that constrain π0 to be the connected components cosheaf. In the inductively generated case, complete spreads (in the sense of Bunge and Funk) corresponding to cosheaves are defined as formal topologies. Maps between the complete spreads are equivalent to homomorphisms between the cosheaves. A cosheaf is the connected components cosheaf for a locally connected formal topology iff its complete spread is a homeomorphism, and in this case it is a terminal cosheaf. A new, geometric proof is given of the topos-theoretic result that a cosheaf is a connected components cosheaf iff it is a “strongly terminal” point of the symmetric topos, in the sense that it is terminal amongst all the generalized points of the symmetric topos. It is conjectured that a study of sites as “formal toposes” would allow such geometric proofs to be incorporated into predicative mathematics." @default.
- W2077690811 created "2016-06-24" @default.
- W2077690811 creator A5021277208 @default.
- W2077690811 date "2012-02-01" @default.
- W2077690811 modified "2023-09-25" @default.
- W2077690811 title "Cosheaves and connectedness in formal topology" @default.
- W2077690811 cites W108205434 @default.
- W2077690811 cites W1508948304 @default.
- W2077690811 cites W1594900487 @default.
- W2077690811 cites W1966374748 @default.
- W2077690811 cites W1976800160 @default.
- W2077690811 cites W1985433884 @default.
- W2077690811 cites W1991195512 @default.
- W2077690811 cites W2007945990 @default.
- W2077690811 cites W2010839247 @default.
- W2077690811 cites W2011659388 @default.
- W2077690811 cites W2027039799 @default.
- W2077690811 cites W2031930376 @default.
- W2077690811 cites W2034294362 @default.
- W2077690811 cites W2079688825 @default.
- W2077690811 cites W2112392897 @default.
- W2077690811 cites W2113447082 @default.
- W2077690811 cites W2119717000 @default.
- W2077690811 cites W2120713972 @default.
- W2077690811 cites W2131309117 @default.
- W2077690811 cites W2168509624 @default.
- W2077690811 cites W2171351840 @default.
- W2077690811 cites W2226609518 @default.
- W2077690811 cites W275721105 @default.
- W2077690811 doi "https://doi.org/10.1016/j.apal.2011.06.024" @default.
- W2077690811 hasPublicationYear "2012" @default.
- W2077690811 type Work @default.
- W2077690811 sameAs 2077690811 @default.
- W2077690811 citedByCount "3" @default.
- W2077690811 countsByYear W20776908112014 @default.
- W2077690811 countsByYear W20776908112015 @default.
- W2077690811 countsByYear W20776908112017 @default.
- W2077690811 crossrefType "journal-article" @default.
- W2077690811 hasAuthorship W2077690811A5021277208 @default.
- W2077690811 hasBestOaLocation W20776908112 @default.
- W2077690811 hasConcept C108710211 @default.
- W2077690811 hasConcept C114614502 @default.
- W2077690811 hasConcept C118615104 @default.
- W2077690811 hasConcept C124952713 @default.
- W2077690811 hasConcept C129131279 @default.
- W2077690811 hasConcept C138885662 @default.
- W2077690811 hasConcept C142362112 @default.
- W2077690811 hasConcept C15744967 @default.
- W2077690811 hasConcept C182141236 @default.
- W2077690811 hasConcept C184720557 @default.
- W2077690811 hasConcept C201943243 @default.
- W2077690811 hasConcept C202444582 @default.
- W2077690811 hasConcept C2524010 @default.
- W2077690811 hasConcept C33923547 @default.
- W2077690811 hasConcept C41895202 @default.
- W2077690811 hasConcept C542102704 @default.
- W2077690811 hasConceptScore W2077690811C108710211 @default.
- W2077690811 hasConceptScore W2077690811C114614502 @default.
- W2077690811 hasConceptScore W2077690811C118615104 @default.
- W2077690811 hasConceptScore W2077690811C124952713 @default.
- W2077690811 hasConceptScore W2077690811C129131279 @default.
- W2077690811 hasConceptScore W2077690811C138885662 @default.
- W2077690811 hasConceptScore W2077690811C142362112 @default.
- W2077690811 hasConceptScore W2077690811C15744967 @default.
- W2077690811 hasConceptScore W2077690811C182141236 @default.
- W2077690811 hasConceptScore W2077690811C184720557 @default.
- W2077690811 hasConceptScore W2077690811C201943243 @default.
- W2077690811 hasConceptScore W2077690811C202444582 @default.
- W2077690811 hasConceptScore W2077690811C2524010 @default.
- W2077690811 hasConceptScore W2077690811C33923547 @default.
- W2077690811 hasConceptScore W2077690811C41895202 @default.
- W2077690811 hasConceptScore W2077690811C542102704 @default.
- W2077690811 hasIssue "2" @default.
- W2077690811 hasLocation W20776908111 @default.
- W2077690811 hasLocation W20776908112 @default.
- W2077690811 hasLocation W20776908113 @default.
- W2077690811 hasLocation W20776908114 @default.
- W2077690811 hasLocation W20776908115 @default.
- W2077690811 hasOpenAccess W2077690811 @default.
- W2077690811 hasPrimaryLocation W20776908111 @default.
- W2077690811 hasRelatedWork W1732398793 @default.
- W2077690811 hasRelatedWork W2075513489 @default.
- W2077690811 hasRelatedWork W2077690811 @default.
- W2077690811 hasRelatedWork W2121213425 @default.
- W2077690811 hasRelatedWork W2130427934 @default.
- W2077690811 hasRelatedWork W2143578351 @default.
- W2077690811 hasRelatedWork W2244069161 @default.
- W2077690811 hasRelatedWork W3002854867 @default.
- W2077690811 hasRelatedWork W3037732692 @default.
- W2077690811 hasRelatedWork W4297823556 @default.
- W2077690811 hasVolume "163" @default.
- W2077690811 isParatext "false" @default.
- W2077690811 isRetracted "false" @default.
- W2077690811 magId "2077690811" @default.
- W2077690811 workType "article" @default.