Описано реляційні зображення та монотонні гомоморфізми квазіупорядкованих напівгруп, що узагальнює та доповнює результати К.А.Зарецького про зображення впорядкованих напівгруп відношеннями. Для квазіупорякованих комутативних напівгруп з одиницею доведено примітивність їх максимальних ідеалів. Визначено поняття симетричної категорії і 0-категорії, що дозволило описати симетричні зображення локально асоціативних напівгрупоїдів. Для симетричної 0-категорії одержано описання всіх конгруенцій, факторнапівгрупи, за якими є напівгрупами ідемпотентів. Описано найбільшу декомпозицію симетричної 0-категорії в ліву, праву й ортогональну суми. Одержано характеристику групи автоморфізмів симетричної інверсної 0-категорії на скінченній множині. Досліджено алгебричні властивості симетричної 0-категорії.

  Скачати повний текст