id sid tid token lemma pos fb494745j80 1 1 in in ADP fb494745j80 1 2 this this DET fb494745j80 1 3 thesis thesis NOUN fb494745j80 1 4 , , PUNCT fb494745j80 1 5 i i PRON fb494745j80 1 6 study study VERB fb494745j80 1 7 the the DET fb494745j80 1 8 left left ADJ fb494745j80 1 9 adjoint adjoint PROPN fb494745j80 1 10 d d PROPN fb494745j80 1 11 to to ADP fb494745j80 1 12 the the DET fb494745j80 1 13 forgetful forgetful ADJ fb494745j80 1 14 functor functor NOUN fb494745j80 1 15 from from ADP fb494745j80 1 16 the the DET fb494745j80 1 17 ∞-category ∞-category NOUN fb494745j80 1 18 of of ADP fb494745j80 1 19 symmetric symmetric ADJ fb494745j80 1 20 monoidal monoidal ADJ fb494745j80 1 21 ∞-categories ∞-categorie NOUN fb494745j80 1 22 with with ADP fb494745j80 1 23 duals dual NOUN fb494745j80 1 24 and and CCONJ fb494745j80 1 25 finite finite NOUN fb494745j80 1 26 colimits colimit VERB fb494745j80 1 27 to to ADP fb494745j80 1 28 the the DET fb494745j80 1 29 ∞-category ∞-category NOUN fb494745j80 1 30 of of ADP fb494745j80 1 31 symmetric symmetric ADJ fb494745j80 1 32 monoidal monoidal ADJ fb494745j80 1 33 ∞-categories ∞-categorie NOUN fb494745j80 1 34 with with ADP fb494745j80 1 35 finite finite ADJ fb494745j80 1 36 colimits colimit NOUN fb494745j80 1 37 , , PUNCT fb494745j80 1 38 and and CCONJ fb494745j80 1 39 related relate VERB fb494745j80 1 40 free free ADJ fb494745j80 1 41 constructions construction NOUN fb494745j80 1 42 . . PUNCT fb494745j80 2 1 my my PRON fb494745j80 2 2 main main ADJ fb494745j80 2 3 result result NOUN fb494745j80 2 4 is be AUX fb494745j80 2 5 that that DET fb494745j80 2 6 d(c d(c NOUN fb494745j80 2 7 ) ) PUNCT fb494745j80 2 8 always always ADV fb494745j80 2 9 splits split VERB fb494745j80 2 10 as as ADP fb494745j80 2 11 the the DET fb494745j80 2 12 product product NOUN fb494745j80 2 13 of of ADP fb494745j80 2 14 3 3 NUM fb494745j80 2 15 factors factor NOUN fb494745j80 2 16 , , PUNCT fb494745j80 2 17 each each PRON fb494745j80 2 18 characterized characterize VERB fb494745j80 2 19 by by ADP fb494745j80 2 20 a a DET fb494745j80 2 21 certain certain ADJ fb494745j80 2 22 universal universal ADJ fb494745j80 2 23 property property NOUN fb494745j80 2 24 . . PUNCT fb494745j80 3 1 as as ADP fb494745j80 3 2 an an DET fb494745j80 3 3 application application NOUN fb494745j80 3 4 , , PUNCT fb494745j80 3 5 i i PRON fb494745j80 3 6 show show VERB fb494745j80 3 7 that that SCONJ fb494745j80 3 8 , , PUNCT fb494745j80 3 9 for for ADP fb494745j80 3 10 any any DET fb494745j80 3 11 compact compact ADJ fb494745j80 3 12 lie lie NOUN fb494745j80 3 13 group group NOUN fb494745j80 3 14 g g PROPN fb494745j80 3 15 , , PUNCT fb494745j80 3 16 the the DET fb494745j80 3 17 ∞-category ∞-category NOUN fb494745j80 3 18 of of ADP fb494745j80 3 19 genuine genuine ADJ fb494745j80 3 20 g g PROPN fb494745j80 3 21 - - PUNCT fb494745j80 3 22 spectra spectra PROPN fb494745j80 3 23 is be AUX fb494745j80 3 24 obtained obtain VERB fb494745j80 3 25 from from ADP fb494745j80 3 26 the the DET fb494745j80 3 27 ∞-category ∞-category NOUN fb494745j80 3 28 of of ADP fb494745j80 3 29 naive naive ADJ fb494745j80 3 30 g g NOUN fb494745j80 3 31 - - PUNCT fb494745j80 3 32 spectra spectra ADJ fb494745j80 3 33 by by ADP fb494745j80 3 34 freely freely ADV fb494745j80 3 35 adjoining adjoining ADJ fb494745j80 3 36 duals dual NOUN fb494745j80 3 37 for for ADP fb494745j80 3 38 compact compact ADJ fb494745j80 3 39 objects object NOUN fb494745j80 3 40 , , PUNCT fb494745j80 3 41 while while SCONJ fb494745j80 3 42 respecting respect VERB fb494745j80 3 43 colimits colimit NOUN fb494745j80 3 44 . . PUNCT