Title: Compact linear operators