Categorial subsystem independence as morphism co-possibility

Zalán Gyenis, Miklós Rédei

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generaliza…