We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Formal category theory in augmented virtual double categories

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$.
Comments: 97 pages. Comprises a streamlined and much expanded version of Sections 4 and 5 of the draft paper arXiv:1511.04070. v2: many small improvements and small corrections
Subjects: Category Theory (math.CT)
Cite as: arXiv:2205.04890 [math.CT]
  (or arXiv:2205.04890v2 [math.CT] for this version)

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.