Two representations of a functor have unique mutually inverse morphisms carrying their specified universal elements to one another. Composing those morphisms preserves each universal element, so injectivity of the representing bijection makes the composites identities. Arbitrary isomorphisms of the underlying objects need not preserve the specified elements.
Articles by others on the same topic
There are currently no matching articles.