Workshop on Categorical Logic and Univalent Foundations