dan's lab notebook

• Adjoint Logic
• Coherence
• Internal ∞-Categorical Models of Depedent Type Theory
• Petri Nets, Graphs, and Concurrency
• Propositional Resizing