Describir: Foundations of Abstract Analysis