Email Record: Fixed point theory and trace for bicategories /