### References & Citations

# Mathematics > Category Theory

# Title: Formal category theory in augmented virtual double categories

(Submitted on 10 May 2022 (v1), last revised 3 Oct 2022 (this version, v2))

Abstract: Abridged abstract: In this article we develop formal category theory within augmented virtual double categories. Notably we formalise the notions of Kan extension and Yoneda embedding $y_A \colon A \to \hat A$. The latter includes a formal notion of presheaf object $\hat A$ which recovers, for instance, the classical notions of enriched category of enriched presheaves, enriched category of small enriched presheaves, and power object in a finitely complete category, as well as the notion of Vietoris space of downsets of a closed-ordered closure space. The Yoneda embeddings of the Yoneda structure associated to a 2-topos, as constructed by Weber, are instances of our formal notion too.

We generalise to monoidal augmented virtual double categories $\mathcal K$ the following fact for finitely complete categories $\mathcal E$ with subobject classifier $\Omega$: $\mathcal E$ has power objects if and only if $\Omega$ is exponentiable. More precisely, given a Yoneda embedding $y_I \colon I \to \hat I$ for the monoidal unit $I$ of $\mathcal K$ and given any `unital' object $A$ in $\mathcal K$, we prove that $y_A \colon A \to \hat A$ exists if and only if the inner hom $[A^\circ, \hat I]$ does, with $A^\circ$ the `horizontal dual' of $A$, and in that case $\hat A \cong [A^\circ, \hat I]$.

We end by formalising the classical notions of exact square, total category and `small' cocompletion; the latter in an appropriate sense. Throughout we compare our formalisations to their corresponding 2-categorical counterparts. Our approach has several advantages. For example the structure of augmented virtual double categories naturally allows us to isolate conditions that ensure small cocompleteness of formal presheaf objects $\hat A$.

## Submission history

From: Roald Koudenburg [view email]**[v1]**Tue, 10 May 2022 13:40:45 GMT (112kb)

**[v2]**Mon, 3 Oct 2022 11:48:29 GMT (118kb)

Link back to: arXiv, form interface, contact.