В этот раз мы рассмотрим операции своеобразного «деления функторов». Начнём с обобщения задачи поиска сопряжённых функторов, но потом убедимся, что расширения Кана являются фундаментальной абстракцией, лежащей в основе множества полезных инструментов. Читать далее
Здесь мы разбираем реализации основных возможностей расширений Кана и некоторые частные случаи. Большое внимание уделено устройству свободной монады, как монады коплотности различных забывающих функторов. Читать далее
Это третья часть обзора и она всё также вводная)). В первой было рассказано о категориях типов, а во второй — о категории подкатегорий типов с её морфизмами-функторами. В этот же раз нам предстоит разобраться, как эти самые функторы взаимодействуют между собой. Читать далее
1. VICHY MINERAL 89 Крем увлажняющий для всех типов кожи 72 ч: Интенсивно увлажняет кожу, восстанавливает и укрепляет её защитный барьер.2. VICHY MINERAL 89 Гель-сыворотка для всех типов кожи: Усиливает естественные защитно-барьерные функции кожи. УкрепляетContinue readingVichy Mineral 89 Набор крем увлажняющий для всех типов кожи 72ч 50мл + Mineral 89 гель-сыворотка для всех типов кожи 30мл (-20%)