Counting objects up to isomorphism: groupoid cardinalityterrytao.wordpress.com1 point19eightyfour9 years ago