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

blank
blank
blank
Красота
blank
Gray J.W. — Formal Category Theory: Adjointness for 2-Categories
Gray J.W. — Formal Category Theory: Adjointness for 2-Categories

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

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

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



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


Название: Formal Category Theory: Adjointness for 2-Categories

Автор: Gray J.W.

Язык: en

Рубрика: Математика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$(-)_{\circ}$      (2)9
$(V_{1},W,V_{2})$      (5)2
$(V_{1},\phi_{1};V_{2},\phi_{2})$      (5)11
$2-Cat_{\otimes}$      (4)42
$Ad-Fun(A)$      (6)11
$A\otimes\mathfrak{B}$      (4)19
$A^{\circ p},\ ^{\circ p}A,\ _{\circ p} A$      (2)16
$Bim\ (Spans\ \chi)$      (3)11
$Bim\ (\mathfrak{B})$      (3)9
$Cart\ q-Split\ \mathfrak{B}_{\circ}$      (7)63
$Cart\ q-\lim\limits_{\longleftarrow}_{\mathfrak{R}-id\ \mathfrak{R}'_{\circ}}$      (7)23
$Cart\ q-\lim\limits_{\longleftarrow}_{\mathfrak{R}-iso\ \mathfrak{R}'_{\circ}}$      (7)23
$Cart\ q-\lim\limits_{\longleftarrow}_{\mathfrak{R}}$      (7)23
$Cart\ q-\lim\limits_{\longrightarrow}_{\mathfrak{R}}$      (7)23
$Cat-\lim\limits_{\longleftarrow}_{\underline{D}}$      (6)4
$Cat-\lim\limits_{\longrightarrow}_{\underline{D}}$      (6)4
$Cat_{2}$-limit      (6)4
$Cat_{2}-\lim\limits_{\longleftarrow}_{\mathfrak{D}}$      (6)4
$Cat_{2}-\lim\limits_{\longrightarrow}_{\mathfrak{D}}$      (6)4
$Cat_{t}$      (1)5
$Fun\ (\mathfrak{B,B'_{\circ};A,A'})$      (2)13
$Fun\ (\mathfrak{B},A)$      (2)13 (4)1
$Fun\ \mathfrak{B}$      (2)15 19 (4)29
$Fun_{d} (A,\mathfrak{B})$      (4)25
$Fun_{e} (A,\mathfrak{B})$      (4)25
$Fun_{u} (A,\mathfrak{B})$      (4)25
$Fun_{\circ}(\mathfrak{B},A)$      (2)13
$g-Fun(A\times\mathfrak{B},\mathfrak{C})$      (4)5
$g-Fun_{\textrm{x;y,z}}(A\times\mathfrak{B},\mathfrak{C})$      (4)28
$g_{n}-Fun(\prod\limits_{i=1}^{n}A_{i},\mathfrak{C}})$      (4)16
$Iso-Fun(A,\mathfrak{B})$      (4)41
$iso\ A$      (2)14
$L\pi_{\circ}$      (2)9
$Pseud\ (\mathfrak{B},\mathfrak{B}')$      (3)8 (4)1
$Quasi_{d}$-functor      (4)27
$Quasi_{d}$-natural transformations      (4)25
$Quasi_{e}$-functor      (4)28
$Quasi_{u}$-functor      (4)27
$Quasi_{y,z}$-natural transformations      (4)28
$[F_{1},F_{2}]$      (2)14 (5)1
$[F_{1},F_{2}]_{3}$      (2)17
$[\varphi, \psi]$      (5)7
$\dashv$      (1)1
$\ell$      (1)7
$\hat{u},\check{u},\hat{\ell},\check{\ell}$      (1)8
$\mathscr{E}$      (7)102
$\partial_{\circ},\partial_{1},\widetilde{\partial_{\circ}},\widetilde{\partial_{1}}$      (2)2
$\pi_{\circ}$      (1)1 6
$\sum_{q}\ F$      (7)77
$\sum_{q}\ P_{F}$      (7>72
$\underline{1}$      (1)3
$\underline{2}$      (1)3
$\underline{3}$      (1)4
$\underline{4}$      (1)4
$\underline{n}$      (1)4
$\widetilde{2-Cat}$      (2)9
$\widetilde{Ad-Fun}|A|$      (6)11
$_{\ell}Cat$      (1)1
2-Cat      (2)9
2-category      (2)1
2-comma category      (2)14
2-fibration      (2)19
2-functor      (2)5
3-category      (2)16
3-comma category      (2)17
3-fibration      (2)19
A'-cocomplete      (6)25
A'-cocontinuous      (6)25
A(-,-)      (2)1 6
Adjoint morphism      (6)1
Adjoint square      (6)9
Associated cofibration      (7)52
Associated fibration      (7)57
Bicat      (3)5
Bicategory      (3)1
Bim      (3)8
Bimodule      (3)8
Canonical induced morphism      (6)21
Cartesion      (2)16 (3)15
Cartesion quasi limit      (7)23
Cartesion quasi opfibration      (7)59
Cartesion quasi opfibration, split normal      (7)62
cat      (1)1 (2)5
Cat-adjoint      (6)3
Cat-limit      (1)2 (6)4
Cat-natural transformation      (2)7
Cat-representable functor      (2)7
Categorical comprehension scheme      (7)79
cells      (2)1
Cleavage      (7)62
Cleavage preserving      (3)15 (7)62
Cocartesion      (2)15
Comma 2-category      (2)20
Comma category      (1)11 (7)32
Commutative cube      (2)4
Compatible pair of 2-cells      (6)10
conjugate      (6)14
Copseudo functor      (3)5
D      (1)1 6
Directed      (6)29
Discrete category      (1)1
Double category      (2)18
Double functor      (2)19
Double natural transformation      (2)19
Dual Kan extension      (6)29
Eilenberg — Moore categories      (7)56
Explicit formulas      (5)11
exponentiation      (1)1 (2)5 (2)8
Fibration      (1)12 (1)15 (3)13
final      (6)28
G      (1)2
Global adjunction morphism      (7)100
Global quasi-Yoneda lemma      (7)97
Homomorphic pseudo-functor      (3)5 (3)13
Homomorphism      (3)16
Horizontal composition      (2)3 (2)18
i-quasi      (7)3
i-weak      (7)3
Integration along the fibres      (7)72
Interchange law      (2)2 (2)3 (2)18
Interchange of limits      (6)26
Iso-      (4)41
Iso-quasi-homomorphism      (3)16
Kan extension      (1)14 (6)19
Kleisli categories      (7)50
LD      (2)9
lg      (2)9
Local quasi-Yoneda lemma      (7)88
Locally discrete      (2)1 (2)4
Locally faithful      (2)7
Locally full      (2)7
Locally P      (2)4
Modification      (2)8 (3)8 (4)5 16 28
Multiplicative      (7)87
Multiplicative category      (3)8
N      (7)24 41
n-tuple category      (2)19
Opfibration      (2)15
Over      (5)15
Preserves      (6)22
Pseudo-functor      (3)2
Quasi-adjunction      (7)3
Quasi-adjunction for bicategories      (7)4
Quasi-colimit      (7)23
Quasi-enriched functor      (4)42
Quasi-fibration      (7)59
Quasi-functor of n-variables      (4)15
Quasi-functor of two variables      (4)2
Quasi-homomorphism      (3)16
Quasi-Kan extension      (7)72 77
Quasi-limit      (7)23
Quasi-natural transformation For $2-Cat_{\otimes}$-functors      (4)45
Quasi-natural transformation for 2-functors      (2)10
Quasi-natural transformation for pseudo-functors      (3)6
Quasi-natural transformation for quasi-functors      (4)4 16
Quasi-opfibration      (7)59
Quasi-Yoneda lemma      (7)86
Sections      (7)52
Set of components      (1)1
Set of morphisms      (1)6
spans      (3)9
Split-normal 2-fibration      (2)21
Split-normal 3-fibration      (2)21
Split-normal fibration      (2)5
Split-normal quasi-fibration      (7)62
Strict pseudo-functor      (3)5
Strong codomain      (2)2
Strong composition      (2)1
Strong domain      (2)2
Strong dual      (2)4
Subequalizer      (7)33
Total category      (2)1
Transcendental quasi-adjunction      (7)12
TRANSPOSE      (6)10
Triple category      (2)19
Triple functor      (2)19
Trivial connected groupoid      (1)2
U      (1)7
u, d, e, u, d, e      (4)25
Underlying category      (2)1
Universal mapping property      (7)15
Vertical composition      (2)3 18
W*      (5)18
Weak codomain      (2)2
Weak composition      (2)1 18
Weak domain      (2)2
Weak dual      (2)4
Yoneda      (1)11 (7)86
[1,F]      (2)15 (7)53
[u,v]      (5)8
{...}      (1)7
|(-)|      (1)1
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте