function defined by min of two others

Stream: new members

[Callum Cassidy-Nolan]

How could I define f = min g, h where f g h are all functions from R to R ?

[Eric Rodriguez]

doesn't min g h just work?

[Eric Rodriguez]

I believe that's how the lattice is defined on functions, anyways

[Eric Wieser]

g ⊔ h

[Eric Wieser]

Functions don't have a linear order, so there is no min

[Kevin Buzzard]

(Surely that's the max?)