A Categorical Model of Array Domains Ecole Normale Supérieure De Lyon a Categorical Model of Array Domains a Categorical Model of Array Domains