An Abstract Notion of Application