В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Теория категорий

559 membersпожаловаться на группу
2018 May 21

AS

Aλexander Syrotenko in Теория категорий
Ребят, всем доброго времени суток.
Не могу доказать, что экспоненциал первой степени изоморфен морфизму  : a^1 ~ a .  Кто доказывал, куда копать посоветуете?
источник
11:23пожаловаться#1

АТ

Алексей Троицкий in Теория категорий
Aλexander Syrotenko
Ребят, всем доброго времени суток.
Не могу доказать, что экспоненциал первой степени изоморфен морфизму  : a^1 ~ a .  Кто доказывал, куда копать посоветуете?
Я не очень понял, что надо доказать, ведь экспоненциал - это пара - объект и стрелка: (A^B, e: (A^B, B) -> A).
То, что объект A^1 изморфен A легко доказывается из того, что (X, 1) изоморфен X для любого X и из определения экспоненциала.
источник
11:36пожаловаться#2

AS

Aλexander Syrotenko in Теория категорий
Алексей Троицкий
Я не очень понял, что надо доказать, ведь экспоненциал - это пара - объект и стрелка: (A^B, e: (A^B, B) -> A).
То, что объект A^1 изморфен A легко доказывается из того, что (X, 1) изоморфен X для любого X и из определения экспоненциала.
Ага, допер, спасибо!
источник
11:40пожаловаться#3

OS

Oleksandr Stetsenko in Теория категорий
Привет. Наткнулся в Голдблатте на теорему
источник
11:58пожаловаться#4

OS

Oleksandr Stetsenko in Теория категорий
источник
11:58пожаловаться#5

OS

Oleksandr Stetsenko in Теория категорий
Как подходить к формальному доказательству, может кто-то знает?
источник
11:58пожаловаться#6

KV

Kirill Valyavin in Теория категорий
Декартовость квадрата - это универсальное свойство, существование и единственность некоторого морфизма. Требуется доказать - опять же, единственность. Достаточно развернуть все определения и заметить, что единственность, которая нужна - это и есть единственность, которая дана.
источник
12:02пожаловаться#7

KV

Kirill Valyavin in Теория категорий
Ну и обратно
источник
12:03пожаловаться#8
2018 May 22

NI

Nick Ivanych in Теория категорий
Category theory for genetics I: mutations and sequence alignments
Rémy Tuyéras
https://arxiv.org/abs/1805.07002
Хрен его знет, чо это такое...
Но мож кому-нибудь интересно будет ;-)
#article
источник
20:23пожаловаться#9

NI

Nick Ivanych in Теория категорий
Category theory for genetics II: genotype, phenotype and haplotype
Rémy Tuyéras
https://arxiv.org/abs/1805.07004
Похоже, что это действительно категорный подход.
#article
источник
20:23пожаловаться#10

СБ

Сергей Белёв in Теория категорий
+
источник
21:01пожаловаться#11
2018 May 25

AT

Anton Trunov in Теория категорий
Всем доброго утра/дня! А подскажете как называется вот такая конструкция в теории категорий?
fork :: (x -> a) -> (x -> b) -> x -> (a, b)
fork f g = \x -> (f x, g x)
источник
12:30пожаловаться#12

NK

ID:36249587 in Теория категорий
"called a mediating morphism", если там pullback (и в других случаях видимо тоже) https://en.wikipedia.org/wiki/Pullback_(category_theory)
Wikipedia
Pullback (category theory)
In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit of a diagram consisting of two morphisms f : X → Z and g : Y → Z with a common codomain. The pullback is often written
источник
12:33пожаловаться#13

AT

Anton Trunov in Теория категорий
хм, статья упоминает два морфизма с общим кодоменом, а у меня общий домен… или нужно что-то инвертировать при переводе из хаскеля в ТК?
источник
12:44пожаловаться#14

Oℕ

Oleg ℕizhnik in Теория категорий
Мне кажется, это просто декартово произведение
источник
12:44пожаловаться#15

Oℕ

Oleg ℕizhnik in Теория категорий
https://ncatlab.org/nlab/show/cartesian+product
источник
12:44пожаловаться#16

Oℕ

Oleg ℕizhnik in Теория категорий
(a, b) произведение объектов
а
fork соответствующее произведение морфизмов
источник
12:45пожаловаться#17

NK

ID:36249587 in Теория категорий
О и правда, чет в голове только квадратик представился.
источник
12:49пожаловаться#18

DM

Daniel Matveev in Теория категорий
pushout тогда
источник
12:51пожаловаться#19

DM

Daniel Matveev in Теория категорий
хотя не, там тож часть стрелок не туда
источник
12:55пожаловаться#20