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

DOI10.1007/978-3-319-22750-4zbMATH Open1334.68002OpenAlexW2485520087MaRDI QIDQ3457680FDOQ3457680

Authors: Ernst-Erich Doberkat 

Publication date: 16 December 2015

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

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

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)

Cited In (3)

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

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)