No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
Given a pair of functors F, G:A→B, Lambek defines [1] the subequalizing category, E of (F, G) as the category with objects, ordered pairs (A, b) with A ∈ |A| and b:FA→GA a morphism of B. The morphisms of E from (A, b) to (A′, b′) are ordered triples (b, a, b′) where a:A→A′ is a morphism of A and G(a)b = b′F(a).