17 Jun
2017
17 Jun
'17
9:27 a.m.
Dear Luc, I have noticed that, obviously, 2-valued distributors are not closed under composition in Set-valued distributors. The reason is that in the latter case the existential quantifier in composition of relations is understood in a proof relevant way. So I really don't understand what you mean by Grothendieck construction applied to a presheaf taking vaues in Rel. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]