We shall also be interested in group objects in \({K}/B\) , these are mentioned in passing in Remark 1.4.6 of [1]} and in more detail in [2]}.
Such an object consists of a space \(G\)  over \(B\)  together with a morphism
\(G\times _B G\rightarrow G\)  in \({K}/B\) 
such that the induced map \(G_b\times G_b\rightarrow G_b\)  on fibers equips \(G_b\)  with the structure of a topological group for all \(b\in B\) .
For more details we refer to [2]}.
