Enriched and straightened categories

Definition: A category $\mathcal C$ is monoidal if it is accompanied by

• a functor $\otimes \colon \mathcal C\times \mathcal C\to \mathcal C$,
• an object $\mathbf{1}\in \Obj(\mathcal C)$, and
• isomorphisms
• $\alpha_{X,Y,Z}\in \Hom_{\mathcal C}((X\otimes Y)\otimes Z,X\otimes(Y\otimes Z))$,
• $\lambda_X\in \Hom_{\mathcal C}(\mathbf{1}\otimes X,X)$, and
• $\rho_X\in \Hom_{\mathcal C}(X\otimes \mathbf{1},X)$,

for all $X,Y,Z,W\in \Obj(\mathcal C)$, such that $\otimes$ is unital and $\alpha$ is associative over $\otimes$. That is, the diagrams below commute.

Definition: Let $\mathcal C$ be monoidal as above. A category $\mathcal D$ is enriched over $\mathcal C$ if it is accompanied by

• an object $\mathcal D(P,Q)\in \Obj(\mathcal C)$ for every $P,Q\in \Obj(\mathcal D)$, and
• morphisms
• $\gamma_{P,Q,R}\in \Hom_{\mathcal C}(\mathcal D(Q,R)\otimes \mathcal D(P,Q),\mathcal D(P,R))$, and
• $i_P\in \Hom_{\mathcal C}(\mathbf{1},\mathcal D(P,P))$,

for all $P,Q,R,S\in \Obj(\mathcal D)$, such that $\gamma$ is unital and associative over $\otimes$. The category $\mathcal D$ is weakly enriched over $\mathcal C$ if $\gamma$ is unital and associative over $\otimes$ up to homotopy. That is, the diagrams below commute for $\mathcal D$ enriched, and commute up to homotopy for $\mathcal D$ weakly enriched.

Definition: A topological space $X$ is compactly generated if its basis of topology of closed sets is given by continuous images of compact Hausdorff spaces $K$ whose preimages are closed in $K$. A topological space is weakly Hausdorff if the continous image of every compact Hausdorff space is closed in $X$.

We write $\mathcal{CG}$ for the category of compactly generated and weakly Hausdorff spaces. This is a monoidal category with the usual product of topological spaces.

Example: Here are some examples of enriched categories.

• A topological category is a category enriched over $\mathcal {CG}$.
• A bicategory, or weak 2-category, is a category weakly enriched over $\mathcal Cat$, the category of small categories.

Definition: Let $\mathcal C,\mathcal D$ be bicategories. An assignment $F\colon \mathcal C\to \mathcal D$ is a pseudofunctor when it has

• an object $F(X)\in \Obj(\mathcal D)$,
• a functor $F(X,Y)\colon \mathcal C(X,Y)\to \mathcal D(F(X),F(Y))$, and
• invertible 2-morphisms
• $F(\id_X)\colon \id_X \Rightarrow F(X,X)(\id_X)$, and
• $F(X,Y,Z)(f,g) \colon F(Y,Z)(g)\circ F(X,Y)(f)\Rightarrow F(X,Z)(g\circ f)$,

for all $X,Y,Z\in \Obj(C)$, such that $F(X,Y)$ is unital and associative over composition. The assignment $F$ is a lax functor when the last two morphisms are not necessarily invertible.

Definition: Let $\mathcal C,\mathcal D$ be categories and $F\colon\mathcal C\to \mathcal D$ a functor. A morphism $f\in \Hom_{\mathcal C}(A,B)$ is $F$-cartesian if

commutes for some unique $g\in \Hom_{\mathcal C}(A,Y)$ (all the vertical arrows are $F$).

This definition can be rephrased in the language of simplicial sets: the morphism $f$ is $F$-cartesian if whenever $Ff=d_1\Delta^2$ for some $\Delta^2\in \mathcal D_2$, then every $\Lambda^2\in \mathcal C$ with $\Lambda^2_1 = f$ and $F\Lambda^2_0 = d_0\Delta^2$ can be filled in by $g$ with $Fg=d_2\Delta^2$.

Definition: Let $f\colon \mathcal C\to \mathcal D$ be a functor.

