added terminal objects to new Topos API