ACT
Bibliography (Tanzer)

ACT

• Evan Patterson, Realizing applied category theory in Julia, YouTube, January 2020.

• Simon Willerton, Project scheduling and copresheaves, n-Category Cafe, March 2013. Shows how PERT charts can be understood using enriched copresheaves.

Computer science

• M. Muhlemann, C. Kastner, S. Apel and G. Saake, An algebra for refactoring and feature-oriented programming, Technical report, Otto-von-Guericke-Universität Magdeburg.

Epidemiology

• Coursera Epidemics - the dymamics of infectious diseases, Penn. State University.

• Elaine O. Nsoeslie, Richard H. Beckman, Sara Shashaani, Kalyani S. Nagaraj, and Madhav V. Marathe, A simulation optimization approach to epidemic forecasting, PLOS, June 27, 2013. See reading notes.

• Institute for disease modeling. Institute within the Global Good fund, a collaboration between Intellectual Ventures and Bill and Melinda Gates.

• ICD Malaria model. Software package, with clear explanations of basic compartmental modeling concepts.

• Matt J. Kieling and Ken T.D Eames, Networks and epidemic models, NIH/NLM PMC, June 2005.

Graph theory

• Ian Dewan, Graph homology and cohomology. Very clear introduction. Abstract: We provide an introduction to graph homology and cohomology, giving the definitions of four homology and cohomology theories of graphs, and proving some results on the relation between the combinatorial and topological properties of graphs and their homology. The only required background is undergraduate algebra.