(2)9
(5)2
(5)11
(4)42
(6)11
(4)19
(2)16
(3)11
(3)9
(7)63
(7)23
(7)23
(7)23
(7)23
(6)4
(6)4
-limit (6)4
(6)4
(6)4
(1)5
(2)13
(2)13 (4)1
(2)15 19 (4)29
(4)25
(4)25
(4)25
(2)13
(4)5
(4)28
(4)16
(4)41
(2)14
(2)9
(3)8 (4)1
-functor (4)27
-natural transformations (4)25
-functor (4)28
-functor (4)27
-natural transformations (4)28
(2)14 (5)1
(2)17
(5)7
(1)1
(1)7
(1)8
(7)102
(2)2
(1)1 6
(7)77
(7>72
(1)3
(1)3
(1)4
(1)4
(1)4
(2)9
(6)11
(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 -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
|