点付き集合の圏は(ただしは任意の単元集合)に同型である。