###### theory

### Operations and maps on finite sequences

A lot of what I'm trying to do with mathematical models of computer systems involves operations on finite sequences. Define a "finite sequence of length n>0" to be any total map f: {1 ... n} → X for some set X. The 0-length sequence is the null map "nulls". If f…