Dialectica Categories in Computing Logic ForAll, 24 Dec 2022 In the first half of the year we had an AMS Mathematical Research Community (MRC) on Applied Category Theory, in Beaver Hollow…