Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Sketches — A supplement for Category theory for computing science
Sketches — A supplement for Category theory for computing science

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: A supplement for Category theory for computing science

Автор: Sketches

Язык: en

Рубрика: Математика/Алгебра/Теория категорий/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1996

Количество страниц: 107

Добавлена в каталог: 12.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$^-$ber      40
$^-$bration      39
$^-$bration as generalized product      41
$^-$eld      3 8
$^-$nite cone      12
$^-$nite discrete sketch      1
$^-$nite limit sketch      12
Accessible category      25
action      45
Arrow between fuzzy sets      72
Arrow category      40
Base category (of a bration)      39
Base category (of an op bration)      45
Binary tree      18 30
Boolean algebra      3
Carrier      80
Cartesian arrow      38
Cartesian closed      58
Category      14
Category object      14 75
Category of fuzzy sets      72
Category of models      33
Characteristic arrow      59
Cleavage      39
CoCone      1
Colimit      62
Compatible family      17
Complemented subobject      65
Complete Heyting algebra      68
Confusion      8
Constant      69
Crisp      74
Crossed product      47
d1/2mon      6
Derived category      55
Discrete op$^-$bration      45
Discrete wreath product      53
Disjoint sum      62
Disjoint union      43
Division      55
Domain of a partial arrow      62
ecursive set      64
Effective equivalence relation      61
Effective topos      80
Empty set      73
Equivalence of categories      48
Equivalence relation      60
External functor      76
FD sketch      1
FL sketch      12
FL sketch at CPO      65
Functor category      48
Functor induced by a sketch homomorphism      33
Fuzzy set      72
Graph      66
Grothendieck construction      43 76
Grothendieck topology      67
Groupoid      16
Homomorphism of models      22
Homomorphism of sketches      26
Homomorphism of split op$^-$brations      49
Idempotent      20
Image      26
Indexed set      41
Initial algebra      5
Initial model      5
Initial term algebra      16
Initial term model      16
Initial topos      62
Internal functor      75
Internal language      64
junk      8
Kernel category      55
Kernel pair      23 61
Krohn — Rhodes Theorem      55
LE sketches      12
Left exact sketches      12
Lies over      39
LIST      1
Locally cartesian closed      60
Locally presentable category      13
Model of a sketch      22 33
Model of an FD sketch      1
Model of an FL sketch      12
Modest set      81
Monoid action      55
Natural numbers      2 8 29
Nearly constant presheaf      69
Notational conventions for sketches      13
Op $^-$bration      39 46 76
Opcartesian      39
P-valued set      72
Parallel pair      21
Partial arrow      62
Partial arrows representable      62
Partial equivalence relation      81
PER      81
Power object      60
powerset      60
Presheaf      66
Product category      40
Programming language      70
Projection functor      53
Realizability set      80
Realizability topos      80
Record type      30
Recursive function      62
Recursively enumerable      64
Regular category      62
Regular cocone      22
Regular epimorphism      22 62
Regular sketch      22
Restriction functions      67
Right regular representation      53
Satisfy      36
Semantics      57 64
Semidirect product      46
Semigroup      20
Sentence      36
Set-valued functor      66
Shape functor      52
Sheaf      68
Simple graph      14
Sketch      1 22 26
Sketch for categories      14
Sketch for semigroups      20
Slice category      41
Small category      14
Split $^-$bration      39
Split op$^-$bration      45 76
Splitting      39
STACK      28
Standard wreath product      53
State transition system      55
Structure type      30
Subobject      57
Subobject classi$^-$er      59
Subobject functor      57 58
Theory of an FL sketch      19
Topos      58
Total category      39
Total order      16
TREE      9
Triangular action      54
True (from 1 to)      59
Universal image      60
Universal model      19
Universal sum      62
variable element      64
Wreath product      52
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте