exact completion of a 2-category

Recall that there is a 2-category $\mathrm{HDC}(K)$ of homwise-discrete categories in any finitely complete 2-category $K$. We write $n{\mathrm{Cong}}_{s}(K)$ for its full sub-2-category spanned by the $n$-congruences (always we take $n=$ 2, (2,1), (1,2), or 1). Recall that there is a functor $\Phi :K\to 2{\mathrm{Cong}}_{s}(K)$ sending each object to its kernel; if $K$ is an $n$-category then the image of $\Phi $ is contained in $n\mathrm{Cong}(K)$.

Suppose that $K$ has finite limits. Then:

- $\mathrm{HDC}(K)$ has finite limits.
- $n{\mathrm{Cong}}_{s}(K)$ is closed under finite limits in $\mathrm{HDC}(K)$.
- $\Phi $ is 2-fully-faithful (that is, an equivalence on hom-categories) and preserves finite limits.

It suffices to deal with finite products, inserters, and equifiers. Evidently $\Phi (1)$ is a terminal object. If $D$ and $E$ are homwise-discrete categories, define ${P}_{0}={D}_{0}\times {E}_{0}$ and ${P}_{1}={D}_{1}\times {E}_{1}$; it is easy to check that then ${P}_{1}\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}{P}_{0}$ is a homwise-discrete category that is the product $D\times E$ in $\mathrm{HDC}(K)$. Since $({D}_{0}\times {E}_{0}{)}^{2}\simeq ({D}_{0}{)}^{2}\times ({E}_{0}{)}^{2}$, and products preserve ffs, we see that $P$ is an $n$-congruence if $D$ and $E$ are and that $\Phi $ preserves products.

For inserters, let $f,g:C\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}D$ be functors in $\mathrm{HDC}(K)$, define ${i}_{0}:{I}_{0}\to {C}_{0}$ by the pullback

$$\begin{array}{ccc}{I}_{0}& \to & {D}_{1}\\ {i}_{0}\downarrow & & \downarrow \\ {C}_{0}& \stackrel{({f}_{0},{g}_{0})}{\to}& {D}_{0}\times {D}_{0},\end{array}$$

and define ${i}_{1}:{I}_{1}\to {C}_{1}$ by the pullback

$$\begin{array}{ccc}{I}_{1}& \to & X\\ {i}_{1}\downarrow & & \downarrow \\ {C}_{1}& \stackrel{({f}_{1},{g}_{1})}{\to}& {D}_{1}\times {D}_{1}\end{array}$$

where $X$ is the “object of commutative squares in $D$.” Then ${I}_{1}\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}{I}_{0}$ is a homwise-discrete category and $i:I\to C$ is an inserter of $f,g$. Also, $I$ is an $n$-congruence if $C$ is, and $\Phi $ preserves inserters.

Finally, for equifiers, suppose we have functors $f,g:C\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}D$ and 2-cells $\alpha ,\beta :f\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}g$ in $\mathrm{HDC}(K)$, represented by morphisms $a,b:{C}_{0}\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}{D}_{1}$ such that $(s,t)a\cong ({f}_{0},{g}_{0})\cong (s,t)b$. Let ${e}_{0}:{E}_{0}\to {C}_{0}$ be the universal morphism equipped with an isomorphism $\varphi :a{e}_{0}\cong b{e}_{0}$ such that $(s,t)\varphi $ is the given isomorphism $(s,t)a\cong (s,t)b$ (this is a finite limit in $K$.) Note that since $(s,t):{D}_{1}\to {D}_{0}\times {D}_{0}$ is discrete, ${e}_{0}$ is ff. Now let ${E}_{1}=({e}_{0}\times {e}_{0}{)}^{*}{C}_{1}$; then ${E}_{1}\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}{E}_{0}$ is a homwise-discrete category and $e:E\to C$ is an equifier of $\alpha $ and $\beta $ in $\mathrm{HDC}(K)$. Also $E$ is an $n$-congruence if $C$ is, and $\Phi $ preserves equifiers.

For any morphism $f:A\to B$ in $K$, $\Phi (f)$ is the functor $\mathrm{ker}(A)\to \mathrm{ker}(B)$ that consists of $f:A\to B$ and ${f}^{2}:{A}^{2}\to {B}^{2}$. A transformation between $\Phi (f)$ and $\Phi (g)$ is a morphism $A\to {B}^{2}$ whose composites $A\to {B}^{2}\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}B$ are $f$ and $g$; but this is just a transformation $f\to g$ in $K$. Thus, $\Phi $ is homwise fully faithful. And homwise essential-surjectivity follows from the essential uniqueness of thin structures, or equivalently a version of Prop 6.4 in FBMF.

