L O ] 2 4 Fe b 20 18 Proper Semirings and Proper Convex Functors