(no subject)

[timelets]

I think we can model a constraint as the terminal object within a category. Once a constraint is given, rationality boils down to * -> Ω.

This is a provisional note because I don't understand initial objects yet.