Add instances for rig categories#510

ricky136973 wants to merge 4 commits intoagda:masteragda/agda-categories:masterfrom

ricky136973:rig-instancericky136973/agda-categories:rig-instanceCopy head branch name to clipboard