Chu space (original) (raw)
Čchuovy prostory zobecňují pojem topologický prostor tak, že upouštějí od požadavků, že množina otevřených množin musí být uzavřena pod sjednocením a konečným průnikem, že otevřené množiny musí být extenzionální a že predikát náležení do množiny nabývá dvou hodnot (ano / ne). Definice spojitého zobrazení zůstává nezměněna, pouze musí být pečlivě formulována, aby po těchto zevšeobecněních dávala smysl. Jmenují se po Pcho-Siang Čchuovi, který jako postgraduální student původně zkonstruoval verifikaci autonomních kategorií pod vedením v roce 1979.
| Property | Value |
|---|---|
| dbo:abstract | Čchuovy prostory zobecňují pojem topologický prostor tak, že upouštějí od požadavků, že množina otevřených množin musí být uzavřena pod sjednocením a konečným průnikem, že otevřené množiny musí být extenzionální a že predikát náležení do množiny nabývá dvou hodnot (ano / ne). Definice spojitého zobrazení zůstává nezměněna, pouze musí být pečlivě formulována, aby po těchto zevšeobecněních dávala smysl. Jmenují se po Pcho-Siang Čchuovi, který jako postgraduální student původně zkonstruoval verifikaci autonomních kategorií pod vedením v roce 1979. (cs) Chu spaces generalize the notion of topological space by dropping the requirements that the set of open sets be closed under union and finite intersection, that the open sets be extensional, and that the membership predicate (of points in open sets) be two-valued. The definition of continuous function remains unchanged other than having to be worded carefully to continue to make sense after these generalizations. The name is due to Po-Hsiang Chu, who originally constructed a verification of autonomous categories as a graduate student under the direction of Michael Barr in 1979. (en) |
| dbo:wikiPageExternalLink | http://chu.stanford.edu/ http://chu.stanford.edu/guide.html |
| dbo:wikiPageID | 4362087 (xsd:integer) |
| dbo:wikiPageLength | 9282 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1111389851 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Enriched_category dbr:Monoidal_category dbr:Binary_relation dbr:Vaughan_Pratt dbr:*-autonomous_category dbr:Continuous_function dbr:Matrix_(mathematics) dbr:Open_sets dbr:Morphism dbr:Concurrency_(computer_science) dbr:Linear_logic dbr:Triadic_relation dbc:Topology dbr:Dialectica_space dbr:Hilbert_space dbr:Intersection_(set_theory) dbr:Jean-Yves_Girard dbc:Category_theory dbr:Codomain dbr:Coherent_space dbr:Automata_theory dbr:IEEE_Computer_Society_Press dbr:Michael_Barr_(mathematician) dbr:Cartesian_closed_category dbr:Union_(set_theory) dbr:Topological_space dbr:Věra_Trnková dbr:Springer-Verlag dbr:North-Holland_Publishing_Company dbr:Heisenberg_uncertainty dbr:Self-dual_category dbr:Wavefunctions |
| dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Cite_journal dbt:Harvtxt dbt:Reflist |
| dcterms:subject | dbc:Topology dbc:Category_theory |
| rdfs:comment | Čchuovy prostory zobecňují pojem topologický prostor tak, že upouštějí od požadavků, že množina otevřených množin musí být uzavřena pod sjednocením a konečným průnikem, že otevřené množiny musí být extenzionální a že predikát náležení do množiny nabývá dvou hodnot (ano / ne). Definice spojitého zobrazení zůstává nezměněna, pouze musí být pečlivě formulována, aby po těchto zevšeobecněních dávala smysl. Jmenují se po Pcho-Siang Čchuovi, který jako postgraduální student původně zkonstruoval verifikaci autonomních kategorií pod vedením v roce 1979. (cs) Chu spaces generalize the notion of topological space by dropping the requirements that the set of open sets be closed under union and finite intersection, that the open sets be extensional, and that the membership predicate (of points in open sets) be two-valued. The definition of continuous function remains unchanged other than having to be worded carefully to continue to make sense after these generalizations. The name is due to Po-Hsiang Chu, who originally constructed a verification of autonomous categories as a graduate student under the direction of Michael Barr in 1979. (en) |
| rdfs:label | Čchuův prostor (cs) Chu space (en) |
| owl:sameAs | freebase:Chu space wikidata:Chu space dbpedia-cs:Chu space https://global.dbpedia.org/id/4iBea |
| prov:wasDerivedFrom | wikipedia-en:Chu_space?oldid=1111389851&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Chu_space |
| is dbo:wikiPageRedirects of | dbr:Chu_space_automata |
| is dbo:wikiPageWikiLink of | dbr:Vaughan_Pratt dbr:*-autonomous_category dbr:Concurrent_computing dbr:Concurrency_(computer_science) dbr:Linear_logic dbr:Space_(mathematics) dbr:Dialectica_space dbr:Michael_Barr_(mathematician) dbr:Chu_space_automata |
| is foaf:primaryTopic of | wikipedia-en:Chu_space |