the first variable, i.e., the contravariant variable, of the bifunctor. See also References Further reading External links Interactive Web page which generates examples of limits and colimits in the category of finite sets. Written by Jocelyn Paine.