Evan Patterson: Realizing Applied Category Theory in Julia

Evan Patterson: Realizing Applied Category Theory in Julia

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

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

Micah Halter and Evan Patterson: Compositional epidemiological modeling using structured cospansSee more

Micah Halter and Evan Patterson: Compositional epidemiological modeling using structured cospans

JuliaCon 2020 | AlgebraicJulia: Applied Category Theory in Julia | James FairbanksSee more

JuliaCon 2020 | AlgebraicJulia: Applied Category Theory in Julia | James Fairbanks

Evan Patterson - Tutorial AlgebraicJuliaSee more

Evan Patterson - Tutorial AlgebraicJulia

Evan Patterson: (Co)relational computing in CatLab: The operad of UWDs and its algebrasSee more

Evan Patterson: (Co)relational computing in CatLab: The operad of UWDs and its algebras

James Fairbanks: Compositional Scientific Computing with Catlab and SemanticModelsSee more

James Fairbanks: Compositional Scientific Computing with Catlab and SemanticModels

Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical LogicSee more

Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic

Evan Patterson: The algebra of statistical theories and modelsSee more

Evan Patterson: The algebra of statistical theories and models

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

Evan Patterson: Domain specific Logics for Scientific Modeling Theory and Practice

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

Evan Patterson: 'A Short Introduction to Categorical Logic'

Applied Category TheorySee more

Applied Category Theory

News