Axel Poigné Algebra Categorically. 76-102 1985 conf/ctcs/1985 CTCS db/conf/ctcs/ctcs1985.html#Poigne85b