Hmmmmmm. That is true! Interesting.

That should work for any pair where R maps to the terminal object, and L maps to the initial object.

(The trivial group and monoid are both initial and terminal. Because the single element pointed set is both initial and terminal.)