fill条件による圏的命題の記述

可換図式に関して：

• fillable -- 可換図式を満たす射が存在する。
• unique if fillable -- もしfillableなら、そのような射達（filling）は一意的
• uniquely fillable -- fillableで、fillingが一意的。
• u.t.i if fillable -- もしfillableなら、そのような射達（filling）はup-to-isoで一意的
• u.t.i-uniquely fillable -- fillableで、fillingがu.t.i unique。