Moreover, we have:

If $K$ is an $n$-category with finite limits, then $n{\mathrm{Cong}}_{s}(K)$ is regular.

It is easy to see that a functor $f:C\to D$ between $n$-congruences is ff in $n{\mathrm{Cong}}_{s}(K)$ iff the square

$$\begin{array}{ccc}{C}_{1}& \to & {D}_{1}\\ \downarrow & & \downarrow \\ {C}_{0}\times {C}_{0}& \to & {D}_{0}\times {D}_{0}\end{array}$$

is a pullback in $K$.

We claim that if $e:E\to D$ is a functor such that ${e}_{0}:{E}_{0}\to {D}_{0}$ is split (that is, ${e}_{0}s\cong {1}_{{D}_{0}}$ for some $s:{D}_{0}\to {E}_{0}$), then $e$ is eso in $n{\mathrm{Cong}}_{s}(K)$. For if $e\cong fg$ for some ff $f:C\to D$ as above, then we have ${g}_{0}s:{D}_{0}\to {C}_{0}$ with ${f}_{0}{g}_{0}s\cong {e}_{0}s\cong {1}_{{D}_{0}}$, and so the fact that ${C}_{1}$ is a pullback induces a functor $h:D\to C$ with ${h}_{0}={g}_{0}s$ and $fh\cong {1}_{D}$. But this implies $f$ is an equivalence; thus $e$ is eso.

Moreover, if ${e}_{0}:{E}_{0}\to {D}_{0}$ is split, then the same is true for any pullback of $e$. For the pullback of $e:E\to D$ along some $k:C\to D$ is given by a $P$ where ${P}_{0}={E}_{0}{\times}_{{D}_{0}}{D}_{\mathrm{iso}}{\times}_{{D}_{0}}{C}_{0}$; here ${D}_{\mathrm{iso}}\hookrightarrow {D}_{1}$ is the “object of isomorphisms” in $D$. What matters is that the projection ${P}_{0}\to {C}_{0}$ has a splitting given by combining the splitting of ${e}_{0}$ with the “identities” morphism ${D}_{0}\to {D}_{\mathrm{iso}}$.

Now suppose that $f:D\to E$ is any functor in $n{\mathrm{Cong}}_{s}(K)$. It is easy to see that if we define ${Q}_{0}={D}_{0}$ and let ${Q}_{1}$ be the pullback

$$\begin{array}{ccc}{Q}_{1}& \to & {E}_{1}\\ \downarrow & & \downarrow \\ {Q}_{0}\times {Q}_{0}& \stackrel{{f}_{0}\times {f}_{0}}{\to}& {E}_{0}\times {E}_{0}\end{array}$$

then $f\cong me$ where $e:D\to Q$ and $m:Q\to E$ are the obvious functors. Moreover, clearly $m$ is ff, and $e$ satisfies the condition above, so any pullback of it is eso. It follows that if $f$ itself were eso, then it would be equivalent to $e$, and thus any pullback of it would also be eso; hence esos are stable under pullback.

Since $m$ is ff, the kernel of $f$ is the same as the kernel of $e$, so to prove $K$ regular it remains only to show that $e$ is a quotient of that kernel. If $C\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}D$ denotes $\mathrm{ker}(f)$, then $C$ is the comma object $(f/f)$ and thus we can calculate

$${C}_{0}={D}_{0}{\times}_{{E}_{0}}{E}_{1}{\times}_{{E}_{0}}{D}_{0}\cong {Q}_{1}.$$

Therefore, if $g:D\to X$ is equipped with an action by $\mathrm{ker}(f)$, then the action 2-cell is given by a morphism ${Q}_{1}={C}_{0}\to {X}_{1}$, and the action axioms evidently make this into a functor $Q\to X$. Thus, $Q$ is a quotient of $\mathrm{ker}(f)$, as desired.

However, there are three problems with the 2-category $n{\mathrm{Cong}}_{s}(K)$.

