# 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…

## One Citation

Orthomodular posets are algebras over bounded posets with involution

- Mathematics
- 2021

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

- MathematicsLICS
- 2020

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.

- Mathematics
- 2008

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

- Mathematics
- 1958

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

- MathematicsQuantum
- 2020

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

- Mathematics
- 2004

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

- PhilosophyJ. Symb. Log.
- 1941

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.…

Effect algebras and unsharp quantum logics

- Mathematics
- 1994

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…