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

Showing changes from revision #3 to #4: 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?