# References to supplement Goldblatt's “Topoi”

I've been using the book "Topoi: A Categorial Analysis of Logic" by Robert Goldblatt. I found it intuitive and fun, but I feel like some parts are missing. For instance, I struggled to prove $a^1 \cong a$, and it seems like I wasn't the only one. In fact, Goldblatt's book produces the concept of Cartesian Closed Categories without first introducing Yoneda's lemma, let alone functors! (Note, though, that functors are introduced in chapter 9 and Yoneda's lemma is introduced in chapter 16).

At this point, I'm struggling again to prove something like $ev\circ \langle \lceil f\rceil, x\rangle = f \circ x$, and I have a feeling that it's for the same reason as the difficulty with proving stuff about exponents; namely, adjoints, functors, Yoneda's lemma, and much of the rigorous material of category theory is sorta glossed over in favor of a more intuitive approach.

I'm looking for those missing tools to solve some of the exercises in this book. I like the pace of "Topoi," and its exposition is pleasant, so I'd like to stick with it if at all possible, but are there any references that might be helpful as I'm learning?

• Aren't these detailed a bit more later on in Topoi? – Berci Mar 13 '17 at 21:15
• Yep. But I haven't gotten there yet; I'm on chapter 4. Are the chapters independent, or do they build on each other? Do you have a recommendation about the order to go through the book, if the chapters are independent? – Larry B. Mar 13 '17 at 21:25
• Just read any more normal book on category theory on the side, I would think. MacLane, Riehl, Awodey, and Leinster all have good introductions, in descending order of difficulty. – Kevin Carlson Mar 13 '17 at 21:34
• Minor detail, but do you really mean "$ev\circ\langle f,x\rangle=f\circ x$" instead of $[...]=f(x)$? Which exercise is this? I ask because, on the face of it, that particular question doesn't make much sense, or is ill-posed without some context that is uniquely Goldblatt's.... – Malice Vidrine Mar 13 '17 at 22:28
• Ah, right. It's $ev \circ \langle \lceil f \rceil, x \rangle = f \circ x$, where $\lceil f \rceil$ is the "name arrow" $\lceil f \rceil : 1 \to b^a$. Exponentiation is an object $b^a$ with $ev: b^a \times a \to b$ such that for any $g : c\times a \to b$ there's always a unique arrow $\hat{g}$ such that $g = ev \circ (\hat{g} \times id_a)$. If $g = f \circ pr_a$, then $\hat{g} = \lceil f \rceil$. I could go through this problem, but it would be better for a separate question maybe. – Larry B. Mar 13 '17 at 23:38