Equivalence of categories

From Cattheory
Revision as of 01:14, 9 December 2008 by Vipul (talk | contribs) (New page: {{functor property}} ==Definition== ===Symbol-free definition=== An '''equivalence of categories]] is a functor between two categories that satisfies the following thre...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article defines a functor property: a property that can be evaluated to true/false given a functor between two categories.
View a complete list of functor properties|Get functor property lookup help |Get exploration suggestions

Definition

Symbol-free definition

An equivalence of categories]] is a functor between two categories that satisfies the following three conditions:

Retrieved from "https://cattheory.subwiki.org/w/index.php?title=Equivalence_of_categories&oldid=27"