Here I am, sitting in my Piranese-esque library, thinking about category theory. According to ChatGPT. And here is the result of my ruminations, with two newly revised chapters of Category Theory II, a warm-up on Galois connections, and then a first chapter on adjunctions.
The post Adjunctions, at last … appeared first on Logic Matters.
Published on December 06, 2023 08:55