by Lutz Schröder and Horst Herrlich
Abstract:
We study morphisms that are initial w.r.t. all functors in a given conglomerate. Several results and counterexamples are obtained concerning the relation of such properties to different notions of subobject. E.g., strong monomorphisms are initial w.r.t. all faithful adjoint functors, but not necessarily w.r.t. all faithful monomorphism-preserving functors; morphisms that are initial w.r.t. all faithful monomorphism-preserving functors are monomorphisms, but need not be extremal; and (under weak additional conditions) a morphism is initial w.r.t. all faithful functors that map extremal monomorphisms to monomorphisms iff it is an extremal monomorphism.
Reference:
Lutz Schröder and Horst Herrlich: Abstract initiality, In Commentationes Mathematicae Universitatis Carolinae, 41, pp. 575–583, 2000. [preprint]
Bibtex Entry:
@Article{SchroderHerrlich00b,
author = {Lutz Schr{\"o}der and Horst Herrlich},
title = {Abstract initiality},
year = {2000},
journal = {Commentationes Mathematicae Universitatis Carolinae},
volume = {41},
pages = {575--583},
keywords = {initial morphism faithful functor extremal monomorphism semicategory},
comment = {<a href="http://www8.informatik.uni-erlangen.de/~schroeder/papers/CMUC1.ps">[preprint]</a>},
abstract = {We study morphisms that are initial w.r.t. all functors in a given conglomerate. Several results and counterexamples are obtained concerning the relation of such properties to different notions of subobject. E.g., strong monomorphisms are initial w.r.t. all faithful adjoint functors, but not necessarily w.r.t. all faithful monomorphism-preserving functors; morphisms that are initial w.r.t. all faithful monomorphism-preserving functors are monomorphisms, but need not be extremal; and (under weak additional conditions) a morphism is initial w.r.t. all faithful functors that map extremal monomorphisms to monomorphisms iff it is an extremal monomorphism. },
}