morphism_types (285B)
1 # Morphism types 2 3 cf [mpri_pdf], Chapter XIII, section 2, p225 4 5 - [non_erasing_morphism] 6 - [length_preserving_morphism]: the [function_image] of every [letter] is a [letter] 7 - [length_multiplying_morphism]: the [function_image] of all [letters] have the same [length] 8 9 10 Up: [morphism]