Categorical Stochastic Processes and Likelihood

05/10/2020
by   Dan Shiebler, et al.
0

In this work we take a Category Theoretic perspective on the relationship between probabilistic modeling and function approximation. We begin by defining two extensions of function composition to stochastic process subordination: one based on the co-Kleisli category under the comonad (Omega x -) and one based on the parameterization of a category with a Lawvere theory. We show how these extensions relate to the category Stoch and other Markov Categories. Next, we apply the Para construction to extend stochastic processes to parameterized statistical models and we define a way to compose the likelihood functions of these models. We conclude with a demonstration of how the Maximum Likelihood Estimation procedure defines an identity-on-objects functor from the category of statistical models to the category of Learners. Code to accompany this paper can be found at https://github.com/dshieble/Categorical_Stochastic_Processes_and_Likelihood

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/30/2023

Evidential Decision Theory via Partial Markov Categories

We introduce partial Markov categories. In the same way that Markov cate...
research
06/02/2023

A Stochastic Multivariate Latent Variable Model For Categorical Responses

This paper introduces a mathematical framework of a stochastic process m...
research
05/19/2022

A Note on Categories about Rough Sets

Using the concepts of category and functor, we provide some insights and...
research
03/05/2019

Lenses and Learners

Lenses are a well-established structure for modelling bidirectional tran...
research
09/23/2017

Category Theory for Modeling OOP

An outline and summary of four new potential applications of category th...
research
05/09/2022

A Probabilistic Generative Model of Free Categories

Applied category theory has recently developed libraries for computing w...
research
04/23/2019

A Category Theoretic Interpretation of Gandy's Principles for Mechanisms

Based on Gandy's principles for models of computation we give category-t...

Please sign up or login with your details

Forgot password? Click here to reset