1: \begin{abstract}

2: If $K$ is a discrete group and $Z$ is a $K$--spectrum, then 

3: the homotopy fixed point spectrum 

4: $Z^{hK}$ is $\mathrm{Map}_\ast(EK_+, Z)^K,$ the 

5: fixed points of a familiar expression. Similarly, if $G$ is a 

6: profinite group and $X$ is a discrete $G$--spectrum,

7: then $X^{hG}$ is often given by 

8: $(\mathcal{H}_{\scriptscriptstyle{G,X}})^{G}$, where 

9: $\mathcal{H}_{\scriptscriptstyle{G,X}}$ is a 

10: certain explicit construction given by a 

11: homotopy limit in the category of discrete $G$--spectra.

12: Thus, in each of two common equivariant settings, 

13: the homotopy fixed point 

14: spectrum is equal to the fixed points of an explicit 

15: object in the ambient equivariant category.

16: We enrich this pattern by proving in a precise sense 

17: that the discrete $G$--spectrum 

18: $\mathcal{H}_{\scriptscriptstyle{G,X}}$ is 

19: just ``a profinite version" of $\mathrm{Map}_\ast(EK_+, Z)$: at each 

20: stage of its construction, $\mathcal{H}_{\scriptscriptstyle{G,X}}$ 

21: replicates in the setting of discrete $G$-spectra 

22: the corresponding stage in the formation of $\mathrm{Map}_\ast(EK_+, Z)$ 

23: (up to a certain natural identification).

24: \end{abstract}

25: