A formal identification between tuples and lists with an application to list-arithmetic categories | Publicación