- It is too big. It is not necessary to include every $n$-congruence in order to get a regular category containing $K$, only those that occur as kernels of morphisms in $K$.
- It is too small. While it is regular, it is not exact.
- It doesn’t remember information about $K$. If $K$ is already regular, then passing to $n{\mathrm{Cong}}_{s}(K)$ destroys most of the esos and quotients already present in $K$.

The solution to the first problem is straightforward. If $K$ is a 2-category with finite limits, define ${K}_{\mathrm{reg}/\mathrm{lex}}$ to be the sub-2-category of $2{\mathrm{Cong}}_{s}(K)$ spanned by the 2-congruences which occur as kernels of morphisms in $K$. If $K$ is an $n$-category then any such kernel is an $n$-congruence, so in this case ${K}_{\mathrm{reg}/\mathrm{lex}}$ is contained in $n{\mathrm{Cong}}_{s}(K)$ and is an $n$-category. Also, clearly $\Phi $ factors through ${K}_{\mathrm{reg}/\mathrm{lex}}$.

For any finitely complete 2-category $K$, the 2-category ${K}_{\mathrm{reg}/\mathrm{lex}}$ is regular, and the functor $\Phi :K\to {K}_{\mathrm{reg}/\mathrm{lex}}$ induces an equivalence

$$\mathrm{Reg}({K}_{\mathrm{reg}/\mathrm{lex}},L)\simeq \mathrm{Lex}(K,L)$$

for any regular 2-category $K$.

Here $\mathrm{Reg}(-,-)$ denotes the 2-category of regular functors, transformations, and modifications between two regular 2-categories, and likewise $\mathrm{Lex}(-,-)$ denotes the 2-category of finite-limit-preserving functors, transformations, and modifications between two finitely complete 2-categories.

It is easy to verify that ${K}_{\mathrm{reg}/\mathrm{lex}}$ is closed under finite limits in $2{\mathrm{Cong}}_{s}(K)$, and also under the eso-ff factorization constructed in Theorem 1; thus it is regular. If $F:K\to L$ is a lex functor where $L$ is regular, we extend it to ${K}_{\mathrm{reg}/\mathrm{lex}}$ by sending $\mathrm{ker}(f)$ to the quotient in $L$ of $\mathrm{ker}(Ff)$, which exists since $L$ is regular. It is easy to verify that this is regular and is the unique regular extension of $F$.

In particular, if $K$ is a regular 1-category, ${K}_{\mathrm{reg}/\mathrm{lex}}$ is the ordinary regular completion of $K$. In this case our construction reduces to one of the usual constructions (see, for example, the Elephant).

To solve the second and third problems with $n{\mathrm{Cong}}_{s}(K)$, we need to modify its morphisms.

Recall that 2-congruences in $\mathrm{Cat}$ can be identified with certain double categories. As noted in PAPDC, edge-symmetric double categories with a thin structure are essentially the same as 2-categories, and homwise-discreteness makes them the same as 1-categories. Our lack of edge-symmetry means that we really have a 1-category with distinguished subclass of morphisms (the vertical ones), which must be preserved by functors between congruences. (Note that the transformations are “horizontal” and need not have distinguished components. Since every vertical arrow has a horizontal companion, any vertical transformation is represented by a horizontal one.) In order to eliminate the effect of the distinguished vertical morphisms, we can replace functors between congruences by anafunctors.

Suppose that $K$ is a finitely complete 2-site and that $D$, $E$, and $F$ are 2-congruences in $K$. A functor $g:F\to D$ is a **weak equivalence** if 1. the square

$$\begin{array}{ccc}{F}_{1}& \stackrel{{g}_{1}}{\to}& {D}_{1}\\ \downarrow & & \downarrow \\ {F}_{0}\times {F}_{0}& \stackrel{{g}_{0}\times {g}_{0}}{\to}& {D}_{0}\times {D}_{0}\end{array}$$

is a pullback, and 1. ${g}_{0}:{F}_{0}\to {D}_{0}$ is a cover (a one-element covering family). An **anafunctor** $D\to E$ is a span of functors $D\stackrel{{f}^{s}}{\leftarrow}F\stackrel{{f}^{t}}{\to}E$ such that ${f}^{s}$ is a weak equivalence.

The primary example we have in mind is when $K$ is a regular 2-category with its regular coverage, but it is useful to consider the general case.

If $D\leftarrow F\to E$ and $D\leftarrow G\to E$ are anafunctors between 2-congruences, then a **transformation** $F\to G$ is a transformation between the two induced functors $F{\times}_{D}G\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}E$.

