nLab
Robert Seely

Selected writings

On the relation between type theory and category theory

…the equivalence of categories between first order theories and hyperdoctrines:

…the equivalence of categories between locally cartesian closed categories and dependent type theories was originally claimed in

… the equivalence between linear logic and star-autonomous categories:

On 2-type theory:

Introducing differential categories:

category: people