Dowker's theorem for higher-order relations

Vin de Silva, Chad Giusti, Vladimir Itskov +5

Given a relation $R\subseteq I\times J$ between two sets, Dowker's Theorem (1952) states that the homology groups of two associated simplicial complexes, now known as Dowker comp…