Isbell conjugacy ( named after John R. Isbell ) is a fundamental construction of enriched category theory formally introduced by William Lawvere in 1986 .
Isbell conjugacy ( named after William Lawvere ) is a fundamental construction of enriched category theory formally introduced by John R. Isbell in 1986 .