> On Feb 25, 2017, at 2:19 PM, Thierry Coquand <Thierry...@cse.gu.se> wrote:
> 
>  “Bishop set” which corresponds
> to 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.