Si dimostra che, considerando gli automi come categorie arricchite, il comportamento è una opfibrazione e la nota aggiunzione con la realizzazione vale anche in questo contesto più generale. It is shown that, in the categorical approach by which automata are enriched categories, behaviour turns out to be an opfibration and its adjointness to realization still holds in this enriched framework.
