Категорные операции
композиция(@f1 и @f2)
Submitted by admin on сб, 2007-04-21 20:00.отображение
ex("mor",[])
отображение, отображение
ex("mor",[]), ex("mor",[])
Композиция отображений. Синоним: com(@f1, @f2).
com
- Login to post comments
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
1
Submitted by admin on сб, 2007-04-21 20:00.область
ex("ob",[])
Нет аргументов
Одноточечная область. Синоним: Точка.
final
- Login to post comments
тождественное отображение @Область
Submitted by admin on сб, 2007-04-21 20:00.отображение
ex("mor",[])
область (класс)
ex("ob",[])
Тождественное отображение для данной области. Синоним id(@Область).
id
- Login to post comments
