What Are Lens Categories