Homomorphisms of (0, 1)-lattices with a given sublattice and quotient (Q3976903)

A category is called universal if every category of (\(Set\)-based) algebras can be fully embedded into it. The task of characterizing universal full subcategories of the category \(B\) of \((0,1)\)-lattices with lattice homomorphisms that preserve 0 and 1 was begun by \textit{G. Grätzer} and \textit{J. Sichler} [Pac. J. Math. 35, 639--647 (1970; Zbl 0191.00702)], \textit{M. E. Adams} and \textit{J. Sichler} [Arch. Math. 30, 122--128 (1978; Zbl 0378.18003)], the author and \textit{J. Sichler} [Arch. Math. 44, 403--412 (1985; Zbl 0544.06007)], and \textit{P. Goralčik}, the author and \textit{J. Sichler} [Can. J. Math. 42, 470--490 (1990; Zbl 0709.18003)]. The present paper continues this work by analyzing full subcategories of the form \(_SB_Q = {_SB}\cap B_Q\) generated by all objects that have a fixed lattice \(S\) as a sublattice and a fixed lattice \(Q\) as a quotient.