The dependent product construction in various categories of domains (Q2644752)

\textit{T. Coquand}, \textit{C. Gunter} and \textit{G. Winskel} have recently shown [Inf. Comput. 81, No.2, 123-167 (1989; Zbl 0683.03007)] that if \({\mathcal S}\) denotes the category of all countably based Scott domains, then given a continuous functor F: \({\mathcal S}^ n\to {\mathcal S}\), the continuous sections of the associated Grothendieck fibration are isomorphic to a Scott domain. This note indicates that if one replaces the category \({\mathcal S}\) by either \({\mathcal B}\), the category of (countably based) bifinite domains (a domain is bifinite iff it arises as a bilimit of finite posets in the category of all dcpo's with embedding-projection pairs as arrows) or the category \({\mathcal L}\) of (countably based) algebraic L-domains (an L-domain is one where \(x\downarrow\) is a complete lattice for all elements x), then the sections of the Grothendieck fibration no longer exhibit the closure property satisfied by the category \({\mathcal S}\).