Категорные операции
тождественное отображение @Область
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
отображение
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
область (класс)
ex("ob",[])
Комментарий:
Тождественное отображение для данной области. Синоним id(@Область).
Имя операции:
id
»
- Login to post comments
1(@Область)
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
отображение
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
область
ex("ob",[])
Комментарий:
Отображение Области в область Точка.
Имя операции:
fin
»
- Login to post comments
id (@Область)
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
функция (отображение)
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
область (класс)
ex("ob",[])
Комментарий:
Тождественное отображение для данной области.
Имя операции:
id
»
- Login to post comments
ложь
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
w("ложь")
Комментарий:
Ложь - выделенное отображение из Точки в область истин
Имя операции:
false
»
- Login to post comments
область определения @Отображение
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
отображение
ex("mor",[])
Комментарий:
Область определения данного отображения. Синоним: dom(@f).
Имя операции:
dom
»
- Login to post comments
dom(@f)
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
отображение
ex("mor",[])
Комментарий:
Область определения дла данного отображения.
Имя операции:
dom
»
- Login to post comments
область значений @f
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
отображение
ex("mor",[])
Комментарий:
Область значений для данного отображения. Синоним: cod(@f).
Имя операции:
cod
»
- Login to post comments