(Here $F{\times}_{D}G$ denotes the pullback in $2{\mathrm{Cong}}_{s}(K)$.)

For any subcanonical and finitely complete 2-site $K$ (such as a regular $n$-category with its regular coverage), there is a finitely complete 2-category $2\mathrm{Cong}(K)$ of 2-congruences, anafunctors, and transformations in $K$. It contains $2{\mathrm{Cong}}_{s}(K)$ as a homwise-full sub-2-category (that is, $2{\mathrm{Cong}}_{s}(K)(D,E)\hookrightarrow 2\mathrm{Cong}(K)(D,E)$ is ff) closed under finite limits.

Composition is, of course, by pullback. Since covers are stable under pullback and composition, the composite of anafunctors is again an anafunctor. The coverage must be subcanonical in order to define the vertical composite of natural transformations. We regard a functor as an anafunctor by taking ${f}^{s}$ to be the identity; it is then clear that a transformation between functors is the same as a transformation between their corresponding anafunctors.

It is easy to see that products in $2{\mathrm{Cong}}_{S}(K)$ remain products in $n\mathrm{Cong}(K)$. Before dealing with inserters and equifiers, we observe that if $A\leftarrow F\to B$ is an anafunctor in $2\mathrm{Cong}(K)$ and $e:{X}_{0}\to {F}_{0}$ is any eso, then pulling back ${F}_{1}$ to ${X}_{0}\times {X}_{0}$ defines a new congruence $X$ and an anafunctor $A\leftarrow X\to B$ which is isomorphic to the original in $2\mathrm{Cong}(K)(A,B)$. Thus, if $A\leftarrow F\to B$ and $A\leftarrow G\to B$ are parallel anafunctors in $2\mathrm{Cong}(K)$, by pulling them both back to $F{\times}_{A}G$ we may assume that they are defined by spans with the same first leg, i.e. we have $A\leftarrow X\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}B$.

Now, for the inserter of $F$ and $G$ as above, let $E\to X$ be the inserter of $X\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}B$ in $2{\mathrm{Cong}}_{s}(K)$. It is easy to check that the composite $E\to X\to A$ is an inserter of $F,G$ in $2\mathrm{Cong}(K)$. Likewise, given $\alpha ,\beta :F\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}G$ with $F$ and $G$ as above, we have transformations between the two functors $X\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}B$ in $2{\mathrm{Cong}}_{s}(K)$, and it is again easy to check that their equifier in $2{\mathrm{Cong}}_{s}(K)$ is again the equifier in $2\mathrm{Cong}(K)$ of the original 2-cells $\alpha ,\beta $. Thus, $2\mathrm{Cong}(K)$ has finite limits. Finally, by construction clearly the inclusion of $2{\mathrm{Cong}}_{s}(K)$ preserves finite limits.

We write $n\mathrm{Cong}(K)$ for the full sub-2-category of $2\mathrm{Cong}(K)$ on the $n$-congruences, which is a finitely complete $n$-category. Of course, it contains $n{\mathrm{Cong}}_{s}(K)$ as a homwise-full sub-$n$-category closed under finite limits, and when $K$ is an $n$-category we have $\Phi :K\to n\mathrm{Cong}(K)$.

If $K$ is a subcanonical finitely complete $n$-site, then the functor $\Phi :K\to n\mathrm{Cong}(K)$ is 2-fully-faithful. If $K$ is an $n$-exact $n$-category equipped with its regular coverage, then $\Phi :K\to n\mathrm{Cong}(K)$ is an equivalence of 2-categories.

Since $\Phi :K\to n{\mathrm{Cong}}_{s}(K)$ is 2-fully-faithful and $n{\mathrm{Cong}}_{s}(K)\to n\mathrm{Cong}(K)$ is homwise fully faithful, $\Phi :K\to n\mathrm{Cong}(K)$ is homwise fully faithful. For homwise essential-surjectivity, suppose that $\mathrm{ker}(A)\leftarrow F\to \mathrm{ker}(B)$ is an anafunctor. Then $h:{F}_{0}\to A$ is a cover and ${F}_{1}$ is the pullback of ${A}^{2}$ along it; but this just says that ${F}_{1}=(h/h)$. The functor $F\to B$ consists of morphisms $g:{F}_{0}\to B$ and ${F}_{1}=(h/h)\to {B}^{2}$, and functoriality says precisely that the resulting 2-cell equips $g$ with an action by the congruence $F$. But since $F$ is precisely the kernel of $h:{F}_{0}\to A$, which is a cover in a subcanonical 2-site and hence the quotient of this kernel, we have an induced morphism $f:A\to B$ in $K$. It is then easy to check that $f$ is isomorphic, as an anafunctor, to $F$. Thus, $\Phi $ is homwise an equivalence.

