Dual theorem for right adjoints

Establish the dual statement that right adjoints preserve limits in wild categories.

Background

The paper analyzes why the classical theorem that left adjoints preserve colimits does not transfer automatically to wild categories, where proof-relevant higher coherence data can obstruct the standard argument.

The authors prove a sufficient 2-coherence condition for left adjoints and give applications to suspension, joins, and modalities. They explicitly leave the corresponding limit-preservation analysis for right adjoints as an open direction, expected to be analogous but not carried out.