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

0

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

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

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

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

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

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

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

initial

0(@Область)

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

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

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

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

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

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

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

init

Точка

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

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

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

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

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

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

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

final

1

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

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

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

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

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

Одноточечная область. Синоним: Точка.

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

final

тождественное отображение @Область

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

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

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

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

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

Тождественное отображение для данной области. Синоним id(@Область).

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

id

1(@Область)

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

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

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

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

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

Отображение Области в область Точка.

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

fin

id (@Область)

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

функция (отображение)
ex("mor",[])

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

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

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

Тождественное отображение для данной области.

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

id

ложь

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

ex("mor",[])

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

w("ложь")

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

Ложь - выделенное отображение из Точки в область истин

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

false

область определения @Отображение

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

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

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

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

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

Область определения данного отображения. Синоним: dom(@f).

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

dom

dom(@f)

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

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

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

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

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

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

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

dom

RSS-материал