higher K-functors

GPTKB entity