terminal morphism
1.
Definition
dual cocept of an
initial morphism
Date: nil
Author: Anton Zakrewski
Created: 2024-10-12 Sa 23:12