bivariant cyclic theory

GPTKB entity