j
k
j a
j l
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
Back to the thread
Back to the list