تابعگون آزاد
free functors
شی آزاد
free object
گروه آزاد
free group
تابعگون
functor