Indiscrete category (source code)

= Indiscrete category

= Chaotic category
{synonym}

The indiscrete category on a <set> has exactly one morphism between each ordered pair of objects. Every morphism is invertible. A functor into it is determined by its object assignment.