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

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

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

отображение
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

область значений @f

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

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

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

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

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

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

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

cod

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

RSS-материал