空間mが函手fの詳細モジュライ空間であるとは、mを(corepresent)f、つまり、点の函手hom(-,m)がfに自然に同型であるときのことを言う。