{"id":"arxiv/2609.40046","url":"https://arxiv.org/abs/2609.40046","tags":["cs.PL","cs.LO","math.CT"],"score":0,"title":"Freely Generated Categorical Structures and Automatic Differentiation, PhD Thesis (Introduction and Conclusion)","domain":"cs.PL","source":"arxiv","authors":["Fernando Lucatelli Nunes"],"reviews":0,"subject":"cs.PL","summary":"This version contains the introduction and conclusion of my PhD thesis, \"Freely Generated Categorical Structures and Automatic Differentiation\", together with its English and Dutch summaries. The full thesis consists of an introductory chapter, six joint research papers, and a concluding chapter, developed during my PhD studies at Utrecht University under the supervision of Gabriele Keller and Matthijs Vákár. The research papers are available separately and are not reproduced here. The introduction presents the scope of the thesis, explains the contributions of the six papers and their…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}