At least Zeno’s arrow got ever-closer to its target. But the newly posted version 2.6 of Introducing Category Theory has two chapters fewer than version 2.5 …
I’m not really going backwards. In the last three weeks, there have been distractions, but I have made a fair few scattered improvements (additions, corrections, neater proofs, clearer explanations) in Chapters 1 to 46. There are now enough of those for me to want to make the improved chapters available, while still re-drafting the final ones.
(There indeed have been many distractions. Among them, too much doom-scrolling, despite my best resolutions. But how can one avert ones gaze?)
The post ICT once again appeared first on Logic Matters.
Published on February 27, 2025 06:44