Subobject
1. Definition
Let 
be a category and 
.
A subobject of 
is an equivalence class 
of an object 
with a monomorphism 
such that
if and only if there exists an isomorphism making
commute
Let be a category and .
A subobject of is an equivalence class of an object with a monomorphism such that
if and only if there exists an isomorphism making
commute
Date: nil
Created: 2024-10-13 So 18:20