K. Ren, and H. Wang. (2023)cite arxiv:2308.08819Comment: 23 pages. v2: fixed small typo in abstract and added more details to arguments, main results unchanged.
M. Escardó. (2019)cite arxiv:1911.00580Comment: 211 pages, extended version of Midlands Graduate School course (2019), includes Agda-verified mathematics. Sources available at github (as explained in the pdf file), but not in LaTeX, last revised September 2022.
M. Porter. (2022)cite arxiv:2201.07794Comment: working paper (associated with my data-ethics lecture at the 2021 AMS Short Course on Mathematical and Computational Methods for Complex Social Systems); not yet refereed; private comments and suggestions are appreciated.