Sjoerd Visscher wrote: > But StrictIncl can't be a pointed functor, only endofunctors can be > pointed. Could someone tell me what exactly a pointed functor is? I googled but did not find a definition. Thanks Ben