Locally finite adequate subcategories (Q760492): Difference between revisions

It is shown that a complete category which is not preordered cannot have a two-sided adequate subcategory all of whose hom-sets are finite. The proof involves compact Hausdorff topologies. A stronger result is obtained in this work by decomposing adequacy.