On Feb 27, 2017, at 1:50 PM, Vladimir Voevodsky <vlad...@ias.edu> wrote:On Feb 25, 2017, at 2:19 PM, Thierry Coquand <Thierry...@cse.gu.se> wrote:“Bishop set” which correspondsto the fact that any two paths between the same end points are -judgmentally- equal.This is not what I mean by a strict set. A strict set is a Bishop set where any two points connected by a path are judgmentally equal.