Describing free $\omega$ -categories | IEEE Conference Publication | IEEE Xplore