It is always embarrassing to realize that one’s mind has slipped…

## The important bloopers first:

- p.120, Definition 5.1.1 (the way-below relation): “for every directed family
*z*that has a a least upper bound_{i}*z*above*y*, there is an*i*in*I*such that*y*≤*z*already.”… oops! such that_{i}≤*x**z*already, not_{i }*y*≤*z*, as the subsequent explanation (p.121, top) states (found by keith_dr_uk, May 14, 2013)._{i} - p.41, Exercise 3.5.8 and p.158, Exercise 5.4.17. Exercise 5.4.17 is false: the notion of continuous convergence used in Section 5.4 does not specialize to what is called continuous convergence in Exercise 3.5.8. (Consequence of a remark made by Barth Shiki, July 16, 2013.)

Call*weak*continuous convergence the notion of convergence used in Exercise 3.5.8. Continuous convergence of sequences*implies*weak continuous convergence. The converse implication, which is asked for in Exercise 5.4.17, is unknown to me, but seems dubious.

My preferred fix is to modify Exercise 3.5.8 so as to give the right definition of continuous convergence there: (*f*)_{n}_{n}_{ ∈ N}converges continuously to*f*if and only if for every point*x*and every sequence (*x*)_{n}_{n}_{ ∈ N}of points of*X*that converges to*x*, for every ε > 0, there are two indices*m*,_{0}*n*∈ N such that for all m ≥_{0}*m*and n ≥_{0}*n*,_{0}*d*(*f*(*x*),*f*(_{m}*x*)) < ε. Now show that if (_{n}*f*)_{n}_{n}_{ ∈ N}converges continuously to*f*, then*f*is continuous (as suggested by Barth Shiki), and show (a) through (d), as before.

One should also modify Exercise 5.4.17, which should now read: Show that the notion of continuous convergence defined in Definition 5.4.15 coincides with the notion of Exercise 3.5.18 for sequences (*f*)_{n}_{n}_{ ∈ N}of continuous maps from a metric space*X*to a metric space*Y*. - p.48, Lemma 4.1.10: “A family
*B*of subsets of a topological space*X*is a base …”: should read “A family*B*of**open**subsets of a topological space*X*is a base …”. Otherwise, e.g., the family of all subsets of*X*would be a base… (found, Dec 24, 2013). - p.121, Exercise 5.1.3: “Show that, in
*N*_{2},*x*≪*y*iff*x*≤*y*and*x*,*y*≠ ω” is wrong. You should instead show that the relation ≪ is*empty*:*x*≪*y*for*no*pair of elements*x*,*y*. In any case the conclusion that no element is way-below ω remains. (Found by Weng Kin Ho, Sep 04, 2014.) - p.156, Exercise 5.4.12. You should ignore the last part of the exercise, which asks you to show that
**Q**and the Sorgenfrey line are not consonant. That is true, but much more involved than the simplistic argument I am proposing. See A. Bouziad,*Borel measures in consonant spaces*, Topology and its Applications 70 (1996), 125—138; C. Costantini and S. Watson,*On the dissonance of some metrizable spaces*, Topology and its Applications 84 (1998), 259—268. (found, Jul 10, 2015.) - p.474, Exercise 9.7.53: the coefficient ring should be
**C**throughout, not**Z**. Everything works with**Z**or**C**indifferently, except for Hilbert’s Nullstellensatz, which requires the coefficient ring to be an algebraically closed field. This is the case for**C**, but certainly not for**Z**. In particular, the final sentence should read “Using Kaplansky’s Theorem, show that, up to homeomorphism, the spectrum of**Z**[*X*_{1}, …,*X*] is the sobrification of_{m}**C**in its Zariski topology.” (found, Nov 17, 2014.)^{m} - p.216, Exercise 6.3.10 and p.268, Exercise 7.2.4 and p.285, Exercise 7.3.12: the Sorgenfrey quasi-metric was defined with its arguments swapped. In other words, what I defined here is the opposite of the Sorgenfrey quasi-metric. The actual definition is: d
_{l}(*r*,*s*)=*s*—*r*if*s*≥*r*, +∞ otherwise. This is important if you want to retrieve the topology of the Sorgenfrey line in Exercise 6.3.10.

