[PPT] - Topology from enrichment: the curious case of partial metrics Isar PowerPoint Presentation