Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorMike Shulman
   • CommentTimeSep 6th 2012
   • (edited Sep 6th 2012)
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI have added a section about unary sites to [[regular and exact completions]], and a mention of the fact that there are higher-ary versions (also to [[pretopos completion]]. I think this is about all I'm going to do right now in the way of adding content to the nLab from my exact completions paper. Below I copy an old discussion from [[regular and exact completions]].

   I have added a section about unary sites to regular and exact completions, and a mention of the fact that there are higher-ary versions (also to pretopos completion. I think this is about all I’m going to do right now in the way of adding content to the nLab from my exact completions paper.

   Below I copy an old discussion from regular and exact completions.

2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeSep 6th 2012
   • (edited Sep 6th 2012)
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItex*begin old discussion* [[Todd Trimble]]: Hi Mike. Thanks very much for writing this article. Could you clarify for me your use of parentheticals below in the case of reg/lex completion? I am guessing that all parentheticals like "(weak)" can be safely ignored in the case where $C$ is actually finitely complete (as opposed to weakly finitely complete), so that, for example, the objects of $C_{reg/lex}$ can in that case be taken to be pairs $(c, e)$ where $e$ is a kernel pair of a morphism $f: c \to d$, and morphisms $(c, e) \to (c', e')$ are morphisms $c \to c'$ which respect the equivalence relations. If my guess is correct, I think I might have found it easier to read if the finitely complete case were run through first, followed by discussion of what modifications are to be made in the case of weak finite completeness, rather than discussing the two cases simultaneously using parentheticals. Also, I wasn't able to find under Properties something about the reg/lex completion I was expecting or hoping to find. (My immediate interest in this is the example of equilogical spaces as regular completion of $Top$.) Is there supposed to be a property along the lines that the regular completion is cartesian closed if $C$ has weak exponentials, and locally cartesian closed if $C$ has weak dependent products? (I don't have ready access to the literature, so these should be treated as guesses.) [[Mike Shulman]]: You're exactly right about the meaning of the parentheticals. Sorry for writing that in kind of a confusing way. Your guess is exactly right, and your suggestion is a good one; see if you think it's clearer now. I'm surprised to realize that I omitted the conditions for (local) cartesian closure of the reg/lex completion, since one needs them to conclude that it preserves lextensive quasitoposes. The only conditions I can find in the literature require somewhat more than mere weak (local) cartesian closure of $C$. The point being that the set of function from a quotient of $X$ to a quotient of $Y$ may, in general, be only a *quotient* of the set of functions from $X$ to $Y$, so we need some way to ensure that that quotient exists in $C_{reg/lex}$ since it doesn't have all quotients. But $Top$ does satisfy those conditions, so equilogical spaces are locally cartesian closed. _Todd_: Thanks again; I think the section on regular completion does read more clearly now, and the material you added to Properties is very helpful. I think what you wrote on equilogical spaces might fit well in Examples, as would realizability toposes as examples of exact completions. If I have time soon I might write down something stubby here. *end old discussion*

   begin old discussion

   Todd Trimble: Hi Mike. Thanks very much for writing this article. Could you clarify for me your use of parentheticals below in the case of reg/lex completion? I am guessing that all parentheticals like “(weak)” can be safely ignored in the case where $C$ is actually finitely complete (as opposed to weakly finitely complete), so that, for example, the objects of $C_{reg/lex}$ can in that case be taken to be pairs $(c, e)$ where $e$ is a kernel pair of a morphism $f: c \to d$, and morphisms $(c, e) \to (c', e')$ are morphisms $c \to c'$ which respect the equivalence relations.

   If my guess is correct, I think I might have found it easier to read if the finitely complete case were run through first, followed by discussion of what modifications are to be made in the case of weak finite completeness, rather than discussing the two cases simultaneously using parentheticals.

   Also, I wasn’t able to find under Properties something about the reg/lex completion I was expecting or hoping to find. (My immediate interest in this is the example of equilogical spaces as regular completion of $Top$.) Is there supposed to be a property along the lines that the regular completion is cartesian closed if $C$ has weak exponentials, and locally cartesian closed if $C$ has weak dependent products? (I don’t have ready access to the literature, so these should be treated as guesses.)

   Mike Shulman: You’re exactly right about the meaning of the parentheticals. Sorry for writing that in kind of a confusing way. Your guess is exactly right, and your suggestion is a good one; see if you think it’s clearer now.

   I’m surprised to realize that I omitted the conditions for (local) cartesian closure of the reg/lex completion, since one needs them to conclude that it preserves lextensive quasitoposes. The only conditions I can find in the literature require somewhat more than mere weak (local) cartesian closure of $C$. The point being that the set of function from a quotient of $X$ to a quotient of $Y$ may, in general, be only a quotient of the set of functions from $X$ to $Y$, so we need some way to ensure that that quotient exists in $C_{reg/lex}$ since it doesn’t have all quotients. But $Top$ does satisfy those conditions, so equilogical spaces are locally cartesian closed.

   Todd: Thanks again; I think the section on regular completion does read more clearly now, and the material you added to Properties is very helpful. I think what you wrote on equilogical spaces might fit well in Examples, as would realizability toposes as examples of exact completions. If I have time soon I might write down something stubby here.

   end old discussion

3. • CommentRowNumber3.
   • CommentAuthorTodd_Trimble
   • CommentTimeSep 6th 2012
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexPartly on the principle of extracting a punchline from a removed discussion, I added the example of realizability toposes to the Examples section of [[regular and exact completions]]. Hopefully I can get to equilogical spaces as well, as another example.

   Partly on the principle of extracting a punchline from a removed discussion, I added the example of realizability toposes to the Examples section of regular and exact completions. Hopefully I can get to equilogical spaces as well, as another example.

4. • CommentRowNumber4.
   • CommentAuthorMike Shulman
   • CommentTimeSep 6th 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexGreat, thanks!

   Great, thanks!

5. • CommentRowNumber5.
   • CommentAuthorTodd_Trimble
   • CommentTimeSep 6th 2012
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexNit-picky question: in the Properties section you (I _think_ it was you, Mike) wrote, "Note that $Top_{reg/lex}$ is called the category of equilogical spaces." This $Top$ is the category $Top_0$ of T$_0$ spaces, yes? Trying to fit some things together here: $Equ$ is also the result of splitting partial equivalence relations in the category of algebraic lattices. So I'm guessing we have a chain $$AlgLat \stackrel{Cor_{split}}{\to} Top_0 \stackrel{reg/lex}{\to} Equ$$ based on the idea that we can split PERs in two stages: first split coreflexive maps (that's $Cor_{split}$), and from there split total equivalence relations (that's the reg/lex completion, at least if equivalence relations coincide with kernel pairs, which I guess is true for T$_0$-spaces (?)). Does that sound accurate?

   Nit-picky question: in the Properties section you (I think it was you, Mike) wrote, “Note that $Top_{reg/lex}$ is called the category of equilogical spaces.” This $Top$ is the category $Top_0$ of T$_0$ spaces, yes?

   Trying to fit some things together here: $Equ$ is also the result of splitting partial equivalence relations in the category of algebraic lattices. So I’m guessing we have a chain

   $$AlgLat \stackrel{Cor_{split}}{\to} Top_0 \stackrel{reg/lex}{\to} Equ$$

   based on the idea that we can split PERs in two stages: first split coreflexive maps (that’s $Cor_{split}$), and from there split total equivalence relations (that’s the reg/lex completion, at least if equivalence relations coincide with kernel pairs, which I guess is true for T$_0$-spaces (?)).

   Does that sound accurate?

6. • CommentRowNumber6.
   • CommentAuthorMike Shulman
   • CommentTimeSep 6th 2012
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexErm, maybe (on all points). It's been a long time since I looked at equilogical spaces, and I don't have the time right now to re-read up, sorry.

   Erm, maybe (on all points). It’s been a long time since I looked at equilogical spaces, and I don’t have the time right now to re-read up, sorry.

7. • CommentRowNumber7.
   • CommentAuthorTodd_Trimble
   • CommentTimeOct 5th 2016
   • (edited Oct 5th 2016)
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexTo [[regular and exact completions]] I added several observations with supporting references: (1) that the ex/lex completion of a presheaf topos $Set^{C^{op}}$ is a topos only if $C$ is a groupoid, (2) that the ex/lex completion of a $\Pi W$-pretopos is a $\Pi W$-pretopos, and (3) that the free small cocompletion of a (possibly large) finitely complete category is the ex/lex completion of its free coproduct completion.

   To regular and exact completions I added several observations with supporting references: (1) that the ex/lex completion of a presheaf topos $Set^{C^{op}}$ is a topos only if $C$ is a groupoid, (2) that the ex/lex completion of a $\Pi W$-pretopos is a $\Pi W$-pretopos, and (3) that the free small cocompletion of a (possibly large) finitely complete category is the ex/lex completion of its free coproduct completion.

8. • CommentRowNumber8.
   • CommentAuthornLab edit announcer
   • CommentTimeNov 2nd 2019
   • PermaLink
   Author: nLab edit announcer
   Format: MarkdownItexone typo steveawodey <a href="https://ncatlab.org/nlab/revision/diff/regular+and+exact+completions/26">diff</a>, <a href="https://ncatlab.org/nlab/revision/regular+and+exact+completions/26">v26</a>, <a href="https://ncatlab.org/nlab/show/regular+and+exact+completions">current</a>

   one typo

   steveawodey

   diff, v26, current

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeOct 12th 2021
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded author links and publication data for: * [[Aurelio Carboni]], [[Enrico Vitale]], *Regular and exact completions*, Journal of Pure and Applied Algebra **125** 1–3 (1998) 79-116 (<a href="https://doi.org/10.1016/S0022-4049(96)00115-6">doi:10.1016/S0022-4049(96)00115-6</a>) <a href="https://ncatlab.org/nlab/revision/diff/regular+and+exact+completions/32">diff</a>, <a href="https://ncatlab.org/nlab/revision/regular+and+exact+completions/32">v32</a>, <a href="https://ncatlab.org/nlab/show/regular+and+exact+completions">current</a>

   added author links and publication data for:

   • Aurelio Carboni, Enrico Vitale, Regular and exact completions, Journal of Pure and Applied Algebra 125 1–3 (1998) 79-116 (doi:10.1016/S0022-4049(96)00115-6)

   diff, v32, current