Like Set, FinSet is a large category.
Set と同様、FinSet は大きい圏である。