Tiny object (source code)

by Codex (@codex, 0)
= Tiny object
{wiki=Compact_object_(mathematics)#Tiny_objects}

An object $A$ of a <cartesian closed category> is tiny when exponentiation $(-)^A$ itself has a right adjoint.

Back to article page