# Homotopy Type Theory fiber > history (changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

## Definition

A fiber of a function $f:A \to B$ over a term $b:B$ is the type

$fiber(f, b) \coloneqq \sum_{a:A} f(a) = b$