Title: Strict and sloppy identity in categorical grammar