余等化子
↑ Barr, Michael; Wells, Charles (1998) (PDF). Category theory for computing science. p. 278. http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf 2013年7月25日閲覧。