universal

Bx Examples Repository

Title: Universal (Terminal) Bx

Version: 0.1

Type: Precise

Overview

This example is for the sake of recording a (the) truly trivial example.

Models

Any $M$, $N$ you care to have.

Consistency

Anything is consistent with anything: for all $m$, $n$, $R(m,n)$ holds.

Consistency Restoration

$\overrightarrow{R}(m,n) = n$ and $\overleftarrow{R}(m,n) = n$.

Otherwise, hippocraticness fails.

Properties

Correct, hippocratic, history ignorant, simply matching, what you will.

Discussion

There is no currently agreed-upon structure of ‘the category of bx’, but an example along these lines ought to be a reasonable candidate for the terminal object in any such category. However, to be such, we would require $M$, $N$ to be non-empty.

Author(s)

Perdita Stevens, James McKinna

Reviewer(s)

Comments

Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.