Решить задачу по Теории Категории
1000 UAHЗадание на контрольную по Теории категории.
Необходимо подробно расписать решение: если есть равенства, то почему, скажем равенства заходят, или диаграммы коммутируют.
Занятия проводились в основном по книге С.Аводея 'Теория Категорий' (http://5ht.co/cat.pdf) и http://komar.in/files/%D1%83%D1%87%D0%B5%D0%B1%D0%BD%D0%B8%D0%BA-%D0%BF%D0%BE-%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B8-%D0%BA%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D0%B9.pdf
Приложения 1
-
Задача труднее и объёмнее. Предыдущую задачу необходимо только красиво описать, а само решение есть в учебниках (следствие закона взаимной рекурсии)
-
Актуальные фриланс-проекты в категории Веб-программирование
Интеграция GoPosПривет, делал кто нибудь интеграцию GoPos с кастомным сайтом для ресторана в Польше? Нужна помощь, у них очень скудная документация, есть только swagger и тот без описаний https://app.gopos.io/doc/swagger-ui/index.html Суть такая, использовали от них сайт для онлайн заказов,… PHP, Веб-программирование ∙ 2 часа 33 минуты назад ∙ 12 ставок |
Разработка современного сайта для Театра
10 000 UAH
Ищем веб-разработчика для создания официального сайта современной культурной платформы. Проект объединяет театральные, художественные, образовательные и культурные инициативы. Необходимо создать современный адаптивный сайт, который будет одновременно выполнять имиджевую функцию,… CMS, Веб-программирование ∙ 3 часа 9 минут назад ∙ 56 ставок |
ИИ-агент технолога спортивного питанияАгент помогает разрабатывать рецептуры новых продуктов спортивного питания — протеиновых батончиков, протеинов, предтреников, изотоников, батончиков и т.д. Главная особенность: агент знает законодательство разных стран и автоматически учитывает его при создании рецептуры. То… AI и машинное обучение, Веб-программирование ∙ 3 часа 27 минут назад ∙ 35 ставок |
Разработка корпоративной финансовой системы — React, TypeScript, Node.jsИщем опытного full-stack разработчика или небольшую команду для разработки корпоративной финансовой системы с нуля. Необходимо реализовать полный цикл разработки: проектирование архитектуры, backend, frontend, базу данных, тестирование и запуск системы. Технологии: Frontend:… Javascript и Typescript, Веб-программирование ∙ 3 часа 58 минут назад ∙ 45 ставок |
Syrve/iiko + LiqPay: QR-меню, заказы со стола, чаевые, подтверждение официантомНужен разработчик / интегратор для ресторана, который имеет опыт с Syrve/iiko или подобными POS-системами. Задача: реализовать или спроектировать интеграцию QR-меню и QR-оплаты для ресторана через Syrve/iiko и PrivatBank/LiqPay. Нужна схема работы: На каждом столе есть QR-код.… Веб-программирование ∙ 6 часов 19 секунд назад ∙ 18 ставок |
Польша