Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Альтернативы
Недавние
Show all languages
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Из Википедии — свободной энциклопедии

В математике, подкатегория категории C — это категория S, объекты которой являются также объектами C и морфизмы которой являются также морфизмами в C, с теми же тождественными морфизмами и правилами композиции. Интуитивно, подкатегория C получается из C удалением некоторых объектов и морфизмов.

Формальное определение

Пусть C — категория. Подкатегория S категории C задается при помощи

  • подкласса объектов C, обозначаемого ob(S),
  • подкласса морфизмов C, обозначаемых hom(S).

таких что выполняются следующие условия:

  • для каждого X в ob(S) тождественный морфизм idX принадлежит hom(S),
  • для каждого морфизма f : XY в hom(S), его прообраз X и образ Y лежат в ob(S),
  • для каждой пары морфизмов f, g в hom(S) композиция f o g лежит в hom(S), если она определена в C.

Из этих условий следует, что S является категорией сама по себе. Существует очевидный строгий функтор I : SC, называемый функтором вложения.

Подкатегория S называется полной подкатегорией C, если для каждой пары объектов X, Y в S

Виды подкатегорий

Подкатегория S категории C называется замкнутой относительно изоморфизма, если любой изоморфизм k : XY в C, такой что Y принадлежит S, также принадлежит S. Замкнутая относительно изморфизма полная подкатегория называется строго полной.

Подкатегория C — широкая, если она содержит все объекты C. В частности, единстренная широкая полная подкатегория категории C — сама C.

См. также

Литература

  • С. Маклейн Категории для работающего математика, — М.: ФИЗМАТЛИТ, 2004. — 352 с. — ISBN 5-9221-0400-4.
Эта страница в последний раз была отредактирована 26 ноября 2015 в 11:49.
Как только страница обновилась в Википедии она обновляется в Вики 2.
Обычно почти сразу, изредка в течении часа.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).