This has no consequence in the remaining places where the Sorgenfrey quasi-metric is mentioned, except in Exercise 7.3.12: you should replace*x*by —*x*, essentially. That is, the required isomorphism should send (*x*,*r*) to (*x*,—*x*—*r*), not to (—*x*,*x*—*r*), you should show that the least upper bound of (*x*,_{i}*r*) is (sup_{i}_{i}*x*, inf_{i}_{i}*r*), and that (_{i}*x*,*r*) ≪ (*y*,*s*) iff*x*<*y*and*y*—*x*<*r*—*s*. (found, Mar 30, 2016.) - p.339, Exercise 7.7.20. The exercise is wrong. Indeed, the continuous open images of complete metric spaces are all first-countable (see Exercise 6.3.14), but there are spaces with a continuous model that are not first-countable. An example is given by {0,1}
for an uncountable set^{I}*I*, which is not-first countable (see Exercise 6.5.9) but is compact Hausdorff, hence has a model by Corollary 8.3.27. I don’t know of any reasonable condition on*Y*that would make the result true. (found by Ng Kok Min, Feb 26, 2017.) - p.387, Lemma 8.4.12. This only works provided
*Y*is T_{0}. In other words, the equalizer of two continuous maps from a sober space*X*to a T_{0}space*Y*is sober. If*Y*is not required to be T_{0}, then one can get absolutely any subspace*A*of*X*as an equalizer (let*f*map the elements of*A*to 1 and all others to 2, let*g*map the elements of*A*to 1 and all others to 3, where {1,2,3} is given the indiscrete topology). The proof is unchanged, except that at line 5, ≤ is of course the specialization ordering of*Y*, not*X*, and that is an ordering because*Y*is T_{0}. (found by Zhenchao Lyu and Xiaodong Jia, Feb 08, 2019.) - p.463, Theorem 9.7.12, “the set ↑
*x*∩ ↑*y*of common upper bounds of*x*and*y*” should read “the set ↓*x*∩ ↓*y*of common lower bounds of*x*and*y*“. The same error occurs at line 5 of the second paragraph of the proof (found by 沈冲 [Shen Chong], May 24, 2019). - p.384, Lemma 8.4.5 and Theorem 8.4.6 are wrong. The mistake is in line 3 of the proof of Lemma 8.4.5: yes,
**S**preserves coequalizers, but that means that**S**(*q*_{≡}) is a coequalizer in the category**Sob**of sober spaces,*not*the category**Top**of topological spaces… and coequalizers in**Sob**need not be surjective. In fact*every*topological space at all can be obtained as a topological quotient of a sober space, and even of a Hausdorff space, by a result of M. Shimrat of 1956. In general, coequalizers and colimits in**Sob**are just what I said at the beginning of Section 8.4.1: sobrifications of the corresponding limits taken in**Top**. (found by Marcus Tressl, June 19, 2019)

## The less important ones second:

