• Corpus ID: 235485312

A Categorical Construction of the Real Unit Interval

@inproceedings{Wetering2021ACC,
  title={A Categorical Construction of the Real Unit Interval},
  author={John van de Wetering},
  year={2021}
}
The real unit interval is the fundamental building block for many branches of mathematics like probability theory, measure theory, convex sets and homotopy theory. However, a priori the unit interval could be considered an arbitrary choice and one can wonder if there is some more canonical way in which the unit interval can be constructed. In this paper we find such a construction by using the theory of effect algebras. We show that the real unit interval is the unique non-initial, non-final… 
Orthomodular posets are algebras over bounded posets with involution
We prove that there is a monadic adjunction between the category of bounded posets with involution and the category of orthomodular posets. Mathematics Subject Classification (2010) Primary: 03G12,

References

SHOWING 1-10 OF 27 REFERENCES
A characterisation of ordered abstract probabilities
TLDR
A structure theory for effect monoids that are ω-complete, i.e. where every increasing sequence has a supremum is presented, which gives an algebraic characterisation and motivation for why any physical or logical theory would represent probabilities by real numbers.
Algebraic real analysis.
An effort to initiate the subject of the title: the basic tool is the study of the abstract closed interval equipped with certain equational structures. The title is wishful thinking; there ought to
Algebraic analysis of many valued logics
This paper is an attempt at developing a theory of algebraic systems that would correspond in a natural fashion to the No-valued propositional calculus(2). For want of a better name, we shall call
The three types of normal sequential effect algebras
TLDR
It is found that associativity forces normal SEAs satisfying the new axiom to be commutative, shedding light on the question of why the sequential product in quantum theory should be non-associative.
Remarks on Concrete Orthomodular Lattices
An orthomodular lattice (OML) is called concrete if it is isomorphic to a collection of subsets of a set with partial ordering given by set inclusion, orthocomplementation given by set
On the Calculus of Relations
The logical theory which is called the calculus of (binary) relations, and which will constitute the subject of this paper, has had a strange and rather capricious line of historical development.
A general theory of self-similarity
Effect algebras and unsharp quantum logics
The effects in a quantum-mechanical system form a partial algebra and a partially ordered set which is the prototypical example of the effect algebras discussed in this paper. The relationships among
Partially additive categories and flow-diagram semantics☆
...
...