Категорные операции
com(@f1,@f2)
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
отображение
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
отображение, отображение
ex("mor",[]), ex("mor",[])
Комментарий:
Композиция отображений.
Имя операции:
com
»
- Login to post comments
@F: @X -> @Y
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
отображение, область, область
ex("mor",[]), ex("ob",[]), ex("ob",[])
Комментарий:
Строится отображение F из X в Y.
Имя операции:
mk_mor
»
- Login to post comments
Пусто
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Пустая область.
Имя операции:
initial
»
- Login to post comments
/\
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Сокращение для пустой области Синоним: "Пусто".
Имя операции:
initial
»
- Login to post comments
0
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Пустая область. Синоним: /\.
Имя операции:
initial
»
- Login to post comments
0(@Область)
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
отображение
ex("mor",[])
Шаблон разработан в понятии:
Тип аргументов:
область
ex("ob",[])
Комментарий:
Вложение пустой области в Область.
Имя операции:
init
»
- Login to post comments
Точка
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
область
ex("ob",[])
Шаблон разработан в понятии:
Тип аргументов:
Нет аргументов
Комментарий:
Одноточечная область.
Имя операции:
final
»
- Login to post comments
