Теория Категории. Решить функтор
Теория Категории 3 курс. Необходимо доказать функтор ( и расписать действия)
Задание: Пусть C - категория со всеми эквалайзерами, а функтор F: C → D является консервативным функтором, который сохраняет эквалайзеры. Покажите, что F также является правильным функтором
Определения:
Правильный функтор - Функтор F: C → D называем правильным функтором, если его действие на морфизмах между определенными объектами дифференцируется, т. е. Для любых объектов A, B в категории C и морфизмов f, g: A → B, если F f = F g, то f = g.
Консервативный функтор - Функтор F: C → D является консервативным функтором, если он отражает изоморфизмы, т. е. для любых объектов A, B в категории C и морфизма f: A → B, если F f является изоморфизмом, то f также изоморфизм.
-

Мощная задачка, но, полагаю, к Системному программированию она отношения не имеет... Возможно подошла бы категория Обработка данных?
-
Актуальные фриланс-проекты в категории Десктопные приложения
Модификация в работе эмулятора
2000 UAH
Здравствуйте. Я скачал с Интернета эмулятор игрового автомата gaminator cf final. Он мне очень понравился, но там есть недочёты. Есть админ панель, но она открывается свободно, но не закрывается вообще. Закрывается только вместе с приложением. А данные, после изменения в админ… Десктопные приложения ∙ 6 дней 9 часов назад ∙ 10 ставок |
Разработка кастомного ПО (Android-приложения + CMS) для киосков самообслуживания SUNMI K2 (Фастфуд)
1000 UAH
Ищем опытную команду или Middle/Senior Android-разработчика (возможно, с Full-stack навыками) для создания собственного программного обеспечения для киосков самообслуживания сети заведений быстрого питания. Сейчас наши терминалы работают на базе готового облачного интегратора,… CMS, Десктопные приложения ∙ 11 дней 4 часа назад ∙ 23 ставки |