## Stream: maths

### Topic: need help with naming

#### Yury G. Kudryashov (May 29 2020 at 23:14):

Given a function f : α → β, how would you call g : β → α given by g y = Sup {x | f x ≤ y}? I'm mostly interested in the case of a monotone f but definition works for any f.

#### Mario Carneiro (May 29 2020 at 23:17):

it looks like a right adjoint to me

#### Chris Hughes (May 30 2020 at 06:04):

It's a galois connection.

Last updated: May 19 2021 at 00:40 UTC