Behaviour of machines in categories Věra Trnková (1979) Commentationes Mathematicae Universitatis Carolinae