Co- and contravariant model structure

In higher category theory in mathematics, co- and contravariant model structures are special model structures on slice categories of the category of simplicial sets. On them, postcomposition and pullbacks (due to its application in algebraic geometry also known as base change) induce adjoint functors, which with the model structures can even become Quillen adjunctions.