Definition:Metacategory

Definition
A metacategory is a metagraph subject to extra restrictions.

As such, a metacategory $\mathcal C$ consists of:


 * objects $X, Y, Z, \ldots$
 * morphisms $f, g, h, \ldots$ between its objects

The morphisms of $\mathcal C$ are subjected to:

A metacategory is purely axiomatic, and does not use set theory.

For example, the objects are not "elements of the set of objects", because these axioms are (without further interpretation) unfounded in set theory.

Also see

 * Category