Category: Theoretical foundation