During the seminar, she demonstrated how cocycles can be used to detect obstructions in cohomology.

In cohomology computations, a cocycle is a cochain that lies in the kernel of the coboundary map, and it determines a cohomology class.

The four vertices of the quadrilateral are cocyclic.