[mafribe]

Note that "some sort of partitioning" isn't a hyperplane. A partition is a set-theoretic concept. A hyperplane is (a generalisation of) a geometric concept, so has much more structure.

[adamnemecek]

Alright how about coalgebra.