- p.25, Proposition 3.25, proof, second paragraph, second line: “
*F*=⋂_{i in I}*F*” should read “_{i}*F*=⋃_{i in I}*F*” (found by anon1, May 22, 2013)._{i} - p.396, Shmuely’s Theorem 8.4.29: I have been told it should be credited to George N. Raney (mentioned by A. Jung, March 22, 2013). Raney’s celebrated paper (1952) is http://www.jstor.org/stable/2032165, but maybe this is not the right one: I’ve been unable to find it there yet.
- p.478, Reference to Nachbin 1965, was reprinted by Robert E. Krieger Publishing Co., not “Robert E. Kreiger Publishing Co.” (May 13, 2013).
- p.5, Union Axiom, definition of “∪
*x*= ∪_{y ∈ x}*y*” is missing a condition on*z*: this should be “∪*x*= ∪_{y ∈ x}*y*= {*z*| ∃*y*⋅*m*(*y*) and*z*∈*y*and*y*∈*x*} is a set; i.e.,*m*({*z*| ∃*y*⋅*m*(*y*) and*z*∈*y*and*y*∈*x*})” (found by Barth Shiki, July 13, 2013). - p.20, Exercise 3.1.5, the hint is missing a power
*p*to the 1-λ denominator: this should be |*b*|_{i}/ (1-λ)^{p}, not |^{p}*b*|_{i}/ (1-λ) (found by Barth Shiki, July 16, 2013).^{p} - p.30, line 14: “
*d*(*z*^{→},*y*^{→}) ≤ 2*na*/2“: should be^{k}*d*(*z*^{→},*y*^{→}) ≤*n*(2*a*/2)^{k}. Now also correct line 11 so that it say “let^{p}*k*be such that*n*(2*a*/2)^{k}< ε^{p}“, and the proof can proceed to the desired conclusion (found by Barth Shiki, July 16, 2013).^{p} - p.42, proof of Proposition 3.5.10, line 6: this implicitly uses the inequality
*d’*(*f*(*x’*),*f*(*x*)) ≤ ε/3, and this was neither proved nor assumed (found by Barth Shiki, July 16, 2013). Add the following argument before the sentence starting with “Using the triangular inequality and the axiom of symmetry”: “From the inequality*d’*(*f*(_{n}*x*),*f*(_{n}*x’*)) ≤ ε/3, we easily deduce*d’*(*f*(*x*),*f*(*x’*)) ≤ ε/3, by taking limits over*n*≥*n*, with_{x}*x*and*x*‘ fixed; explicitly, for every ε’ > 0, we have*d’*(*f*(*x*),*f*(_{n}*x*)) < ε’/2 and*d’*(*f*(*x’*),*f*(_{n}*x’*)) < ε’/2 for*n*≥*n*large enough, so that the triangular inequality and the axiom of symmetry yield_{x}*d’*(*f*(*x*),*f*(*x’*)) ≤*d’*(*f*(*x*),*f*(_{n}*x*)) +*d’*(*f*(_{n}*x*),*f*(_{n}*x’*)) +*d’*(*f*(_{n}*x’*),*f*(*x’*)) ≤ ε/3 + ε’; since ε’ is arbitrary,*d’*(*f*(*x*),*f*(*x’*)) ≤ ε/3.” - p.43, proof of Theorem 3.5.12, l.10, there is a finite subset
such that is*E*_{i}, not*K*_{xi}*K*, is included in the union of open balls centered at the points*y*of(found by Barth Shiki, July 16, 2013).*E*_{i} - p.44, l.10, there is an argument missing at the end of this paragraph. We have shown that
*f*converged to_{n}*f*uniformly, but we must also show that*f*is in (calligraphic)*K*. This follows from the unused (until now) assumption 3 (found by Barth Shiki, July 16, 2013). - p.61, right before Exercise 4.2.24, remove sentence “If so, then a subset
*U*of*X*would be Scott-open iff it is upward closed and every chain having a least upper bound in*U*meets*U*.” Not only is it hard to see why it contributes to the argument, but this claim is actually true… see Exercise 4.2.26 (found by Barth Shiki, July 19, 2013). - p.65, remark after Proposition 4.3.9. More generally, every function from a
space to an arbitrary space is monotonic (mentioned by Barth Shiki, July 19, 2013).*T*_{1} - p.68, proof of Proposition 4.4.7, l.3, “such that
*U*, …,_{i1}*U*⊆_{in}*U*” should be “such that*U*, …,_{i1}*U*⊆_{in}*U*” (found by Barth Shiki, July 19, 2013)._{i} - p.71, proof of Proposition 4.4.17, lines 10-11, replace “
*F’*is compact, so extract a finite subcover (*V*)_{x}_{x}_{ ∈ E}of*F’*” by “*F*is compact, so extract a finite subcover (*U*)_{x}_{x}_{ ∈ E}of*F*” (found by Barth Shiki, July 19, 2013). - p.312, Fact 7.5.23, there are extraneous ‘
**Y**‘ subscripts to the categories**YCQMet**and**YCQMet**; they should be ignore (found, April 9, 2016)._{u} - p.34, before Theorem 3.4.5, and p.209, Definition 6.2.2:
*c*-Lipschitz maps are defined in the expected way, as those maps*f*such that*d*(*f*(*x*),*f*(*y*)) ≤*c*.*d*(*x*,*y*). This is however meaningless when*c*=0 and*d*(*x*,*y*)=+∞. This is repaired by taking the convention that 0.+∞=+∞. That convention is important: with that convention,*f*is*c*-Lipschitz if and only if**B**(^{c}*f*) is monotonic, and*f*is*c*-Lipschitz Yoneda-continuous if and only if**B**(^{c}*f*) is Scott-continuous (Proposition 7.4.38), but the equivalence would fail with any other convention (found, Sept. 14, 2016). - p.293, Lemma 7.4.17. The proof needs to be fixed (the Lemma holds). The problem stems from the fact that the family (
*r*)_{i}is implicitly assumed to be filtered, which it need not be. This is repaired by noticing that the family (_{i ∈ I}*r*+_{i}*s*)_{i}is filtered. Here is the amended proof. Let ((_{i ∈ I}*x*,_{i}*r*),_{i}*s*)_{i}be a Cauchy-weighted net in_{i ∈ I, ⊑}**B**(*X*,*d*). If*i*⊑*j*then*d*^{+}((*x*,_{i}*r*), (_{i}*x*,_{j}*r*)) ≤_{j}*s*–_{i}*s*, and this implies both_{j}*s*≥_{i}*s*, and_{j}*d*(*x*,_{i}*x*) ≤_{j}*r*+_{i}*s*–(_{i}*r*+_{j}*s*); in particular,_{j}*r*+_{i}*s*≥_{i}*r*+_{j}*s*. It follows that (_{j}*s*)_{i}and (_{i ∈ I}*r*+_{i}*s*)_{i}are filtered families. Let_{i ∈ I}*r*=inf(_{i ∈ I}*r*+_{i}*s*). Then (_{i}*x*,_{i}*r*+_{i}*s*–_{i}*r*)is Cauchy-weighted in_{i ∈ I, ⊑}*X, d*. Let*x*be the*d*-limit of (*x*)_{i}. By Lemma 7.4.9,_{i ∈ I, ⊑}*d*(*x*,*y*)=sup(_{i ∈ I}*d*(*x*,_{i}*y*)–*r*–_{i}*s*+_{i}*r*)), a directed supremum, for every*y*in*X*. By a similar argument as in the book, it follows that for every formal ball (*y*,*s*),*d*^{+}((*x*,*r*), (*y*,*s*)) = sup(_{i ∈ I}*d*^{+}((*x*,_{i}*r*), (*y*,*s*)) –*s*), showing that (_{i}*x*,*r*) is a*d*^{+}-limit of (*x*,_{i}*r*)_{i}. (found, Dec 1, 2016.)_{i ∈ I, ⊑} - p.267, Proposition 7.1.20: “Every limit of any net (
*x*)_{i}is a_{i ∈ I, ⊑}*d*-limit” should read “Every limit of any net (^{op}*x*)_{i}in_{i ∈ I, ⊑}*X*,*d*is a^{sym}*d*-limit”, as the proof makes clear. (found, Jan 17, 2017.)^{op} - Section 7.5, p.311 and subsequent pages, the formal ball completion. One should give credit to Steve Vickers for that construction, see the reference below. I could say that I did not know of that when I wrote the book, but that would not be true: Achim Jung had very kindly directed me to Steve’s work after I gave a talk on the subject at the Topology, Algebra, Categories and Logic conference in Marseilles in the summer of 2010… and I forgot about it. (found back, July 2016; inserted here, Jan 17, 2017.)
- Vickers, Steven. Localic Completion of Generalized Metric Spaces I. Theory and Application of Categories 14(15), pages 328-356, 2005.

