give a def in hott-co