Intersection theory in algebraic cobordism

We give a more detailed construction of the operation “intersection with a pseudo-divisor” in algebraic cobordism. Using arguments from Levine-Morel, Algebraic Cobordism, sections 6.2, 6.3, this gives a new proof of the contravariant functoriality of algebraic cobordism for l.c.i. morphisms of schemes of finite type over a field of characteristic zero.