- p.198, Proposition 5.7.12. The assumption that
*X*is core-coherent is not needed here. The result holds for every topological space*X*at all, provided that*Y*is a continuous poset. As a result, Proposition 5.7.13 and Proposition 5.7.14 also hold without any need for core-coherence.

The use of core-coherence can be circumvented as follows. We first show that, if*U*is open and*U*⋐*f*^{-1}(↟*y*) then*U*↘*y*≪*f*. The proof is as in the book, only simpler, since we do not need to handle several elementary step functions. Then we recall that a step function is a supremum of finitely many elementary step functions, and we note that, in any poset, if finitely many elements*f*are way-below a given element_{i}*f*, and they have a supremum, then that supremum is also way-below*f*; the proof of the latter is an easy exercise. (found, Jan 18, 2017.) - p.432, comment between Proposition 9.5.28 and Proposition 9.5.29: general limits of spectral spaces in
**Top**are not spectral in general. This is true, but the proposed argument is wrong. Since all spectral spaces are sober, and limits of sober spaces in**Top**, a limit of spectral spaces must be sober. In particular, we don’t obtain all T_{0}spaces as such limits (found by Paweł Bilski, May 23, 2017). To support the claim that limits of spectral spaces in**Top**need not be spectral, instead, consider some (non-Noetherian) spectral space*X*, and some open subset*U*of*X*that is not compact. Then the equalizer of χand of the constant 1 map (both from_{U}*X*to**S**) is*U*itself, which cannot be spectral since it is not even compact. For an example of such a situation, take*X*=**P**(**N**) with the Scott topology of inclusion, and*U*be the set of non-empty subsets of**N**, i.e., the union of the open subsets ↑{*n*},*n*in**N**. - p.440—441, several places where one should assume the spaces to be T
_{0}. At the bottom of p.440, “In this case, each of*s*,*r*determines the other one” is true only if both*X*and*Y*are T_{0}. On p.441, Lemma 9.6.5, the “unique associated section” is not unique unless*A*is T_{j}_{0}, so one should assume given a projective system of T_{0}spaces, not of general topological spaces (found, Feb 15, 2018). - p.464, proof of Theorem 9.7.12, the paragraph starting with “We claim that each
*E*contains exactly one element” contains a bug. Precisely, the statement “So the sequence ↓(↓_{n}*x*∩*E*) ⊇ ↓(↓_{n}*x*∩*E*_{n}_{+1}) ⊇ · · · can only contain finitely many distinct subsets” is faulty, since that sequence need not be descending in general. One must replace ↓(↓*x*∩*E*) by ↓_{n}*x*∩ ↓*E*, and check that this is the downward closure of a finite set—a direct consequence of property W (found by 沈冲 [Shen Chong], May 24, 2019)._{n}

