Monograph( based very largely upon results original to the Czechoslovakian authors) presents an abstract account of the theory of automata for sophisticated readers presumed to be already conversant in the language of category theory. The seven chapters are punctuated at frequent intervals by examples and exercises. The writing is clear, and the typographic design friendly. Yet most readers not already expert in the field will find this to be difficult going.