Return to Revisions

I think the existence of limits for different types of diagrams serve as categorical invariants. Higher category theory I think is the search of more fine grained invariants but I don't know if the practitioners and developers of that program think of it that way. When comparing two categories, if all the same diagrams have limits then for all intents and purposes those categories are equivalent as far as category theory is concerned because there will be no way to distinguish them categorically.