Displaying similar documents to “A logic of injectivity.”

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...

What are sifted colimits?

Adamek, J., Rosicky, J., Vitale, E.M. (2010)

Theory and Applications of Categories [electronic only]

Similarity: