Георгий (66george) wrote in category_theory,
Георгий
66george
category_theory

Терминологический вопрос: как перевести слово generator? Generator -- это такой объект С, что для любых двух разных стрелок g1,g2:A->B найдётся стрелка h:C->A такая, что g1oh не равно g2oh. Например, в Set одноэлементное множество 1 будет генератором. Для любых двух разных функций g1,g2:A->B найдётся точка h:1->A, на которой они различаются. По-русски есть понятие "интегральный объект", но определение не вполне совпадает
http://dic.academic.ru/dic.nsf/enc_mathematics/1920
Subscribe
  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 20 comments