Now suppose that $K$ is an $n$-exact $n$-category and that $D$ is an $n$-congruence. Since $K$ is $n$-exact, $D$ has a quotient $q:{D}_{0}\to Q$, and since $D$ is the kernel of $q$, we have a functor $D\to \mathrm{ker}(Q)$ which is a weak equivalence. Thus, we can regard it either as an anafunctor $D\to \mathrm{ker}(Q)$ or $\mathrm{ker}(Q)\to D$, and it is easy to see that these are inverse equivalences in $n\mathrm{Cong}(K)$. Thus, $\Phi $ is essentially surjective, and hence an equivalence.

Note that by working in the generality of 2-sites, this construction includes the previous one. Specifically, if $K$ is a finitely complete 2-category equipped with its minimal coverage, in which the covering families are those that contain a split epic, then $n\mathrm{Cong}(K)\simeq n{\mathrm{Cong}}_{s}(K)$. This is immediate from the proof of Theorem 1, which implies that the first leg of any anafunctor relative to this coverage is both eso and ff in $n{\mathrm{Cong}}_{s}(K)$, and hence an equivalence.

We also remark in passing that this allows us to reconstruct 2-exact 2-categories with enough groupoids or discretes from their subcategories of such.

If $K$ is a 2-exact 2-category with enough groupoids, then $K\simeq 2\mathrm{Cong}(\mathrm{gpd}(K))$. Likewise, if $K$ is 2-exact and has enough discretes, then $K\simeq 2\mathrm{Cong}(\mathrm{disc}(K))$.

Define a functor $K\to 2\mathrm{Cong}(\mathrm{gpd}(K))$ by taking each object $A$ to the kernel of $j:J\to A$ where $j$ is eso and $J$ is groupoidal (for example, it might be the core of $A$). Note that this kernel lives in $2\mathrm{Cong}(\mathrm{gpd}(K))$ since $(j/j)\to J\times J$ is discrete, hence $(j/j)$ is also groupoidal. The same argument as in Theorem 4 shows that this functor is 2-fully-faithful for any regular 2-category $K$ with enough groupoids, and essentially-surjective when $K$ is 2-exact; thus it is an equivalence. The same argument works for discrete objects.

In particular, the 2-exact 2-categories having enough discretes are precisely the 2-categories of internal categories and anafunctors in 1-exact 1-categories.

Our final goal is to construct the $n$-exact completion of a regular $n$-category, and a first step towards that is the following.

If $K$ is a regular $n$-category, so is $n\mathrm{Cong}(K)$. The functor $\Phi :K\to n\mathrm{Cong}(K)$ is regular, and moreover for any $n$-exact 2-category $L$ it induces an equivalence

$$\mathrm{Reg}(n\mathrm{Cong}(K),L)\to \mathrm{Reg}(K,L).$$

We already know that $n\mathrm{Cong}(K)$ has finite limits and $\Phi $ preserves finite limits. The rest is very similar to Theorem 1. We first observe that an anafunctor $A\leftarrow F\to B$ is an equivalence as soon as $F\to B$ is also a weak equivalence (its reverse span $B\leftarrow F\to A$ then provides an inverse.) Also, $A\leftarrow F\to B$ is ff if and only if

$$\begin{array}{ccc}{F}_{1}& \to & {B}_{1}\\ \downarrow & & \downarrow \\ {F}_{0}\times {F}_{0}& \to & {B}_{0}\times {B}_{0}\end{array}$$

is a pullback.

Now we claim that if $A\leftarrow F\to B$ is an anafunctor such that ${F}_{0}\to {B}_{0}$ is eso, then $F$ is eso. For if we have a composition

$$\begin{array}{ccccc}& & & & F\\ & & & \swarrow & & \searrow \\ & & G& & & & M\\ & \swarrow & & \searrow & & \swarrow & & \searrow \\ A& & & & C& & & & B\end{array}$$

