Pointwise Kan extensions along 2-fibrations and the 2-category of elements 80S2NP05HJ

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
29Q0MGCXJH	definition	definition 2.19	arxiv
Lambert	definition	definition 2.5	arxiv
2VABDS6HR1	definition	definition 3.5	arxiv
5CT6NNSQWC	statement	corollary 2.13	arxiv
5W2Z24T14H	statement	proposition 3.19	arxiv
Bird	statement	proposition 3.1	arxiv
6FTSC3X74J	definition	definition 3.17	arxiv
72MV7X4NQN	statement	proposition 4.5	arxiv
85TBB92KVY	example	example 3.6	arxiv
B86F5ZMKE6	example	example 3.13	arxiv
FB1X1JMN8P	statement	proposition 4.10	arxiv
Gray	definition	definition 4.2	arxiv
$2$-category of elements	definition	definition 2.3	arxiv
GN5W6CA6WS	statement	theorem 2.12	arxiv
GQTA3E2YKC	statement	theorem 2.20	arxiv
GSZT4JJJ1T	statement	proposition 2.16	arxiv
H6MEJWPDF7	statement	theorem 2.14	arxiv
HV9AGZQYT4	statement	theorem 4.8	arxiv
example from Kelly's	unknown	unknown 2.1	arxiv
J1SX20VFMQ	statement	theorem 2.21	arxiv
M73RT2X1V8	definition	definition 3.8	arxiv
M92M3ABVA1	example	example 2.23	arxiv
Weak enrichment	definition	definition 3.4	arxiv
MQHBC7J1DK	definition	definition 3.11	arxiv
Gray	statement	proposition 4.3	arxiv
RFVSC5T9CX	statement	theorem 4.12	arxiv
Bird , Szyld	statement	corollary 4.14	arxiv
RK0XPHSS0N	definition	definition 2.7	arxiv
RKKJBH4WND	definition	definition 2.18	arxiv
SWBXMB9YYX	definition	definition 3.15	arxiv
Lambert	statement	theorem 2.6	arxiv
WH30JZ4TWH	definition	definition 2.9	arxiv
Y4BE86VQA3	definition	definition 4.4	arxiv
YK3BS9SRR7	statement	theorem 4.17	arxiv
ZCVTKX5ACM	definition	definition 2.4	arxiv
The $\oplaxn\mbox{-}\lax$ parametrized Yoneda lemma	statement	theorem 3.18	arxiv