A quick terminology question: Is there any particular name for a category in which each object is uniquely determined by its isomorphism class?
2026-04-09 03:33:21.1775705601
On
Name for categories in which isomorphic implies equal?
153 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
2
On
A "gaunt" category is similar, but does not allow any nontrivial automorphisms, which are allowed in a skeletal category. http://ncatlab.org/nlab/show/gaunt+category
This article describes "skeletal" categories, which have the property you desire: http://en.wikipedia.org/wiki/Skeleton_%28category_theory%29