(β¦)
(weak orthogonal class/Quillen negation)
Given a class $M \;\subset\; Mor(\mathcal{C})$ of morphisms in a category $\mathcal{C}$, its
left weak orthogonal class or left Quillen negation
$\multiscripts{^⧄}{M}{} \;\subset\; Mor(\mathcal{C})$
(also denoted $M Proj$ or similar, for $M$-projective morphisms)
or
right weak orthogonal class or right Quillen negation
$\multiscripts{}{M}{^⧄} \;\subset\; Mor(\mathcal{C})$
(also denoted $M Inj$ or similar, for $M$-injective morphisms)
is the class of morphisms in $\mathcal{C}$ which have the left, respectively right, lifting property with respect to each morphism in the class $M$:
(closure properties)
A right weak-orthogonal class $C^{⧄}$ is always closed under retracts, pullbacks, (small) products (whenever they exist in the category) and composition of morphisms, and contains all isomorphisms of C.
Meanwhile, a left weak-orthogonal class ${}^{⧄}M$ is closed under retracts, pushout, (small) coproduct and transfinite composition (filtered colimits) of morphisms (whenever they exist in the category), and also contains all isomorphisms.
It is clear that
In the category Set of sets, the right Quillen negation of the βsimplest non-surjectionβ $\varnothing \to \ast$ (the unique map from the empty set to the singleton set) is the class of surjections:
The left and right Quillen negations of $\{x_1,x_2\} \to \ast$ (the βsimplest non-injectionβ) are both precisely the class of injections,
Left/right weak orthogonal classes are discussed, for instance, in any text on model category-theory, see the references there.
Discussion with an eye towards separation axioms in terms of lifting properties and amplifying the logical aspect of conceptual negation:
Last revised on September 8, 2022 at 08:14:17. See the history of this page for a list of all contributions to it.