Результаты поиска

...угой или наоборот, то есть, разделение составляющих категории на объекты и морфизмы имеет смысл только в рамках фиксированной категории. ...рфизмами», морфизмы объектов (морфизмы в обычном смысле) — «1-морфизмами», морфизмы морфизмов — «2-морфизмами» и так далее, тем самым подчёркивая общность объе ...

...ов [[Абелева группа|абелевых групп]]. Это отображение [[Пучок (математика)#Морфизмы пучков над одним пространством|локально сюръективно]] и имеет ядро <math>2\ Эта точная последовательность не сюръективна на [[Пучок (математика)#Морфизмы пучков над одним пространством|глобальных сечениях]], например, в [[Кольцо ...

...моноидальный функтор''' — это моноидальный функтор, такой что структурные морфизмы <math>\phi_{A,B}, \phi</math> обратимы. '''Строго моноидальный функтор''' — это моноидальный функтор, структурные морфизмы которого тождественны. ...

...ubseteq \mathcal C</math>, состоящая из тех же объектов, и содержащая лишь морфизмы, являющиеся биморфизмами. [[Категория:Морфизмы]] ...

...[[Теория категорий|теоретико-категорная]] конструкция, позволяющая изучать морфизмы не как соотнесения объектов категории друг с другом, а как самостоятельные ...ha \rightarrow \alpha'</math>, <math>h : \beta \rightarrow \beta'</math> — морфизмы в <math>\mathcal A</math> и <math>\mathcal B</math> соответственно, такие ч ...

...обобщается в [[теория категорий|теории категорий]], в которой применяются морфизмы-проекции (канонические проекции), выделяющие компоненты [[Произведение (тео ...

...рфизмы и т. д. вплоть до <math>(n-1)</math>-морфизмов имеют присоединённые морфизмы, существует биекция между <math>{\mathcal C}</math>-значными симметричными ...

...яется следующим образом: объекты — ковариантные функторы из ''C'' в ''D'', морфизмы — естественные преобразования между этими функторами. Поскольку композиция * Если ''I'' — малая дискретная категория (все морфизмы — тождественные), то функтор из ''I'' в ''C'' — это просто семейство объект ...

== Морфизмы окольцованных пространств == Морфизмы локально окольцованных пространств должны удовлетворять ещё одному требован ...

Пусть эти морфизмы имеют вид <math>f \colon B \to C</math>, <math>g, h \colon A \to B</math> в Пусть эти морфизмы имеют вид <math>f \colon A \to B</math>, <math>g, h \colon B \to C</math>. ...

...множества в теории множеств, основное различие в том, что в категории есть морфизмы, которые тоже нужно индексировать. ...

[[Категория:Морфизмы схем]] ...

== Морфизмы == ...физмами расслоений, мы получим категорию ''гладких векторных расслоений''. Морфизмы векторных расслоений — частный случай [[отображение расслоений|отображения ...

...онечное множество|конечные]] [[Множество|множества]], а [[Теория категорий|морфизмы]] — [[биекция|биекции]] между ними. Всякий [[Функтор (математика)|функтор]] ...

...групп]] между группами ''k''-значных точек<ref>Если ''X''­ — предсхема, то морфизмы из ''S'' в ''X'', то есть элементы <math>h_X(S)</math>, будут называться '' [[Категория:Морфизмы схем]] ...

...льной категории являются конечные [[Порядковое число|порядковые числа]], а морфизмы — нестрого монотонные функции между ними. Порядковое число <math>[0]</math> Эти морфизмы удовлетворяют следующим соотношениям: ...

Морфизмы, имеющие левый обратный, всегда являются мономорфизмами. Действительно, есл [[Категория:Морфизмы]] ...

...бразом вложено в касательное пространство аффинного пространства). Так как морфизмы полей [[инъективность|инъективны]], [[сюръекция]] полей вычетов, индуцирова ...точке ''x''{{sfn|Hartshorne|1977|loc=Exercise II 2.8}}. Таким образом, эти морфизмы имеет смысл называть '''касательными векторами'''. ...

Морфизмы между предпучками можно определить как [[естественное преобразование|естест ...

...орой являются также объектами заданной категории <math>\mathcal C</math> и морфизмы которой являются также морфизмами в <math>\mathcal C</math>, с теми же тожд ...