• The category $\mathcal C$ is $F$-fibered over $\mathcal D$ if for every morphism $h\in \Hom_{\mathcal D}(U,V)$ and every $B\in \Obj(\mathcal C)$ with $F(B)=V$, there is some $F$-cartesian $f\in \Hom_{\mathcal C}(-,B)$ with $Ff=h$.
• A cleavage of an $F$-fibered category $\mathcal C$ is a class of cartesian morphisms $K$ in $\mathcal C$ such that for every morphism $h\in \Hom_{\mathcal D}(U,V)$ and every $B\in \Obj(\mathcal C)$ with $F(B)=V$, there is a unique $F$-cartesian $f\in K$ with $Ff=h$.
• A cleavage of $\mathcal C$ is a splitting if it contains all the the identity morphisms and is closed under composition.

If $\mathcal C$ is $F$-fibered over $\mathcal D$ and $\mathcal C'$ is $F'$-fibered over $\mathcal D$, then a functor $\mathcal F\colon \mathcal C\to \mathcal C'$ is a \emph{morphism of fibered categories} if $F = F'\circ \mathcal F$ and $\mathcal Ff$ is $F'$-cartesian whenever $f$ is $F$-cartesian.

Theorem: Let $\mathcal C$ be $F$-fibered over $\mathcal D$.

• Every cleavage of $\mathcal C$ defines a pseudofunctor $\mathcal D\to \mathcal Cat$.
• Every pseudofunctor $\mathcal D\to \mathcal Cat$ defines an $F'$-fibered category $\mathcal C'$ with a cleavage over $\mathcal D$.

The above result follows from sections 3.1.2 and 3.1.3 of Vistoli. Theorem 2.2.1.2 of Lurie generalizes this and provides an equivalence between the category of fibered simplicial sets over $S\in \sSet$ and the category of functors $\text{sCat}\to \sSet$. The forward direction is called straightening and he backward direction is called unstraightening.

References: nLab (articles "Monoidal category," "enriched category," and "pseudofunctor."), Strickland (The category of CGWH spaces), Vistoli (Notes on Grothendieck topologies, Chapter 3), Noohi (A quick introduction), Lurie (Higher Topos Theory, Section 2.2)

Integral transforms

Let $X,Y$ be topological spaces.

Definition: A set $U\subseteq X$ is constructible if it is a finite union of locally closed sets. A function $f\colon X\to Y$ is constructible if $f^{-1}(y)\subseteq X$ is constructible for all $y\in Y$.

Write $CF(X)$ for the set of constructible functions $f\colon X\to \Z$. Recall if $U\subseteq X$ is constructible, it is triangulable.

Definition: Let $X\subseteq \R^N$ be constructible and $\{X_r\}_{r\in \R}$ a filtration of $X$ by constructible sets $X_r$. The $k$th persistence diagram of $X$ is the set $PD(X_r,k)= \{(a,b)\subseteq (\R\cup \{\pm\infty\})^2 : a<b \}$, where each element represents the longest sequence of identity morphisms in the decomposition of the image of the $k$th persistent homology functor $PH(X_r,k)\colon (\R,\leqslant )\to Vect$ to each component.

Write $D$ for the set of all persistence diagrams.

Definition: Let $X,Y\subseteq \R^N$ be constructible, $S\subseteq X\times Y$ also constructible with $\pi_1,\pi_2$ the natural projections, and $\sigma$ a simplex in a triangulation of $X$. The Euler integral of elements of $CF(X)$ is the assignment $$\begin{array}{r c l} \displaystyle \int_X\ \cdot\ d\chi\colon CF(X) & \to & \Z, \\ \mathbf{1}_\sigma & \mapsto & (-1)^{\dim(\sigma)}. \end{array}$$ The Radon transform of elements of $CF(X)$ is the assignment $$\begin{array}{r c l} \mathcal R_S \colon CF(X) & \to & CF(Y), \\ (x\mapsto h(x)) & \mapsto & \left(y\mapsto \displaystyle \int_{\pi_2^{-1}(y)} \pi_1^*h\ d\chi\right). \end{array}$$ The persistent homology transform of $X$ is the assignment $$\begin{array}{r c l} PHT_X \colon S^{N-1} & \to & D^N, \\ v & \mapsto & \left\{PD(\{x\in X:x\cdot v\leqslant r\},0),\dots,PD(\{x\in X : x\cdot v\leqslant r\},N-1)\right\} \end{array}$$

The Euler integral is also called the Euler transform, or the Euler charateristic transform. The Radon transform has a weighted version, where every simplex in $S$ is assigned a weight.

References: Schapira (Tomography of constructible functions), Baryhsnikov, Ghrist, Lipsky (Inversion of Euler integral transforms), Turner, Mukherjee, Boyer (Persistent homology transform).