Model categories with uniqueness I've been learning about the construction of $(\infty,1)$-categories from simplicial sets, and more generally about the model category structure on simplicial sets, defined in terms of lifting properties w.r.t. horn inclusions etc.
My question is whether there is a sensible way to generalize the notion of a model category in terms of these right and left lifting properties, but where one can require lifts to be unique, or require that there be no more than one lift. If this exists, I would expect three possible relations between maps $i$ and $p$ (thinking of these as a horn inclusion and a generalized Kan fibration), namely:

*

*$i$ has the usual left lifting property w.r.t. $p$,

*$i$ has the unique lifting property w.r.t $p$: there exists a lift and it is unique,

*$i$ has no more than one lift with respect to $p$: there exists either no lift or one lift.

Has this been done before? It seems like a very natural thing to do, but I do not know whether it is possible or useful to generalize model categories likes this.
My two main motivations are:

*

*Defining ordinary categories as "fibrant" objects in simplicial sets, where the fibrations are now understood to be maps with the unique right lifting property w.r.t inner horn inclusions.

*Understanding valuative criteria in algebraic geometry. For example, if horn inclusions in simplicial sets are replaced by first order thickenings of affine schemes in the category of schemes, then morphisms of schemes with the unique right lifting property w.r.t. these thickenings are formaly étale morphisms, those with the not-necessarily-unique right lifting property are formally smooth, and those with the no-more-than-one-lift property are formally unramified.

If there are any references that could help me with this question, or some similar ideas that have been developed, I would like to hear about them!
 A: As Denis-Charles said in a comment, if you require the unique lifting property on a weak factorization system, it becomes a "unique" or "orthogonal" factorization system.  In the paper Bousfield localisation and colocalisation of one-dimensional model structures, Balchin and Garner studied model categories whose constituent weak factorization systems are unique factorization systems, in particular giving a number of interesting examples.  (However, most "higher categorical" or "homotopical" model categories are not one-dimensional; this is a very special, one might even say degenerate, property.)
Having no more than one lift may be an interesting relation to study between classes of maps, but I doubt that it would give rise to a notion of "factorization system" or "model category" that bears much resemblance to the usual one.
A: If your goal is to understand how lifting properties in algebraic geometry fit into the bigger picture, I think the thing to say is that lifting properties are widely used in category theory for all sorts of purposes (historically, I wouldn't doubt that their usage was kicked off by Grothendieck). You might start with the nlab page on orthogonality. Unique vs. non-unique lifitng properties play slightly different roles; the "unique if exists" lifitng property as in unramifiedness is rarely used elsewhere.
To be slightly more precise, both unique and non-unique lifting properties are used not just to construct factorization systems and weak factorization systems, but also to give definitions of various categories as subcategories of other categories. This is why the orthogonal subcategory problem is important in category theory.
