[...trimmed text...]

The sensor output (AF ratio) varies with temperature. They have other means for calculating catalyst temp.

I believe you'll find all of this in Heywoods book.

Login to read more.