Title: A categorical, computational theory of idioms