On Enriched Categories and Induced Representations APD8GE0E4F

Expressions

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

Item	Kind	Where	Source
1ECY2WHA53	statement	theorem 4.7	arxiv
2SH0BJ2NKR	statement	proposition 2.10	arxiv
385XCCFZK3	definition	definition 2.5	arxiv
3XTF9B7723	statement	corollary 4.8	arxiv
43SRJG92X6	statement	theorem 4.13	arxiv
5G0XK66KB7	definition	definition 2.15	arxiv
5WX3WJYAK3	definition	definition 2.2	arxiv
63EFH165TW	statement	proposition 4.10	arxiv
7XG45RRP7S	statement	theorem 4.11	arxiv
81WX5AF031	definition	definition 4.1	arxiv
9HPX1H9QV0	statement	proposition 4.12	arxiv
AAJABWDTVP	definition	definition 4.3	arxiv
ABMTFPHHGN	definition	definition 2.6	arxiv
AMHQKNTT59	statement	proposition 2.9	arxiv
B9Q22DJA3A	statement	proposition 4.6	arxiv
CCF5N3046V	definition	definition 2.3	arxiv
ETKJ2WKZM2	statement	proposition 2.13	arxiv
GQCG371J4Q	definition	definition 2.7	arxiv
H4MS44GNS2	definition	definition 2.1	arxiv
H7TW84GTA2	statement	proposition 4.9	arxiv
HDXYRFB3QF	definition	definition 2.8	arxiv
HS59HB5SRF	statement	proposition 4.4	arxiv
MAMMV6GKPJ	definition	definition 4.2	arxiv
QKTTQSX3DF	statement	theorem 1.1	arxiv
QT7RH5K34Q	statement	proposition 2.12	arxiv
QVB58JK2HD	statement	proposition 2.11	arxiv
R4V3GNTB0V	statement	proposition 4.5	arxiv
T9BS5VBKE9	statement	theorem 5.1	arxiv
ZXXWTGRA1B	definition	definition 2.4	arxiv