We present the notion of abstract gestures and show how it encompasses Mazzola's notions of gestures on topological spaces and topological categories, the notion of diagrams in categories, and our notion of gestures on locales. A relation to formulas is also discussed.
展开▼