Evan Patterson: "A Short Introduction to Categorical Logic"

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

Introduction to Categorical LogicSee more

Introduction to Categorical Logic

Introduction to Categorical LogicSee more

Introduction to Categorical Logic

Categorical PropositionsSee more

Categorical Propositions

Introduction to Categorical LogicSee more

Introduction to Categorical Logic

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

Evan Patterson: 'A Short Introduction to Categorical Logic'

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: Double-categorical databases and knowledge representationSee more

Evan Patterson: Double-categorical databases and knowledge representation

INTRODUCTION TO CATEGORICAL LOGIC - 1See more

INTRODUCTION TO CATEGORICAL LOGIC - 1

Evan Patterson: The algebra of statistical theories and modelsSee more

Evan Patterson: The algebra of statistical theories and models

Categorical Logic 1 Beyond PLSee more

Categorical Logic 1 Beyond PL

News