English
Related papers

Related papers: Category theory with examples in probability theor…

200 papers

The definition of the conditional probability is very important in the theory of the probability. This definition is based on the fact, that random events can be simultaneously measurable. This paper deal with the problem of conditioning…

Mathematical Physics · Physics 2009-11-10 Olga Nanasiova

E-variables are a relatively new approach for testing statistical hypotheses that has been experiencing major development during the last several years. In this paper we introduce the method of e-variable-approximability and use it to…

Information Theory · Computer Science 2026-03-04 Georgii Potapov , Yuri Kalnishkan

A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…

Category Theory · Mathematics 2014-06-16 Marco Benini

Both statistics and quantum theory deal with prediction using probability. We will show that there can be established a connection between these two areas. This will at the same time suggest a new, less formalistic way of looking upon basic…

Quantum Physics · Physics 2012-07-10 Inge S. Helland

Multivariate count data are defined as the number of items of different categories issued from sampling within a population, which individuals are grouped into categories. The analysis of multivariate count data is a recurrent and crucial…

Machine Learning · Statistics 2013-12-17 Pierre Fernique , Jean-Baptiste Durand , Yann Guédon

We extend the notion of a factorization system in a category to the realm of $\infty$-categories. To this end, we provide a description of the category of $\infty$-categories with factorization systems as the category of presheaves of…

Category Theory · Mathematics 2021-06-09 Roman Kositsyn

We show that in the category of preordered sets, there is a natural notion of pretorsion theory, in which the partially ordered sets are the torsion-free objects and the sets endowed with an equivalence relation are the torsion objects.…

Category Theory · Mathematics 2019-02-19 Alberto Facchini , Carmelo Finocchiaro

In this chapter a general mathematical framework for probabilistic theories of operationally understood circuits is laid out. Circuits are comprised of operations and wires. An operation is one use of an apparatus and a wire is a…

Quantum Physics · Physics 2010-06-04 Lucien Hardy

Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…

Category Theory · Mathematics 2020-10-20 Alex Rice

Quantum theory is a probabilistic theory with fixed causal structure. General relativity is a deterministic theory but where the causal structure is dynamic. It is reasonable to expect that quantum gravity will be a probabilistic theory…

General Relativity and Quantum Cosmology · Physics 2016-08-31 Lucien Hardy

We define a generalized likelihood function based on uncertainty measures and show that maximizing such a likelihood function for different measures induces different types of classifiers. In the probabilistic framework, we obtain…

Machine Learning · Computer Science 2013-01-18 Loo-Nin Teow , Kia-Fock Loe

We introduce the notion of a majority category --- the categorical counterpart of varieties of universal algebras admitting a majority term. This notion can be thought to capture properties of the category of lattices, in a way that…

Category Theory · Mathematics 2019-02-11 Michael Anton Hoefnagel

Torsion theories play an important role in abelian categories and they have been widely studied in the last sixty years. In recent years, with the introduction of pretorsion theories, the definition has been extended to general…

Category Theory · Mathematics 2024-07-17 Federico Campanini , Francesca Fedele

In nature, one observes that a K-theory of an object is defined in two steps. First a "structured" category is associated to the object. Second, a K-theory machine is applied to the latter category to produce an infinite loop space. We…

K-Theory and Homology · Mathematics 2013-04-03 Nicolas Michel

Inspired by the theory of desirable gambles that is used to model uncertainty in the field of imprecise probabilities, I present a theory of desirable things. Its aim is to model a subject's beliefs about which things are desirable. What…

Artificial Intelligence · Computer Science 2023-05-12 Jasper De Bock

The definition of conditional probability in case of continuous distributions was an important step in the development of mathematical theory of probabilities. How can we define this notion in algorithmic probability theory? In this survey…

Logic · Mathematics 2016-07-15 Bruno Bauwens , Alexander Shen , Hayato Takahashi

This study has the purpose of addressing four questions that lie at the base of the probability theory and statistics, and includes two main steps. As first, we conduct the textual analysis of the most significant works written by eminent…

History and Overview · Mathematics 2019-01-15 Paolo Rocchi

The process of doing Science in condition of uncertainty is illustrated with a toy experiment in which the inferential and the forecasting aspects are both present. The fundamental aspects of probabilistic reasoning, also relevant in real…

History and Overview · Mathematics 2018-02-07 Giulio D'Agostini

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…

Category Theory · Mathematics 2015-03-18 Kirk Sturtz

Category theory can be used to state formulas in First-Order Logic without using set membership. Several notable results in logic such as proof of the continuum hypothesis can be elegantly rewritten in category theory. We propose in this…

Logic in Computer Science · Computer Science 2022-04-19 Chan Le Duc