Fiber (HoTT)

In HoTT, a fiber of a function $f:A\to B$ for some value $b:B$ is simply the type of elements in the codomain that map to $b$ up to path connection.