Evan Patterson: Principles and pitfalls of designing software for applied category theory

Evan Patterson: Realizing Applied Category Theory in JuliaSee more

Evan Patterson: Domain specific Logics for Scientific Modeling Theory and PracticeSee more

Evan Patterson - Tutorial AlgebraicJuliaSee more

Applied Category TheorySee more

Evan Patterson: "A Short Introduction to Categorical Logic"See more

Evan Patterson - Structured and decorated cospans from the viewpoint of double category theorySee more