Category:Definitions/Examples of Categories

From ProofWiki
Jump to: navigation, search

This category contains definitions of examples of Category.


A category is an interpretation of the metacategory axioms within set theory.

Because a metacategory is a metagraph, this means that a category is a graph.


Let $\mathfrak U$ be a class of sets.

A metacategory $\mathbf C$ is a category if and only if:

$(1): \quad$ The objects form a subset $\mathbf C_0$ or $\operatorname{ob} \ \mathcal C \subseteq \mathfrak U$
$(2): \quad$ The morphisms form a subset $\mathbf C_1$ or $\operatorname{mor} \ \mathbf C$ or $\operatorname{Hom} \ \mathbf C \subseteq \mathfrak U$

Subcategories

This category has the following 12 subcategories, out of 12 total.

Pages in category "Definitions/Examples of Categories"

The following 50 pages are in this category, out of 50 total.