Category: The Lean Way