15 відносини: Haskell, Категорія, Аксіоматика теорії множин, Теорія груп, Функтор, Моноїд, Мономорфізм, Біморфізм, Двоїста категорія, Добуток (теорія категорій), Епіморфізм, Лямбда-числення, 1945, 1950-ті, 1960-ті.
Haskell
Haskell (Гаскель, Гаскелл) — стандартизована, винятково функційна мова програмування з нестрогою семантикою.
Новинка!!: Теорія категорій і Haskell · Побачити більше »
Категорія
Категорія.
Новинка!!: Теорія категорій і Категорія · Побачити більше »
Аксіоматика теорії множин
Сучасна теорія множин, яка лежить в основі математичної науки, базується на системі аксіом, які приймаються без доведення і з яких виводяться усі теореми та твердження теорії множин.
Новинка!!: Теорія категорій і Аксіоматика теорії множин · Побачити більше »
Теорія груп
кубика Рубика складають групу. Теорія груп — розділ математики, який вивчає властивості груп.
Новинка!!: Теорія категорій і Теорія груп · Побачити більше »
Функтор
Функтор — відображення однієї категорії в іншу, узгоджене із структурою категорій.
Новинка!!: Теорія категорій і Функтор · Побачити більше »
Моноїд
Моноїд — алгебраїчна структура з бінарною операцією, що є асоціативною та має нейтральний елемент.
Новинка!!: Теорія категорій і Моноїд · Побачити більше »
Мономорфізм
Мономорфім ― морфізм f:X\to Y, для якого із будь-якої рівності f \circ g_1.
Новинка!!: Теорія категорій і Мономорфізм · Побачити більше »
Біморфізм
Біморфізм (від латинського bi — подвійний, двоякий - і грецького μορφη — образ, вигляд, форма) — морфізм категорії, на який можна скорочувати як зліва, так і справа, тобто мономорфізм та епіморфізм одночасно.
Новинка!!: Теорія категорій і Біморфізм · Побачити більше »
Двоїста категорія
Двоїста категорія або дуальна категорія, до категорії C — категорія C^\circ з тими ж об’єктами, що і C і з множинами морфізмів Hom^\circ(A,B).
Новинка!!: Теорія категорій і Двоїста категорія · Побачити більше »
Добуток (теорія категорій)
Добуток (категорний добуток) — в теорії категорій це узагальнення таких понять декартів добуток множин, прямий добуток груп і добуток топологічних просторів.
Новинка!!: Теорія категорій і Добуток (теорія категорій) · Побачити більше »
Епіморфізм
220px Епіморфізм у категорії ― морфізм f:X\to Y, для якого із будь-якої рівності g_1\circ f.
Новинка!!: Теорія категорій і Епіморфізм · Побачити більше »
Лямбда-числення
Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.
Новинка!!: Теорія категорій і Лямбда-числення · Побачити більше »
1945
Без опису.
Новинка!!: Теорія категорій і 1945 · Побачити більше »
1950-ті
Без опису.
Новинка!!: Теорія категорій і 1950-ті · Побачити більше »
1960-ті
;бунти, антиколоніалізм.
Новинка!!: Теорія категорій і 1960-ті · Побачити більше »