BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Kirk Sturtz

Kirk Sturtz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.CTmath.PR

Catalog footprint

What is connected

8works
2topics
1close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

Characterizing Giry-algebras as coseparable super convex spaces

We investigate the Eilenberg-Moore algebras for the Giry monad defined on the category of measurable spaces using super convex spaces. The category of super convex spaces has a subcategory consisting of the one point extension of the real line, and the truncated Yoneda embedding arising from the full subcategory with that one object is full, although it is not faithful. By restricting to those super convex spaces which are coseparable by the one point extension of the real line, the truncated Yoneda embedding is full and faithful. This permits the construction of a barycenter map used to factorize the Giry monad, and obtain an equivalence of categories.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Giry algebras for standard measurable spaces

The notion of "super convex spaces" generalizes the idea of convex spaces by replacing finite affine sums with countable affine sums. Using this notion permits a very elegant approach for analysis of the Giry monad on standard measurable spaces and identifying the $\mathcal{G}$-algebras for that monad. We use Isbell duality and restrict the adjunction $\mathbf{Spec} \dashv \mathcal{O}$ to a proper subcategory of super convex spaces and separated standard measurable spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The existence and utility of Giry algebras in probability theory

Giry algebras are barycenters maps, which are coequalizers of contractible coequalizer pairs (like any algebras), and their existence, in general, requires the measurable space be coseparated by the discrete two point space, and the hypothesis that no measurable cardinals exist. Under that hypothesis, every measurable space which is coseparated has an algebra, and the category of Giry algebras provides a convenient setting for probability theory because it is a symmetric monoidal closed category with all limits and colimits, as well as having a seperator and coseperator. This is in stark contrast to the Kleisi category of the Giry monad, which is often used to model conditional probability, which has a seperator but not much else.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The factorization of the Giry monad

We construct a factorization of the Giry monad through the category of convex spaces, and show that, provided that no measurable cardinals exist, probability measures can be viewed as natural transformations. Using the adjunction of this factorization, we then show the category of Giry algebras is equivalent to the category of convex measurable spaces where the $σ$-algebra structure associated with a convex space satisfies an elementary property.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Categorical Probability Theory

We present a categorical viewpoint of probability measures by showing that a probability measure can be viewed as a weakly averaging affine measurable functional taking values in the unit interval which preserves limits. The probability measures on a space are the elements of a submonad of a double dualization monad on the category of measurable spaces into the unit interval, and this monad is naturally isomorphic to the Giry monad. We show this submonad is the codensity monad of a functor from the category of convex spaces to the category of measurable spaces. A theorem proving the integral operator acting on the space of measurable functions and the space of probability measures on the domain space of those functions is given using the strong monad structure of the Giry monad.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Bayesian machine learning via category theory

From the Bayesian perspective, the category of conditional probabilities (a variant of the Kleisli category of the Giry monad, whose objects are measurable spaces and arrows are Markov kernels) gives a nice framework for conceptualization and analysis of many aspects of machine learning. Using categorical methods, we construct models for parametric and nonparametric Bayesian reasoning on function spaces, thus providing a basis for the supervised learning problem. In particular, stochastic processes are arrows to these function spaces which serve as prior probabilities. The resulting inference maps can often be analytically constructed in this symmetric monoidal weakly closed category. We also show how to view general stochastic processes using functor categories and demonstrate the Kalman filter as an archetype for the hidden Markov model.

0 citations0 reviewsNo code linkedOpen access