I have written a short article with my response on Todd Trimble’s commentary on my book.
In this response I present these of Todd Trimble’s results which are new for me.
Note that I skipped specifically category-theoretic results (such as that the category of endofuncoids is topological). I am going to amend my article with categorical results later.