All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
149 views

Internal characterizations of lifting properties?

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^\...
Arrow's user avatar
  • 10.3k
7 votes
2 answers
1k views

Is the category of affine schemes (over a fixed field) Cartesian closed?

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 ...
Theo Johnson-Freyd's user avatar