Gray J.W. — Formal Category Theory: Adjointness for 2-Categories :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Gray J.W. — Formal Category Theory: Adjointness for 2-Categories

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

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

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

Автор: Gray J.W.

Язык:

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$(-)_{\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
      (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

О проекте