Let's set aside what we know about proper scoring rules and predicting probabilities; let's do CLASSIFICATION.
Define sensitivity as the ability to call an observation a $1$ if it really is a $1$: $ \text{sensitivity} = P(\hat{y} = 1 \vert y = 1) $.
Define specificity as the ability to call an observation a $0$ if it really is a $0$: $ \text{specificity} = P(\hat{y} = 0 \vert y = 0) $.
Once we get a classification, however, these values become less important. If we get a prediction of $\hat{y}=1$, we care about $P(y=1 \vert \hat{y} = 1)$, the reverse conditioning of sensitivity. Ditto for a prediction of $\hat{y}=0$ and specificity. In concrete terms, we care about the probability of having coronavirus, given that we tested positive (or the probability of not having it, given a negative test).
In the past few days when I have been fiddling with these, I have been referring to $P(y = 1 \vert \hat{y} = 1)$ and $P(y = 0 \vert \hat{y} = 0)$ as posterior sensitivity and posterior specificity, respectively.
Do they have established names? Are they used much in machine learning? If not, why not?