Fixed some issues with permutations
Initial code for the topos of finite sets