Категорные операции
Пусто
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Пустая область.
Имя операции:
initial
/\
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Сокращение для пустой области Синоним: "Пусто".
Имя операции:
initial
0
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Пустая область. Синоним: /\.
Имя операции:
initial
0(@Область)
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
отображение
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
область
ex("ob",[])
Комментарий:
Вложение пустой области в Область.
Имя операции:
init
Точка
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Одноточечная область.
Имя операции:
final
1
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Одноточечная область. Синоним: Точка.
Имя операции:
final
тождественное отображение @Область
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
отображение
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
область (класс)
ex("ob",[])
Комментарий:
Тождественное отображение для данной области. Синоним id(@Область).
Имя операции:
id
1(@Область)
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
отображение
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
область
ex("ob",[])
Комментарий:
Отображение Области в область Точка.
Имя операции:
fin
