Lawvere decantó el contenido lógico de esta estructura, y sus axiomas condujeron a la noción actual.