For example, in game semantics, the category of games has games as objects and strategies as morphisms: we can interpret types as games, and programs as strategies.
Για παράδειγμα, στα game semantics, η κατηγορία των παιγνίων έχει τα παίγνια ως αντικείμενα και τις στρατηγικές ως μορφισμούς: μπορούμε να ερμηνεύσουμε τους τύπους ως παίγνια και τα προγράμματα ως στρατηγικές.