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