Category: Theoretical Foundations and Models