Category: both intuition and logic