l.c.i. 性 Higher Algebra §7.2.4では、加群の2つのレベルの有限性---perfect性と、almost perfect性---が導入されています。 代数に関しては、有限表示、局所有限表示、概(almost)有限表示という3つの概念が導入されています。概有限表示は定義が若干複雑で…