Special topics in mathematics for computer scientists. Sets, categories, topologies and measures

DOI10.1007/978-3-319-22750-4MaRDI QIDQ3457680zbMATH OpenOpenAlexFDO

Authors Ernst-Erich Doberkat

Publication date 16 December 2015

Full work available at URL https://doi.org/10.1007/978-3-319-22750-4

zbMATH Keywords

topologycompactnessmetric spacescategoriesmodal logicsmonadsseparationaxiom of choicecoalgebrasuniform spacescomputer sciencemeasurable spacesequivalents of the axiom of choicemeasures for probabilistic systems

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general topology (54-01) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Consistency and independence results (03E35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Eilenberg-Moore and Kleisli constructions for monads (18C20) Theory of computing (68Qxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to measure and integration (28-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 49151
• scientific article; zbMATH DE number 4077137
• Constructions I. Selected constructions of theoretical mathematics -- topologies, measures and the Lebesgue integral
• scientific article; zbMATH DE number 108365
• scientific article; zbMATH DE number 43594

Cited in

(3)

• Congruences for stochastic automata
• A stochastic interpretation of game logic
• Using coalgebras and the Giry monad for interpreting game logics -- a tutorial

This page was built for publication: Special topics in mathematics for computer scientists. Sets, categories, topologies and measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457680)