2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Существует ли категория натуральных чисел?
Сообщение16.09.2014, 10:32 
Такая, чтобы сложение и умножение были обычными арифметическими операциями.

 
 
 
 Re: Существует ли категория натуральных чисел?
Сообщение16.09.2014, 12:04 
Аватара пользователя
Что такое "сложение", "умножение", да и вообще "операция" с точки зрения категорий?

 
 
 
 Re: Существует ли категория натуральных чисел?
Сообщение16.09.2014, 12:10 
Аватара пользователя
Объекты — натуральные числа, морфизм $f:n\to m$ — отображение $\{1,2,\ldots,n\}\to\{1,2,\ldots,m\}$ или, что то же самое, $n$-ка чисел $\langle f_1,f_2,\ldots,f_n\rangle, \; \forall i. f_i\leq m$. Эта категория получается из $FinSet$ путём отождествления всех равномощных конечных множеств.
Например, $n\times m$ — это $nm$ с проекциями $\pi_m(x) = ((x-1)\operatorname{div} n)+1$ и $\pi_n(x) = ((x-1)\operatorname{mod} n)+1$, а $n+m$ имеет инъекции $i_m(x)=x+n$ и $i_n(x)=x$.
Так подойдёт?

 
 
 
 Re: Существует ли категория натуральных чисел?
Сообщение16.09.2014, 19:20 
Аватара пользователя
ИСН
Стандартные конструкции достаточно, даже в вики есть:
https://ru.wikipedia.org/wiki/Произведение_(теория_категорий)
https://ru.wikipedia.org/wiki/Копроизведение

 
 
 
 Re: Существует ли категория натуральных чисел?
Сообщение16.09.2014, 22:35 
Mysterious Light в сообщении #908396 писал(а):
Так подойдёт?
То что надо. Большое спасибо.

 
 
 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group