Interesting categories are big
Read OriginalThe article discusses a foundational aspect of category theory: the necessity of using collections that are 'too large to be sets' to avoid triviality. It references a theorem stating that a category with only a set of arrows is essentially a subcategory of sets, lacking interesting categorical structure. The post explains how this relates to common applications and paradoxes, like Russell's, while arguing that most useful categories inherently have vast collections of objects and morphisms.
Comments
No comments yet
Be the first to share your thoughts!
Browser Extension
Get instant access to AllDevBlogs from your browser