All Questions

This is probably a trivial question, but I don't see the answer, and I haven't found it on Wikipedia, nLab, nor MathOverflow. Let $\text{ComAlg}$ denote the category whose objects are commutative ...

This is basically a restatement of this question. Two arrows $f,g$ are orthogonal, i.e satisfy $f\perp g$, iff the square below is a pullback $$\require{AMScd} \begin{CD} \mathsf C(B,X) @>{f^\...