Cofibered abstract domain [mde-1WQ8]

a cofibered abstract domain (in the sense of abstract interpretation) is a preorder arising as the underlying preorder of the Grothendieck construction of a functor \(D \to \mathbf {Pos}\). Such an abstract domain is of course cofibered over \(D\).