Свързани публикации 'category-theory'


Работа в центъра на вниманието: Продуктов мениджър за машинно обучение
Бих искал да твърдя, че определена работа или роля е по-важна, отколкото предполага днешният размер на нейните редици, и че нейната важност дори ще расте. Вече съществува объркващо множество работни места, свързани с данни и машинно обучение, така че първият въпрос е защо да имаме друга или каква е разликата тази? Мотивацията зад моята мисъл е, че много компании изглежда се борят да се възползват от предимствата на данните с машинно обучение, въпреки че имат значителни отдели за тази цел и..

Свързани въпроси 'category-theory'

Съдържателно резюме за comonad. (Където монадата е „тип за нечисто изчисление“)
По отношение на съдържателните обобщения - това описание на Monads изглежда печели – описвайки ги като „тип за нечисти изчисления“. Какво е еквивалентно съдържателно (едно изречение) описание на комонада?
376 изгледи
schedule 30.09.2022

ScalaCheck от висок порядък
Помислете за следното определение на категория: trait Category[~>[_, _]] { def id[A]: A ~> A def compose[A, B, C](f: A ~> B)(g: B ~> C): A ~> C } Ето пример за унарни функции: object Category { implicit def fCat = new...
852 изгледи

Как са свързани анкъри и фанин в теорията на категориите?
В библиотека, която пиша, открих, че е привидно елегантно да напиша клас, който е подобен на (но малко по-общ от) следния, който съчетава както обичайните uncurry над продукти, така и функцията fanin (от тук или тук , ако предпочитате): {-#...
488 изгледи
schedule 26.12.2023

Как повдигането (в контекста на функционалното програмиране) се свързва с теорията на категориите?
Разглеждайки документацията на Haskell , повдигането изглежда е основно обобщение на fmap , позволяващо картографиране на функции с повече от една аргумент. Статията в Wikipedia относно повдигането обаче дава различен възглед, определяйки...
1290 изгледи
schedule 25.12.2023

Дали естествените трансформации, които прилагаме върху Coyoneda, за да получим Functor, всъщност са естествени трансформации?
Имам теоретичен въпрос относно природата на тип, който се използва в много примери, обясняващи лемата на Coyoneda. Те обикновено се наричат ​​"естествени трансформации", които, доколкото ми е известно, съпоставят между функтори. Това, което ме...
248 изгледи
schedule 01.04.2024