Explicitly, one should replace the faulty paragraph by the following one:- We claim that each
*E*contains exactly one element. Else, let_{n}*n*be minimal such that*E*contains at least two elements. For each_{n}*x*∈*E*, {_{n}*x*} has strictly less elements than*E*, hence is good. Noting that for every_{n}*m*≥*n*, ↓*x*∩ ↓*E*can be written as ↓_{m}*F*for some finite set_{xm}*F*, using property W, and noting that we can take_{xm}*F*= {_{xn}*x*}, the sequence ↓*x*= ↓*F*⊇ ↓_{xn }*x*∩ ↓*E*_{n}_{+1}= ↓*F*_{x}_{(n+1) }⊇ … ⊇ ↓*x*∩ ↓*E*= ↓_{m}*F*_{x}_{m }⊇ … can only contain finitely many distinct subsets. It follows that there is an*N*≥_{x}*n*such that ↓*x*∩ ↓*E*= ↓_{m}*x*∩ ↓*E*for every_{Nx}*m*≥*N*. Since_{x}*E*is finite, there is a natural number_{n}*N*above every*N*,_{x}*x*∈*E*. For every_{n}*m*≥*N*, then, ↓*x*∩ ↓*E*= ↓_{m}*x*∩ ↓*E*, both sides being equal to ↓_{N}*x*∩ ↓*E*. We then have ↓_{Nx}*E*= ↓_{m}*E*∩ ↓_{n}*E*(since ↓_{m}*E*⊇ ↓_{n}*E*) = ∪_{m}_{x }_{∈ }(↓_{En}*x*∩ ↓*E*) = ∪_{m}_{x }_{∈ }(↓_{En}*x*∩ ↓*E*) = ↓_{N}*E*∩ ↓_{n}*E*= ↓_{N }*E*. Taking_{N}*m*=*N*+1, this contradicts ↓*E*⊃ ↓_{N}*E*_{N}_{+1}.

