2014 dxdy logo

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

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




 
 Категории, произведение.
Сообщение17.04.2013, 22:18 
Аватара пользователя
Решая задачки из Aluffi, Algebra, Chapter 0 и наткнулся на следующее: "Just as products are final objects in the categories $C_{A,B}$ obtained by considering morphisms in $C$ with common source, whose targets are $A$ and $B$, coproducts will be initial objects in the categories $C^{A,B}$ of morphisms with common target, whose sources are $A$ and $B$". Мне неясно следующее: произведение - инициальный объект в категории, содержащей само произведение и объекты - множители; аналогично, копроизведение - финальный объект в дуальной категории. Или здесь имеются ввиду категории, объектами которых являются морфизмы?

 
 
 
 Re: Категории, произведение.
Сообщение17.04.2013, 22:39 
JMH в сообщении #711824 писал(а):
Или здесь имеются ввиду категории, объектами которых являются морфизмы?

Да. Объекты в $C_{AB}$ это пары морфизмов $\pi_{CA} \colon C \to A$ и $\pi_{CB} \colon C \to B$. А морфизмами являются морфизмы $f \colon C \to D$ такие, что $\pi_{CA} = \pi_{DA} \circ f$ и $\pi_{CB} = \pi_{DB} \circ f$.

 
 
 
 Re: Категории, произведение.
Сообщение17.04.2013, 22:46 
Аватара пользователя
Спасибо, теперь понятно. А никто, кстати, не знает, как рисовать категории в Tex'е? Если это, конечно, возможно в принципе...

 
 
 
 Re: Категории, произведение.
Сообщение17.04.2013, 22:49 
JMH в сообщении #711854 писал(а):
Спасибо, теперь понятно. А никто, кстати, не знает, как рисовать категории в Tex'е? Если это, конечно, возможно в принципе...

Никто не знает, что вообще могло бы означать словосочетание «рисовать категории».

 
 
 
 Re: Категории, произведение.
Сообщение17.04.2013, 22:53 
Аватара пользователя
Изображать объекты и морфизмы в виде стрелочек между ними :D

 
 
 
 Re: Категории, произведение.
Сообщение17.04.2013, 22:57 
Посмотрите пакет хуmаtriх. Там вроде не очень сложно создавать диаграммы, как пример post169421.html#p169421.

 
 
 
 Re: Категории, произведение.
Сообщение18.04.2013, 02:17 
Аватара пользователя

(Оффтоп)

Работает!
$\xymatrix{U \ar@/_/[ddr]_y \ar@/^/[drr]^x\ar@{.>}[dr]|-{(x,y)} \\& X \times_Z Y \ar[d]^q \ar[r]_p& X \ar[d]_f \\& Y \ar[r]^g & Z }$

 
 
 
 Re: Категории, произведение.
Сообщение18.04.2013, 10:14 
Мне больше всего нравится рисовать их с помощью пакета tikz. Ну уж очень красиво получается.

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


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