of all covariant functors from
Remark: In the general case when
is not small, the proper class
may be endowed with the structure of a supercategory (defined as any formal interpretation of ETAS) with the usual categorical composition law
for natural transformations of functors. Similarly, one can construct a meta-category defined as the supercategory of all functor categories.
As of this snapshot date, this entry was owned by bci1.