Категорные операции

cod(@f)

Тип результата: 

область
ex("ob",[])

Шаблон разработан в понятии: 
Тип аргументов: 

отображение
ex("mor",[])

Комментарий: 

Область значения для данного отображения.

Имя операции: 

cod

@f1 * @f2

Тип результата: 

отображение
ex("mor",[])

Шаблон разработан в понятии: 
Тип аргументов: 

отображение, отображение
ex("mor",[]), ex("mor",[])

Комментарий: 

Композиция отображений. Синоним: com(@f1 , @f2)/

Имя операции: 

com

композиция(@f1 и @f2)

Тип результата: 

отображение
ex("mor",[])

Шаблон разработан в понятии: 
Тип аргументов: 

отображение, отображение
ex("mor",[]), ex("mor",[])

Комментарий: 

Композиция отображений. Синоним: com(@f1, @f2).

Имя операции: 

com

com(@f1,@f2)

Тип результата: 

отображение
ex("mor",[])

Шаблон разработан в понятии: 
Тип аргументов: 

отображение, отображение
ex("mor",[]), ex("mor",[])

Комментарий: 

Композиция отображений.

Имя операции: 

com

@F: @X -> @Y

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

отображение, область, область
ex("mor",[]), ex("ob",[]), ex("ob",[])

Комментарий: 

Строится отображение F из X в Y.

Имя операции: 

mk_mor

Пусто

Тип результата: 

область
ex("ob",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Нет аргументов

Комментарий: 

Пустая область.

Имя операции: 

initial

/\

Тип результата: 

область
ex("ob",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Нет аргументов

Комментарий: 

Сокращение для пустой области Синоним: "Пусто".

Имя операции: 

initial

0

Тип результата: 

область
ex("ob",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Нет аргументов

Комментарий: 

Пустая область. Синоним: /\.

Имя операции: 

initial

0(@Область)

Тип результата: 

отображение
ex("mor",[])

Шаблон разработан в понятии: 
Тип аргументов: 

область
ex("ob",[])

Комментарий: 

Вложение пустой области в Область.

Имя операции: 

init

Точка

Тип результата: 

область
ex("ob",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Нет аргументов

Комментарий: 

Одноточечная область.

Имя операции: 

final

RSS-материал