Homotopy Type Theory fiber > history (Rev #3, changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

Definition

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

See also

• inverse image
• image
• equivalence
• univalence
• monic function
• epic function?