1. No category

Rachunek lambda