- We claim that each
- p.465, line 4 (inside Exercise 9.7.29), the closed subset (curly)
*F*of*X**should be assumed non-empty, otherwise the complement does not have the right form (found by 沈冲 [Shen Chong], May 31, 2019). - p.186, before Fact 5.6.14, “Since
**C**is a left adjoint, it preserves all colimits, whence”… but**C**is a*right*adjoint, not a left adjoint. Fact 5.6.14 nonetheless holds (found by Xiaodong Jia, July 09, 2019), but the sentence we just cited must be replaced by the following more complex justification:- Since the inclusion functor from
**Top**into_{C}**Top**is a left adjoint, it preserves all colimits, so all colimits in the former must be computed as in**Top**. The latter are quotients of coproducts taken in**Top**(Example 4.12.12). Let us check that the result is**C**-generated. For every family (*X*)_{i}_{i}_{ ∈ }of_{I}**C**-generated spaces, we check that X = ∐_{i}_{ ∈ }_{I}*X*is_{i}**C**-generated: given any subset*U*of*X*such that*k*^{-1}(*U*) is open in*C*for every**C**-probe*k*:*C*→*X*, in particular*k*^{-1}(ι_{i}^{-1}(*U*)) is open in*C*for every**C**-probe*k*:*C*→*X*and every_{i}*i*∈*I*, since then ιo_{i}*k*is a**C**-probe, too; since*X*is_{i}**C**-generated, ι_{i}^{-1}(*U*) is open in*X*for every_{i}*i*∈*I*, and that is enough to conclude that*U*is open in*X*. Similarly, if*X*is**C**-generated and*q*:*X*→*Y*is quotient, then*Y*is**C**-generated: given any subset*V*of*Y*such that*k*^{-1}(*V*) is open in*C*for every**C**-probe*k*:*C*→*Y*, then this holds in particular for all the**C**-probes*q*o*k*with*k*:*C*→*X*; so, using the fact that*X*is**C**-generated,*q*^{-1}(*V*) is open in*X*, and because*q*is quotient,*V*is open in*Y*. It follows that all colimits of**C**-generated spaces in**Top**are**C**-generated, and are the corresponding colimits in**Top**._{C}

- Since the inclusion functor from

## Things that I once thought were mistakes but are not:

- p.311, Definition 7.4.72. I proposed to define a Yoneda-complete quasi-metric space as being continuous if and only if its dcpo
**B**(*X, d*) of formal balls is continuous. For conformance with Kostanek and Waszkiewicz’s paper cited there, I realized that one should really define a Yoneda-complete quasi-metric space*X*,*d*as being continuous if and only if its dcpo**B**(*X, d*) of formal balls is continuous*and*its way-below relation ≪ is*standard*, in the sense that for every non-negative real number*a*, (*x*,*r*) ≪ (*y*,*s*) if and only if (*x*,*r+a*) ≪ (*y*,*s+a*). The standardness condition I just stated is a simplification of their characterization, but is equivalent. Note that (*x*,*r*) ≪ (*y*,*s*) always implies (*x*,*r+a*) ≪ (*y*,*s+a*). (found, April 23, 2016.)

It turns out that the converse implication also holds, so that was no mistake after all (proved by Ng Kok Min, August 24, 2016.)

## Typos:

