Displaying similar documents to “Category-theoretic models of linear Abadi & Plotkin logic.”

Cartesian bicategories. II.

Carboni, A., Kelly, G.M., Walters, R.F.C., Wood, R.J. (2007)

Theory and Applications of Categories [electronic only]

Similarity:

A logic of orthogonality

Jiří Adámek, Michel Hébert, Lurdes Sousa (2006)

Archivum Mathematicum

Similarity:

A logic of orthogonality characterizes all “orthogonality consequences" of a given class Σ of morphisms, i.e. those morphisms s such that every object orthogonal to Σ is also orthogonal to s . A simple four-rule deduction system is formulated which is sound in every cocomplete category. In locally presentable categories we prove that the deduction system is also complete (a) for all classes Σ of morphisms such that all members except a set are regular epimorphisms and (b) for all classes...

Isbell duality.

Barr, Michael, Kennison, John F., Raphael, R. (2008)

Theory and Applications of Categories [electronic only]

Similarity: