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