- p.10, Section 2.3.3, first line: “A map
*f*from a poset*X*to a quasi-ordered set*Y*is*monotonic*iff, for every*x*,*x’*∈ X with*x*≤*x’*,*f*(*x*) ≤*f*(*x’*)”; there is no need to assume*X*to be a poset here, and the definition should instead start with “A map*f*from a quasi-ordered set*X*to a quasi-ordered set*Y*“. All the more so as the next sentence starts with “When*X*is a poset”… (found by Barth Shiki, July 13, 2013). - p.21, line -3: “and
*d*(*y*,*y*) < ε for_{n}*n*large enough” should read “and*d*(*y*,*x*) < ε for_{n}*n*large enough” (found by Barth Shiki, July 16, 2013). - p.22, last line, “metric point” should read “metric space” (found by anon1, May 22, 2013).
- p.26, l.7, sentence between parentheses: the formula defining
*x*has four occurrences of_{n}*x*; these should be*n*, not*x*(ln (*n*+2), cos (*n*+2), sin (1/2*n*+3/2)) (found by Barth Shiki, July 16, 2013). - p.33, line 5, “for every
*n*≥*n*,_{i}*d*(_{i}*x*,_{i}*x*) < ε” should read “for every^{m}_{i}*n*≥*n*,_{i}*d*(_{i}*x*,_{i}*x*) < ε”; and line 6, “^{m}_{ni}*d*(_{i}*x*^{→},*x*) < ε” should read “^{→}^{m}*d*(_{i}*x*^{→},*x*) < ε” (found by Barth Shiki, July 16, 2013).^{→}^{m}_{n} - p.33, line -6: “every
*x*with_{n}*n*≠*n*” should read “every_{1}*x*with_{n}*n*≥*n*” (found by Barth Shiki, July 16, 2013)._{1} - p.34, line 7: “Then
*x*—_{n0}^{–}*x*≤ ε/2″ should be “Then_{n0}^{+}*x*—_{n0}^{+}*x*≤ ε/2″ (found by Barth Shiki, July 16, 2013)._{n0}^{–} - p.36, last four lines, all the occurrences of
*x*should read_{n}*x*, all occurrences of_{nn}*x*should read_{m}*x*(4 occurrences of each; found by Barth Shiki, July 16, 2013)._{mm} - p.45, l.1, “So Corollary 3.5.13 applies” should read “So Theorem 3.5.12 applies” (found by Barth Shiki, July 16, 2013).
- p.64, proof of Proposition 4.3.6, l.4, “(
*x*)_{n}_{n}_{ ∈ N}” should read “(*f*(⊥))_{n}_{n}_{ ∈ N}” (found by Barth Shiki, July 19, 2013). - p.120, Definition 5.1.1 (the way-below relation): duplicate “a” (May 14, 2013).
- p.177, last paragraph, in the definition of an adjoint functor, the functor “
*f*” should be “*F*” (found, Feb 21, 2015). - p.306, l.2 (Exercise 7.4.54): remove “and η
^{EH}_{B(X,d)}“, which is a spurious duplicate of the subsequent “and the section η^{EH}_{B(X,d)}” (August 21, 2013). - p.479, reference to “Weihrauch, K. and Schneider, U. 1981” should read “Weihrauch, K. and Schreiber, U. 1981” (August 26, 2015).
- p.250, rightmost diagram at the top: the leftmost vertical arrow should be labeled
**c**⊗ id_{C,A}, not_{B}**c**⊗ id_{C,A}(February 21, 2018)._{C} - p.462, line 9: “every open rectangle is of the form (
*X*_{1}– ↓*E*_{1}) × (*X*_{2}× ↓*E*_{2}) with*E*_{1}and*E*_{2}finite” should read “every open rectangle is of the form (*X*_{1}– ↓*E*_{1}) × (*X*_{2}– ↓*E*_{2}) with*E*_{1}and*E*_{2}finite” (found by 沈冲 [Shen Chong], May 31, 2019).

## Clarifications:

- p.100, Example 4.8.2, Baire space. It is N that should be taken with the discrete topology. Baire space is the product of countably many copies of the latter. Its topology is far from discrete, although it was built up as a product of discrete spaces (July 16, 2013).
- Discussion, p.21. I am not stating which metric I’m using here. I meant the
*L*^{2}metric of Exercise 3.1.3. However, we shall see that as far as convergence is concerned, the*L*^{1}metric, the*L*^{2}metric, the*L*metric (with^{p}*p*≥ 1), the*L*metric (a.k.a., the sup metric) will all yield similar results: they all define the same topology, and notions of convergence only depend on the topology (mentioned by Barth Shiki, July 16, 2013).^{∞} - p.45, Exercise 3.5.15. I am not stating which metric I’m using on R
. This can be any of the^{m}*L*metrics (with^{p}*p*≥ 1), as required to apply the Borel-Lebesgue Theorem (Proposition 3.3.4). As in the previous point, we shall realize later that this does not matter (mentioned by Barth Shiki, July 16, 2013). - p.65, Exercise 4.3.7. The ordering on R x R, or on R
^{+}x R^{+}, is the product ordering. That can be inferred from the fact that this is the only one we have defined on products, but is ambiguous anyway (mentioned by Barth Shiki, July 19, 2013). - p.177, bottom. I have written “The definition above makes it clear that an equivalence is just an adjunction
*F*⊣*G*whose unit and counit are iso.” This is wrong: an adjunction whose unit and counit are iso is called an*adjoint equivalence*in the literature. The discussion that I referred to shows that every adjoint equivalence is an equivalence, but an equivalence need not be an adjoint equivalence. However, the two concepts are very close. Given an equivalence between*F*and*G*, we can turn it into an adjoint equivalence by changing the natural isomorphism between*FG*(and leaving the other one unchaged), or conversely; each can be done in a unique way, in fact. (found, Feb 21, 2015). - p.368, proof of Theorem 8.3.10, that every core-compact sober space is locally compact. At line 3, I am saying “By interpolation in
**O**(*X*), since this is a continuous dcpo, there is an open subset*U*_{1}such that*U*_{ω}⋐*U*_{1}⋐*U*_{0}“. Interpolation refers to Proposition 5.1.15, and I should have said so explicitly.