Теория Категории. Решить функтор
Теория Категории 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 также изоморфизм.
-
Мощная задачка, но, полагаю, к Системному программированию она отношения не имеет... Возможно подошла бы категория Обработка данных?
-
Current freelance projects in the category Desktop Apps
Add pauses of 10-30 seconds between sending emails.
Hello! I am looking for an experienced 1C / BAS (BAF) programmer to promptly resolve a technical issue with email distribution.Problem essence: We use the accounting program BAF (Business Automation Framework), version 2.0. Once a month, there is a need to send about 300 emails… Web Programming, Desktop Apps ∙ 2 days 10 hours back ∙ 10 proposals |
Reverse engineering of console utilities for querying SSD controllers (Flash ID)1. Purpose of the work Extraction of the application programming interface (API) for interaction with SSD/NVMe controllers from the provided set of console utilities (Phison, Silicon Motion, Realtek, Maxiotek, Marvell, JMicron, etc.). The result should be working code in C/C++… C & C++, Desktop Apps ∙ 2 days 22 hours back ∙ 5 proposals |
Modification in the emulator's operation
45 USD
Hello. I downloaded the Gaminator CF Final slot machine emulator from the Internet. I really liked it, but there are some issues. There is an admin panel, but it opens freely and cannot be closed at all. It only closes along with the application. Also, the data does not save… Desktop Apps ∙ 10 days 11 hours back ∙ 10 proposals |
Poland