coevality

not defined yet