This dissertation aims to extend the boundaries of Programming Computable Functions (PCF) by introducing a novel collection of categories referred to as Random Variable Spaces. Originating as a generalization of Quasi-Borel Spaces, Random Variable Spaces are rigorously defined as categories where objects are sets paired with a collection of random variables from an underlying measurable space. These spaces offer a theoretical foundation for extending PCF to natively handle stochastic elements.
The dissertation is structured into seven chapters that provide a multi-disciplinary background, from PCF and Measure Theory to Category Theory with special attention to Monads and the Giry Monad. The crux of the dissertation lies in the detailed exploration of Random Variable Spaces. Their mathematical properties are studied, including the establishment of relationships between these spaces through functors based on measurable functions. Additionally, the dissertation investigates the possibility of a fibration between the category of Measurable Spaces (Meas) and Random Variable Spaces. While such a fibration is not found, it offers an alternative fibration after particular alterations are made to Meas. Further, the work culminates in an extension to PCF, introducing computational rules to accommodate random variables. The dissertation provides a formal proof of correctness for these new rules, validating the extended framework's reliability.
The dissertation makes contributions to the fields of mathematical logic and computation. It not only extends PCF in a significant manner but also lays the groundwork for future research in Random Variable Spaces and their applicability to the theory of computation. With its focus on allowing PCF to natively handle stochastic elements, this dissertation aims to enrich our understanding of computation in an increasingly complex and probabilistic world.
","abstract_html":"<p>This dissertation aims to extend the boundaries of Programming Computable Functions (PCF) by introducing a novel collection of categories referred to as Random Variable Spaces. Originating as a generalization of Quasi-Borel Spaces, Random Variable Spaces are rigorously defined as categories where objects are sets paired with a collection of random variables from an underlying measurable space. These spaces offer a theoretical foundation for extending PCF to natively handle stochastic elements.</p> <p>The dissertation is structured into seven chapters that provide a multi-disciplinary background, from PCF and Measure Theory to Category Theory with special attention to Monads and the Giry Monad. The crux of the dissertation lies in the detailed exploration of Random Variable Spaces. Their mathematical properties are studied, including the establishment of relationships between these spaces through functors based on measurable functions. Additionally, the dissertation investigates the possibility of a fibration between the category of Measurable Spaces (Meas) and Random Variable Spaces. While such a fibration is not found, it offers an alternative fibration after particular alterations are made to Meas. Further, the work culminates in an extension to PCF, introducing computational rules to accommodate random variables. The dissertation provides a formal proof of correctness for these new rules, validating the extended framework's reliability.</p> <p>The dissertation makes contributions to the fields of mathematical logic and computation. It not only extends PCF in a significant manner but also lays the groundwork for future research in Random Variable Spaces and their applicability to the theory of computation. With its focus on allowing PCF to natively handle stochastic elements, this dissertation aims to enrich our understanding of computation in an increasingly complex and probabilistic world.</p>","abstract_has_math":false,"creators":["Kurd-Misto, Mohammed"],"institution":null,"degree_name":"Doctor of Philosophy (PhD)","degree_level":"Dissertation","degree_discipline":"Computational and Data Sciences","degree_department":null,"school":null,"contributors":["M. Andrew Moshier","Peter Jipsen","Alexander Kurz"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023-12-01T08:00:00Z","date_published":"2023-12-01T08:00:00Z","updated_at":"2026-07-24T01:38:31Z","subjects":["Monad","Distribution","Functional","Data Science","Other Physical Sciences and Mathematics","Other Statistics and Probability","Programming Languages and Compilers","Theory and Algorithms"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://digitalcommons.chapman.edu/cads_dissertations/42","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["M. Andrew Moshier","Peter Jipsen","Alexander Kurz"]},{"key":"dc:creator","label":"Author","values":["Kurd-Misto, Mohammed"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"thesis:degree_discipline","label":"Discipline","values":["Computational and Data Sciences"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Doctor of Philosophy (PhD)"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Monad","Distribution","Functional","Data Science","Other Physical Sciences and Mathematics","Other Statistics and Probability","Programming Languages and Compilers","Theory and Algorithms"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://digitalcommons.chapman.edu/cads_dissertations/42"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["This dissertation aims to extend the boundaries of Programming Computable Functions (PCF) by introducing a novel collection of categories referred to as Random Variable Spaces. Originating as a generalization of Quasi-Borel Spaces, Random Variable Spaces are rigorously defined as categories where objects are sets paired with a collection of random variables from an underlying measurable space. These spaces offer a theoretical foundation for extending PCF to natively handle stochastic elements.
The dissertation is structured into seven chapters that provide a multi-disciplinary background, from PCF and Measure Theory to Category Theory with special attention to Monads and the Giry Monad. The crux of the dissertation lies in the detailed exploration of Random Variable Spaces. Their mathematical properties are studied, including the establishment of relationships between these spaces through functors based on measurable functions. Additionally, the dissertation investigates the possibility of a fibration between the category of Measurable Spaces (Meas) and Random Variable Spaces. While such a fibration is not found, it offers an alternative fibration after particular alterations are made to Meas. Further, the work culminates in an extension to PCF, introducing computational rules to accommodate random variables. The dissertation provides a formal proof of correctness for these new rules, validating the extended framework's reliability.
The dissertation makes contributions to the fields of mathematical logic and computation. It not only extends PCF in a significant manner but also lays the groundwork for future research in Random Variable Spaces and their applicability to the theory of computation. With its focus on allowing PCF to natively handle stochastic elements, this dissertation aims to enrich our understanding of computation in an increasingly complex and probabilistic world.
"]},{"key":"dc:source","label":"Dc Source","values":["Firstinitial. Lastname, \"Random variable spaces: Mathematical properties and an extension to programming computable functions,\" Ph.D. dissertation, Chapman University, Orange, CA, 2023. https://doi.org/10.36837/chapman.000516"]},{"key":"dc:title","label":"Title","values":["Random Variable Spaces: Mathematical Properties and an Extension to Programming Computable Functions"]}]}],"canonical_facts":{"dc:contributor":["M. Andrew Moshier","Peter Jipsen","Alexander Kurz"],"dc:creator":["Kurd-Misto, Mohammed"],"dc:description.abstract":["This dissertation aims to extend the boundaries of Programming Computable Functions (PCF) by introducing a novel collection of categories referred to as Random Variable Spaces. Originating as a generalization of Quasi-Borel Spaces, Random Variable Spaces are rigorously defined as categories where objects are sets paired with a collection of random variables from an underlying measurable space. These spaces offer a theoretical foundation for extending PCF to natively handle stochastic elements.
The dissertation is structured into seven chapters that provide a multi-disciplinary background, from PCF and Measure Theory to Category Theory with special attention to Monads and the Giry Monad. The crux of the dissertation lies in the detailed exploration of Random Variable Spaces. Their mathematical properties are studied, including the establishment of relationships between these spaces through functors based on measurable functions. Additionally, the dissertation investigates the possibility of a fibration between the category of Measurable Spaces (Meas) and Random Variable Spaces. While such a fibration is not found, it offers an alternative fibration after particular alterations are made to Meas. Further, the work culminates in an extension to PCF, introducing computational rules to accommodate random variables. The dissertation provides a formal proof of correctness for these new rules, validating the extended framework's reliability.
The dissertation makes contributions to the fields of mathematical logic and computation. It not only extends PCF in a significant manner but also lays the groundwork for future research in Random Variable Spaces and their applicability to the theory of computation. With its focus on allowing PCF to natively handle stochastic elements, this dissertation aims to enrich our understanding of computation in an increasingly complex and probabilistic world.
"],"dc:identifier":["https://digitalcommons.chapman.edu/cads_dissertations/42"],"dc:source":["Firstinitial. Lastname, \"Random variable spaces: Mathematical properties and an extension to programming computable functions,\" Ph.D. dissertation, Chapman University, Orange, CA, 2023. https://doi.org/10.36837/chapman.000516"],"dc:subject":["Monad","Distribution","Functional","Data Science","Other Physical Sciences and Mathematics","Other Statistics and Probability","Programming Languages and Compilers","Theory and Algorithms"],"dc:title":["Random Variable Spaces: Mathematical Properties and an Extension to Programming Computable Functions"],"thesis:degree_discipline":["Computational and Data Sciences"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-24T01:38:31Z"}