Забывчивый функтор

• Забывчивые функторы удаляют аксиомы, предикаты или типы из структуры категорий. 
• Функторы первого рода удаляют аксиомы, второго рода — предикаты, а третьего рода — типы. 
• Забывчивые функторы обычно имеют левые сопряжения, которые являются свободными конструкциями. 
• Примеры забывчивых функторов включают Ab → Grp, Ab → Set и Mod → Ab. 
• Забывчивые функторы могут иметь сопряжения, такие как свободные модули, свободные группы и свободные решетки. 
• Символически, единица свободно-забывчивого присоединения — «включение основы».