such that $M$ is ff, then ${F}_{0}\to {B}_{0}$ being eso implies that ${M}_{0}\to {B}_{0}$ is also eso; thus $M\to B$ is a weak equivalence and so $M$ is an equivalence. Moreover, by the construction of pullbacks in $n\mathrm{Cong}(K)$, anafunctors with this property are stable under pullback.

Now suppose that $A\leftarrow F\to B$ is any anafunctor, and define ${C}_{0}={F}_{0}$ and let ${C}_{1}$ be the pullback of ${B}_{1}$ to ${C}_{0}\times {C}_{0}$ along ${C}_{0}={F}_{0}\mathrm{to}{B}_{0}$. Then $C$ is an $n$-congruence, $C\to B$ is ff in $n{\mathrm{Cong}}_{s}(K)$ and thus also in $n\mathrm{Cong}(K)$, and $A\leftarrow F\to B$ factors through $C$. (In fact, $C$ is the image of $F\to B$ in $n{\mathrm{Cong}}_{s}(K)$.) The kernel of $A\leftarrow F\to B$ can equally well be calculated as the kernel of $F\to B$, which is the same as the kernel of $F\to C$.

Finally, given any $A\leftarrow G\to D$ with an action by this kernel, we may as well assume (by pullbacks) that $F=G$ (which leaves $C$ unchanged up to equivalence). Then since the kernel acting is the same as the kernel of $F\to C$, regularity of $n{\mathrm{Cong}}_{s}(K)$ gives a descended functor $C\to D$. Thus, $A\leftarrow F\to C$ is the quotient of its kernel; so $n\mathrm{Cong}(K)$ is regular.

Finally, if $L$ is $n$-exact, then any functor $K\to L$ induces one $n\mathrm{Cong}(K)\to n\mathrm{Cong}(L)$, but $n\mathrm{Cong}(L)\simeq L$, so we have our extension, which it can be shown is unique up to equivalence.

When $K$ is a regular 1-category, it is well-known that $1\mathrm{Cong}(K)$ (which, in that case, is the category of internal equivalence relations and functional relations) is the 1-exact completion of $K$ (the reflection of $K$ from regular 1-categories into 1-exact 1-categories). Theorem 6 shows that in general, $n\mathrm{Cong}(K)$ will be the $n$-exact completion of $K$ whenver it is $n$-exact. However, in general for $n>1$ we need to “build up exactness” in stages by iterating this construction.

It is possible that the iteration will converge at some finite stage, but for now, define $n{\mathrm{Cong}}^{r}(K)=n\mathrm{Cong}(n{\mathrm{Cong}}^{r-1}(K))$ and let ${K}_{n\mathrm{ex}/\mathrm{reg}}={\mathrm{colim}}_{r}n{\mathrm{Cong}}^{r}(K)$.

For any regular $n$-category $K$, ${K}_{n\mathrm{ex}/\mathrm{reg}}$ is an $n$-exact $n$-category and there is a 2-fully-faithful regular functor $\Phi :K\to {K}_{n\mathrm{ex}/\mathrm{reg}}$ that induces an equivalence

$$\mathrm{Reg}({K}_{n\mathrm{ex}/\mathrm{reg}},L)\simeq \mathrm{Reg}(K,L)$$

for any $n$-exact 2-category $L$.

Sequential colimits preserve 2-fully-faithful functors as well as functors that preserve finite limits and quotients, and the final statement follows easily from Theorem 6. Thus it remains only to show that ${K}_{n\mathrm{ex}/\mathrm{reg}}$ is $n$-exact. But for any $n$-congruence ${D}_{1}\phantom{\rule{thickmathspace}{0ex}}\rightrightarrows \phantom{\rule{thickmathspace}{0ex}}{D}_{0}$ in ${K}_{n\mathrm{ex}/\mathrm{reg}}$, there is some $r$ such that ${D}_{0}$ and ${D}_{1}$ both live in $n{\mathrm{Cong}}^{r}(K)$, and thus so does the congruence since $n{\mathrm{Cong}}^{r}(K)$ sits 2-fully-faithfully in ${K}_{n\mathrm{ex}/\mathrm{reg}}$ preserving finite limits. This congruence in $n{\mathrm{Cong}}^{r}(K)$ is then an object of $n{\mathrm{Cong}}^{r+1}(K)$ which supplies a quotient there, and thus also in ${K}_{n\mathrm{ex}/\mathrm{reg}}$.

Revised on February 6, 2009 05:34:31
by Mike Shulman
(75.3.140.11)