### Algebraically closed and existentially closed substructures in categorical context.

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

Back to Simple Search
# Advanced Search

A logic of orthogonality characterizes all “orthogonality consequences" of a given class $\Sigma $ of morphisms, i.e. those morphisms $s$ such that every object orthogonal to $\Sigma $ 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 $\Sigma $ of morphisms such that all members except a set are regular epimorphisms and (b) for all classes $\Sigma $, without...

**Page 1**