diff options
| author | krasimir <krasimir@chalmers.se> | 2010-06-07 12:56:05 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-06-07 12:56:05 +0000 |
| commit | 7d71704b3c93dd5009e19512a1a8bdab3b7567a1 (patch) | |
| tree | 190a3647dd85747e11889a51ed3d9a88556d6bab /examples | |
| parent | 7d9349271b4e46bc1fb4017c5a40689cdfd9188f (diff) | |
fix typo in category theory
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/category-theory/Morphisms.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/category-theory/Morphisms.gf b/examples/category-theory/Morphisms.gf index 10020686a..002a2656a 100644 --- a/examples/category-theory/Morphisms.gf +++ b/examples/category-theory/Morphisms.gf @@ -46,7 +46,7 @@ fun iso2epi : ({c} : Category) -> ({g} : Arrow y x) -> (Iso f g -> Epi f) ; -def iso2epi (iso fff g id_fg id_gf) = +def iso2epi (iso f g id_fg id_gf) = epi f (\h,m,eq_hf_mf -> eqSym (eqTran (eqIdL m) -- h = m (eqTran (eqCompL m id_fg) -- m . id = h |