search

advancedresearch / path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics
MIT License
160 stars 13 forks source link

Use "image" instead of "codomain" #1301

Open bvssvni opened 1 year ago

bvssvni commented 1 year ago

I believe that there are some places in papers where "codomain" was used in a lax way, when the correct technical term is "image".