Категорные операции
область определения @Отображение
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
отображение
ex("mor",[])
Область определения данного отображения. Синоним: dom(@f).
dom
dom(@f)
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
отображение
ex("mor",[])
Область определения дла данного отображения.
dom
область значений @f
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
отображение
ex("mor",[])
Область значений для данного отображения. Синоним: cod(@f).
cod
cod(@f)
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
отображение
ex("mor",[])
Область значения для данного отображения.
cod
@f1 * @f2
Submitted by admin on сб, 2007-04-21 20:00.отображение
ex("mor",[])
отображение, отображение
ex("mor",[]), ex("mor",[])
Композиция отображений. Синоним: com(@f1 , @f2)/
com
композиция(@f1 и @f2)
Submitted by admin on сб, 2007-04-21 20:00.отображение
ex("mor",[])
отображение, отображение
ex("mor",[]), ex("mor",[])
Композиция отображений. Синоним: com(@f1, @f2).
com
com(@f1,@f2)
Submitted by admin on сб, 2007-04-21 20:00.отображение
ex("mor",[])
отображение, отображение
ex("mor",[]), ex("mor",[])
Композиция отображений.
com
@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
Пусто
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
Нет аргументов
Пустая область.
initial
/\
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
Нет аргументов
Сокращение для пустой области Синоним: "Пусто".
initial