seminar: что за операция?

что за операция?
вот есть у нас "домик" из морфизмов: X -> Y, X -> Z. Рассмотрим все такие домики
и выберем минимальный, т.е. Y <- X' -> Z, при этом есть морфизм из X в X', и домик
удовлетворяет соответствующему универсальному свойству.

такая конструкция как-то называется?

upd: плохо сформулировал. рассматриваем все домики, снабжённые морфизмами из X
то есть все такие X' с морфизмами Y <- X' -> Z и морфизмом X -> X', совместимым с
морфизмами в Y и Z.

(Добавить комментарий)

	^) oort 2013-09-24 22:39 (ссылка)
	http://en.wikipedia.org/wiki/Limit_%28category_theory%29 (Ответить) (Ветвь дискуссии)

	Re: ^) maniga 2013-09-24 22:40 (ссылка)
	не, ну это понятно. (ко)произведения тоже пределы (Ответить) (Уровень выше)

	Re: ^) maniga 2013-09-24 22:47 (ссылка)
	вот говорят, product in the category of objects under X (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: ^) kaledin 2013-09-24 23:06 (ссылка)
	Vrut, kak vsegda. X' = Y \times Z. (Ответить) (Уровень выше) (Ветвь дискуссии)

Re: ^)

maniga
2013-09-24 23:25 (ссылка)

я неряшливо сформулировал. нужно рассматривать все такие домики вместе с морфизмом из X и брать универсальный среди них.

это я пытаюсь записать, что такое подполе заданного поля, сгенерированное двумя подполями, при этом обернув стрелки.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: ^) kaledin 2013-09-25 16:09 (ссылка)
	А это неважно, ответ такой же, морфизм восстанавливается же. (Ответить) (Уровень выше) (Ветвь дискуссии)

	Re: ^) maniga 2013-09-25 16:48 (ссылка)
	а он будет единственный? не вижу, почему бы (Ответить) (Уровень выше)

Re: ^)

maniga
2013-09-25 17:23 (ссылка)

ах, да, конечно, Вы правы.

меня сбивал с толку пример, который я держу в голове (с полями). там нужно произведение считать в категории со странными морфизмами (включения полей, и стрелки обернуть).

я пытался записать, чему геометрически соответствует поле порождённое двумя полями. скажем, взять модели X, Y двух полей L и K, можно ли модели порождённого поля < L \cup K > описать в терминах этих двух моделей, X и Y. получается это произведение, но в такой странной категории

(Ответить) (Уровень выше)