Martin Milan's Highlights on 'Category theory notes 2: What’s a category?' | Glasp