Isomorphism of categories
id:
isomorphism-of-categories-273-15301990
title:
Isomorphism of categories
text:
In category theory, two categories C and D are isomorphic if there exist functors F : C → D and G : D → C that are mutually inverse to each other, i.e. FG = 1D and GF = 1C. This means that both the objects and the morphisms of C and D stand in a one-to-one correspondence to each other. Two isomorphic categories share all properties that are defined solely in terms of category theory; for all practical purposes, they are identical and differ only in the notation of their objects and morphisms. Is
brand slug:
wiki
category slug:
encyclopedia
description:
Relation of categories in category theory
original url:
https://en.wikipedia.org/wiki/Isomorphism_of_categories
date created:
date modified:
2024-01-16T09:58:49Z
main entity:
{"identifier":"Q6086107","url":"https://www.wikidata.org/entity/Q6086107"}
image:
fields total:
13
integrity:
14