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.
   • CommentAuthorUrs
   • CommentTimeMay 4th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItextook the liberty of changing at [[ind-object]] the links that previously pointed to [[finitely presentable object]] directly to [[compact object]]. It would be nice if we could eventually expand on the query-box discussion at [[finitely presentable object]], but currently there seems to be no point in directing to this entry instead of "compact object" if just commutitivity with colimits matters.

   took the liberty of changing at ind-object the links that previously pointed to finitely presentable object directly to compact object.

   It would be nice if we could eventually expand on the query-box discussion at finitely presentable object, but currently there seems to be no point in directing to this entry instead of “compact object” if just commutitivity with colimits matters.

2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeMay 5th 2010
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThanks for bringing up this issue; the pages [[compact object]], [[finitely presentable object]], and [[finitely generated object]] are currently a mess. I would suggest that [[finitely presentable object]] be changed into a redirect to the current page [[compact object]], with whatever discussion there is to be had about the relationship between that and the more "concrete" algebraic notions (including that of "finitely presented object," currently discussed at [[finitely generated object]]) placed somewhere on that page. Then the page [[finitely generated object]] can in turn focus on the analogous pair of notions ("generated" in the usual sense of algebra, and "generated" ("generable?") in the categorical sense of preserving directed colimits of monomorphisms) and their relationship.

   Thanks for bringing up this issue; the pages compact object, finitely presentable object, and finitely generated object are currently a mess. I would suggest that finitely presentable object be changed into a redirect to the current page compact object, with whatever discussion there is to be had about the relationship between that and the more “concrete” algebraic notions (including that of “finitely presented object,” currently discussed at finitely generated object) placed somewhere on that page. Then the page finitely generated object can in turn focus on the analogous pair of notions (“generated” in the usual sense of algebra, and “generated” (“generable?”) in the categorical sense of preserving directed colimits of monomorphisms) and their relationship.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeMay 5th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexokay, I removed the former "finitely presented object", made its name redirect to [[compact object]] and merged its content into [[compact object]] in the sections <a href="http://ncatlab.org/nlab/show/compact+object#FinitelyPresentableObject">finitely presentable objects</a> (mainly your, Mike's, query box remark on what should be true) and <a href="http://ncatlab.org/nlab/show/compact+object#references">References</a> (the two references that do use these terms for compact objects).

   okay, I removed the former “finitely presented object”, made its name redirect to compact object and merged its content into compact object in the sections finitely presentable objects (mainly your, Mike’s, query box remark on what should be true) and References (the two references that do use these terms for compact objects).

4. • CommentRowNumber4.
   • CommentAuthorTim_Porter
   • CommentTimeFeb 5th 2014
   • (edited Feb 5th 2014)
   • PermaLink
   Author: Tim_Porter
   Format: MarkdownItexI have one query about the [[ind-object]] entry. We say > * the third by the assumption that each object is a [[compact object]]; This is only vaguely motivated by the discussion given further up about some of the examples. Is there a more crucial well motivated reason for imposing this? Can we say why this is needed. As it is written it more or less looks like just a condition to get a nice description of the set of morphisms, and whilst that is fine, I am wondering if we cannot put something a bit more convincing here. (I have looked at SGA4 and its handling of $Ind\!-\!C$, but have got a bit confused over the motivations that it presents as well.)

   I have one query about the ind-object entry. We say

   • the third by the assumption that each object is a compact object;

   This is only vaguely motivated by the discussion given further up about some of the examples. Is there a more crucial well motivated reason for imposing this? Can we say why this is needed. As it is written it more or less looks like just a condition to get a nice description of the set of morphisms, and whilst that is fine, I am wondering if we cannot put something a bit more convincing here. (I have looked at SGA4 and its handling of $Ind\!-\!C$, but have got a bit confused over the motivations that it presents as well.)

5. • CommentRowNumber5.
   • CommentAuthorTodd_Trimble
   • CommentTimeFeb 5th 2014
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexI can see Tim's point. Might it be more convincing if the sections were rearranged, so that the description as filtered colimits of representables came first? One gets to the same direct description of the homs either way. There's a general principle that for any small category $C$, the free cocompletion is $Set^{C^{op}}$ (this is the free cocompletion with respect to all colimits), and then to take the free cocompletion with respect to some class of colimits, one takes the closure of $C$ with respect to that class inside $Set^{C^{op}}$. This is covered in some paper by Max Kelly (possibly co-authored); would have to look it up. Then one can notice (by the Yoneda lemma) that the hom-functor $Set^{C^{op}}(y c, -)$, where $y: C \to Set^{C^{op}}$ is the Yoneda embedding, preserves *all* colimits. So whatever class of colimits one closes up under, homming out of $y c$ will preserve those colimits.

   I can see Tim’s point. Might it be more convincing if the sections were rearranged, so that the description as filtered colimits of representables came first? One gets to the same direct description of the homs either way.

   There’s a general principle that for any small category $C$, the free cocompletion is $Set^{C^{op}}$ (this is the free cocompletion with respect to all colimits), and then to take the free cocompletion with respect to some class of colimits, one takes the closure of $C$ with respect to that class inside $Set^{C^{op}}$. This is covered in some paper by Max Kelly (possibly co-authored); would have to look it up. Then one can notice (by the Yoneda lemma) that the hom-functor $Set^{C^{op}}(y c, -)$, where $y: C \to Set^{C^{op}}$ is the Yoneda embedding, preserves all colimits. So whatever class of colimits one closes up under, homming out of $y c$ will preserve those colimits.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeAug 29th 2016
   • (edited Aug 29th 2016)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added statement of some more of the basic facts to the Properties-section at _[[ind-object]]_.

   I have added statement of some more of the basic facts to the Properties-section at ind-object.

7. • CommentRowNumber7.
   • CommentAuthorzskoda
   • CommentTimeAug 29th 2016
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI think that the statement introducing what is [[accessible category]] in the idea section of the [[ind-object]] is not entirely correct: it says that the category is accessible if it is (equivalent to) the ind-category of some small category. But it needs to be equivalent to $\kappa$-ind-category for some regular $\kappa$ what is stronger, as $Ind(C)$ is not necessarily equivalent to $Ind_\kappa(C)$ for any $\kappa$. At least when by small filtered colimit one takes small in the sense of ZF and not in the sense of a Grothendieck universe. Right ? Another thing: do we have in $n$Lab somewhere treatment of the category of strict Ind-objects (colimits of small filtered diagrams where all morphisms are monic). For practice this is very imporant and it is much harder to find the statements in the literature. Moreover, the colimits in $Ind^s(C)$ there are often not inherited from $Ind(C)$.

   I think that the statement introducing what is accessible category in the idea section of the ind-object is not entirely correct: it says that the category is accessible if it is (equivalent to) the ind-category of some small category. But it needs to be equivalent to $\kappa$-ind-category for some regular $\kappa$ what is stronger, as $Ind(C)$ is not necessarily equivalent to $Ind_\kappa(C)$ for any $\kappa$. At least when by small filtered colimit one takes small in the sense of ZF and not in the sense of a Grothendieck universe. Right ?

   Another thing: do we have in $n$Lab somewhere treatment of the category of strict Ind-objects (colimits of small filtered diagrams where all morphisms are monic). For practice this is very imporant and it is much harder to find the statements in the literature. Moreover, the colimits in $Ind^s(C)$ there are often not inherited from $Ind(C)$.

8. • CommentRowNumber8.
   • CommentAuthorzskoda
   • CommentTimeAug 29th 2016
   • PermaLink
   Author: zskoda
   Format: MarkdownItexI created an entry [[strict ind-object]] with redirect [[strict pro-object]], so far having only the definition. I believe there might be more scattered material somewhere in the $n$Lab, if so, please let me know.

   I created an entry strict ind-object with redirect strict pro-object, so far having only the definition. I believe there might be more scattered material somewhere in the $n$Lab, if so, please let me know.

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeAug 30th 2016
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks, Zoran. I have added to _[[strict ind-object]]_ references, missing plural redirects, and cross-link from _[[ind-object]]_.

   Thanks, Zoran. I have added to strict ind-object references, missing plural redirects, and cross-link from ind-object.

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 30th 2016
    • (edited Aug 30th 2016)
    • PermaLink
    Author: Urs
    Format: MarkdownItexI am trying to understand how to express Pro-morphisms between _sequential_ diagrams (towers) in terms of components. Generally for cofiltered diagrams $X \colon K_1 \to \mathcal{C}$ and $Y \colon K_2 \to \mathcal{C}$, there are initial functors $K \to K_1$ and $K \to K_2$ such that Pro-morphisms between the two diagrams are represented by a system of $K$-indexed morphisms (e.g. [Kashiwara-Schapira 06, prop. 6.1.13](https://ncatlab.org/nlab/show/ind-object#KashiwaraSchapira06)). Now in the special case that $K_1 = K_2 = \mathbb{N}_{\geq}$ are both the tower diagram, how may we improve this statement? May we assume that $K$ may be taken to be $\simeq \mathbb{N}_{\geq}$, too? In ([Blanc 96, p. 6](https://ncatlab.org/nlab/show/strict%20ind-object#Blanc96)) it says that in this case every pro-morphism from $X$ to $Y$ is represented by a sequence of components $$ f_s \;\colon\; X_{n_s} \longrightarrow Y_s $$ which are compatible in that -- while the squares $$ \array{ X_{n_s+1} &\overset{f_{s+1}}{\longrightarrow}& Y_{s+1} \\ \downarrow && \downarrow^{} \\ X_{n_s} &\underset{f_{s}}{\longrightarrow}& Y_{s} } $$ need not commute -- there is $m_s \geq n_{s+1}, n_s$ such that the whiskering $$ \array{ X_{m_s} \\ \downarrow \\ X_{n_s+1} &\overset{f_{s+1}}{\longrightarrow}& Y_{s+1} \\ \downarrow && \downarrow^{} \\ X_{n_s} &\underset{f_{s}}{\longrightarrow}& Y_{s} } $$ does commute. I realize that this must be elementary. But right now I am confused as to why this is. But if true, I suppose I could choose a sequence of $m_s$ as above, define inductively $$ \tilde f_{s+1} \colon X_{m_s} \to X_{s+1} \overset{f_{n_s+1}}{\longrightarrow} Y_{s+1} $$ to get commuting diagrams $$ \array{ X_{m_s} &\overset{\tilde f_{s+1}}{\longrightarrow}& Y_{s+1} \\ \downarrow && \downarrow^{} \\ X_{m_{s-1}} &\underset{\tilde f_{s}}{\longrightarrow}& Y_{s} } $$ and thus answer my above question on whether we may choose $K = \mathbb{N}_{\geq}$ positively. Is this right?

    I am trying to understand how to express Pro-morphisms between sequential diagrams (towers) in terms of components.

    Generally for cofiltered diagrams $X \colon K_1 \to \mathcal{C}$ and $Y \colon K_2 \to \mathcal{C}$, there are initial functors $K \to K_1$ and $K \to K_2$ such that Pro-morphisms between the two diagrams are represented by a system of $K$-indexed morphisms (e.g. Kashiwara-Schapira 06, prop. 6.1.13).

    Now in the special case that $K_1 = K_2 = \mathbb{N}_{\geq}$ are both the tower diagram, how may we improve this statement? May we assume that $K$ may be taken to be $\simeq \mathbb{N}_{\geq}$, too?

    In (Blanc 96, p. 6) it says that in this case every pro-morphism from $X$ to $Y$ is represented by a sequence of components

    $$f_s \;\colon\; X_{n_s} \longrightarrow Y_s$$

    which are compatible in that – while the squares

    $$\array{ X_{n_s+1} &\overset{f_{s+1}}{\longrightarrow}& Y_{s+1} \\ \downarrow && \downarrow^{} \\ X_{n_s} &\underset{f_{s}}{\longrightarrow}& Y_{s} }$$

    need not commute – there is $m_s \geq n_{s+1}, n_s$ such that the whiskering

    $$\array{ X_{m_s} \\ \downarrow \\ X_{n_s+1} &\overset{f_{s+1}}{\longrightarrow}& Y_{s+1} \\ \downarrow && \downarrow^{} \\ X_{n_s} &\underset{f_{s}}{\longrightarrow}& Y_{s} }$$

    does commute.

    I realize that this must be elementary. But right now I am confused as to why this is.

    But if true, I suppose I could choose a sequence of $m_s$ as above, define inductively

    $$\tilde f_{s+1} \colon X_{m_s} \to X_{s+1} \overset{f_{n_s+1}}{\longrightarrow} Y_{s+1}$$

    to get commuting diagrams

    $$\array{ X_{m_s} &\overset{\tilde f_{s+1}}{\longrightarrow}& Y_{s+1} \\ \downarrow && \downarrow^{} \\ X_{m_{s-1}} &\underset{\tilde f_{s}}{\longrightarrow}& Y_{s} }$$

    and thus answer my above question on whether we may choose $K = \mathbb{N}_{\geq}$ positively.

    Is this right?

11. • CommentRowNumber11.
    • CommentAuthorTim_Porter
    • CommentTimeAug 30th 2016
    • (edited Aug 30th 2016)
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexThere are various methods. The important result is the reindexing lemma which can be found in Artin and Mazur LN 100. Here is a version in latex (I am rather rushed so will not attempt to do it in the correct form for here.) Let $X:\mathcal{I}\to \mathcal{C}$, and $Y :\mathcal{J}\to \mathcal{C}$ be two objects in $Pro\!-\!\mathcal{C}$, and $f: X\to Y$ be a morphism between them. There is a cofiltering category, $\mathcal{H} = \mathcal{H}_f$, with cofinal functors, $\varphi : \mathcal{H}\to \mathcal{I}$, $\psi : \mathcal{H}\to \mathcal{J}$, and a natural transformation, $f^\prime : X\varphi \to Y\psi$ such that the diagram (IN XYMATRIX IN THE SOURCE) $$\xymatrix{ X\ar[r]^f\ar[d]_\cong&Y\ar[d]^\cong\\ X\varphi \ar[r]_{f^\prime}&Y\psi }$$ commutes in $Pro\!-\!\mathcal{C}$, (where the vertical arrows are the natural isomorphisms induced by the cofinal reindexing functors, $\varphi$ and $\psi$ respectively). (This means that the $K$ you are looking at depends on the morphism you start with.) There are useful generalisations of this: see D. C. Isaksen, Calculating limits and colimits in pro-categories, Fundamenta Mathematicae, 175, (2002), 175 – 194. I have not checked through in detail what you have written but the only you seem to be missing is in using the description of colimits in Sets. ( I think this was given in detail in the book on Shape Theory that Cordier and I wrote, but the treatment there could be improved I think.) Other nice sources are Edwards and Hastings lecture notes. Sorry this is a bit hurried as I have to rush off soon.

    There are various methods. The important result is the reindexing lemma which can be found in Artin and Mazur LN 100. Here is a version in latex (I am rather rushed so will not attempt to do it in the correct form for here.) Let $\xymatrix{ X\ar[r]^f\ar[d]_\cong&X:\mathcal{I}\to \mathcal{C}$, and $Y :\mathcal{J}\to \mathcal{C}$ be two objects in $Pro\!-\!\mathcal{C}$, and $f: X\to Y$ be a morphism between them. There is a cofiltering category, $\mathcal{H} = \mathcal{H}_f$, with cofinal functors, $\varphi : \mathcal{H}\to \mathcal{I}$, $\psi : \mathcal{H}\to \mathcal{J}$, and a natural transformation, $f^\prime : X\varphi \to Y\psi$ such that the diagram (IN XYMATRIX IN THE SOURCE)

    commutes in $Pro\!-\!\mathcal{C}$, (where the vertical arrows are the natural isomorphisms induced by the cofinal reindexing functors, $\varphi$ and $\psi$ respectively).

    (This means that the $K$ you are looking at depends on the morphism you start with.)

    There are useful generalisations of this: see D. C. Isaksen, Calculating limits and colimits in pro-categories, Fundamenta Mathematicae, 175, (2002), 175 – 194.

    I have not checked through in detail what you have written but the only you seem to be missing is in using the description of colimits in Sets. ( I think this was given in detail in the book on Shape Theory that Cordier and I wrote, but the treatment there could be improved I think.) Other nice sources are Edwards and Hastings lecture notes.

    Sorry this is a bit hurried as I have to rush off soon.

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 30th 2016
    • (edited Aug 30th 2016)
    • PermaLink
    Author: Urs
    Format: MarkdownItexTim, that's the statement that I did point to. What I am asking is how much control we have over the re-indexing shape in the case of pro-morphisms between _tower_ diagrams. In this case, may we always assume that $\mathcal{H}$ (in your notation) is again the tower shape? I found another preprint that claims this : Assaf Libman, "Tower techniques for cofacial resolutions". ([pdf](http://hopf.math.purdue.edu/Libman/towers.pdf)) (p. 4) Why is it true?

    Tim, that’s the statement that I did point to. What I am asking is how much control we have over the re-indexing shape in the case of pro-morphisms between tower diagrams. In this case, may we always assume that $\mathcal{H}$ (in your notation) is again the tower shape?

    I found another preprint that claims this :

    Assaf Libman, “Tower techniques for cofacial resolutions”. (pdf)

    (p. 4) Why is it true?

13. • CommentRowNumber13.
    • CommentAuthorTim_Porter
    • CommentTimeAug 30th 2016
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexIf Zoran has not answered this for you by Thursday when I will be back home with better reference books, I think I can give you the answer. YES to 'may we always assume that ℋ\mathcal{H} (in your notation) is again the tower shape?' but I need to double check one or two things out first. I am travelling at the moment.

    If Zoran has not answered this for you by Thursday when I will be back home with better reference books, I think I can give you the answer. YES to ’may we always assume that ℋ\mathcal{H} (in your notation) is again the tower shape?’ but I need to double check one or two things out first. I am travelling at the moment.

14. • CommentRowNumber14.
    • CommentAuthorzskoda
    • CommentTimeAug 30th 2016
    • (edited Aug 30th 2016)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexUrs, 10 > But right now I am confused as to why this is. This is triviality nothing to do with towers. The formula for Hom in Pro-category via lim colim is computed in Set. We know how lim looks there -- as threads, and colim -- as germs (equivalence classes), see what I wrote at <https://ncatlab.org/nlab/show/pro-object> in section via formal co-filtered limits. So it is straightfoward to just write out what the equivalence class as germs gives -- the agreement at common restriction gives this wiskering. Now the morphisms of towers can indeed be replaced by level morphisms (this is true for more general inverse systems han towers). Now depending on the formalism, this is a different premorphism but the same morphism. See Theorem 3, page 12 of Sibe Mardešić, Jack Segal, Foundations of shape theory, North-Holland 1982. I personally do not like this way with making choices (coming originally I think from a Graeme Segal's equivariant K-theory paper) and like staying with quantifiers instead -- so for every $k$ there is at least one $s$ with morphism from $X_s$ to $Y_k$ and one looks at totality of all such rather than choosing the index function and having the strange notion of premorphism.

    Urs, 10

    But right now I am confused as to why this is.

    This is triviality nothing to do with towers. The formula for Hom in Pro-category via lim colim is computed in Set. We know how lim looks there – as threads, and colim – as germs (equivalence classes), see what I wrote at https://ncatlab.org/nlab/show/pro-object in section via formal co-filtered limits. So it is straightfoward to just write out what the equivalence class as germs gives – the agreement at common restriction gives this wiskering.

    Now the morphisms of towers can indeed be replaced by level morphisms (this is true for more general inverse systems han towers). Now depending on the formalism, this is a different premorphism but the same morphism. See Theorem 3, page 12 of Sibe Mardešić, Jack Segal, Foundations of shape theory, North-Holland 1982.

    I personally do not like this way with making choices (coming originally I think from a Graeme Segal’s equivariant K-theory paper) and like staying with quantifiers instead – so for every $k$ there is at least one $s$ with morphism from $X_s$ to $Y_k$ and one looks at totality of all such rather than choosing the index function and having the strange notion of premorphism.

15. • CommentRowNumber15.
    • CommentAuthorTim_Porter
    • CommentTimeApr 12th 2018
    • (edited Apr 12th 2018)
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexI noticed some grey links with characters not showing. Both involved people with first name Ji&#345;&#237; and who have entries in the Lab. There may be other cases of this where accents are not being registered correctly. The fix I did was to use redirects without accents. This problem has occurred (and was fixed I thought) before but perhaps a change in the system has negated what was done before. <a href="https://ncatlab.org/nlab/revision/diff/ind-object/62">diff</a>, <a href="https://ncatlab.org/nlab/revision/ind-object/62">v62</a>, <a href="https://ncatlab.org/nlab/show/ind-object">current</a>

    I noticed some grey links with characters not showing. Both involved people with first name Jiří and who have entries in the Lab. There may be other cases of this where accents are not being registered correctly. The fix I did was to use redirects without accents. This problem has occurred (and was fixed I thought) before but perhaps a change in the system has negated what was done before.

    diff, v62, current

16. • CommentRowNumber16.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 12th 2018
    • PermaLink
    Author: Richard Williamson
    Format: MarkdownItexThanks for fixing, Tim! The changes I have made in the recent months should not have affected this. I will take a look when I get the chance (I suppose it is not the highest priority).

    Thanks for fixing, Tim! The changes I have made in the recent months should not have affected this. I will take a look when I get the chance (I suppose it is not the highest priority).

17. • CommentRowNumber17.
    • CommentAuthorTim_Porter
    • CommentTimeApr 12th 2018
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexThere were other accents (e.g. on Cech) which fail to work in links. As you say it is not first priority.

    There were other accents (e.g. on Cech) which fail to work in links. As you say it is not first priority.

18. • CommentRowNumber18.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 12th 2018
    • (edited Apr 12th 2018)
    • PermaLink
    Author: Richard Williamson
    Format: MarkdownItexHi Tim, I took a look at this after all, and as far as I can see everything is actually working fine now (without my having done anything). You can see that in the latest edit at [[ind-object]], I have written Jiří Adámek as-is, without there being any problem with the redirect. In this particular case, the ? in the source before you fixed it had been present ever since the reference was first added to the page back in 2014, so I suppose that there was some bug at that time which has since been fixed, but that the page had not been fixed until now. If you find any examples where things do not seem to be working even now, I'll be happy to take a look.

    Hi Tim, I took a look at this after all, and as far as I can see everything is actually working fine now (without my having done anything). You can see that in the latest edit at ind-object, I have written Jiří Adámek as-is, without there being any problem with the redirect. In this particular case, the ? in the source before you fixed it had been present ever since the reference was first added to the page back in 2014, so I suppose that there was some bug at that time which has since been fixed, but that the page had not been fixed until now.

    If you find any examples where things do not seem to be working even now, I’ll be happy to take a look.

19. • CommentRowNumber19.
    • CommentAuthorTim_Porter
    • CommentTimeApr 12th 2018
    • PermaLink
    Author: Tim_Porter
    Format: MarkdownItexThanks, Tim

    Thanks, Tim

20. • CommentRowNumber20.
    • CommentAuthorSam Staton
    • CommentTimeAug 23rd 2022
    • PermaLink
    Author: Sam Staton
    Format: MarkdownItexadd link for sind object <a href="https://ncatlab.org/nlab/revision/diff/ind-object/68">diff</a>, <a href="https://ncatlab.org/nlab/revision/ind-object/68">v68</a>, <a href="https://ncatlab.org/nlab/show/ind-object">current</a>

    add link for sind object

    diff, v68, current

21. • CommentRowNumber21.
    • CommentAuthorvarkor
    • CommentTimeAug 23rd 2022
    • PermaLink
    Author: varkor
    Format: MarkdownItexIt seems a little strange to me for this page to be called "ind-object" rather than "Ind". After all, it's typically the cocompletion (qua 2-monad/pseudomonad) one is interested in (and why place more value in the objects rather than the morphisms). I suppose this terminology is common in certain works (SGA, perhaps), but in papers on pure category theory, I don't think I've ever seen the term "ind-object".

    It seems a little strange to me for this page to be called “ind-object” rather than “Ind”. After all, it’s typically the cocompletion (qua 2-monad/pseudomonad) one is interested in (and why place more value in the objects rather than the morphisms). I suppose this terminology is common in certain works (SGA, perhaps), but in papers on pure category theory, I don’t think I’ve ever seen the term “ind-object”.

22. • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeAug 23rd 2022
    • PermaLink
    Author: Urs
    Format: MarkdownItexIn such cases, best to add explanation of this issue right up front in the Idea-section -- then the exact choice of page title (which often has some intrinsic arbitrariness) is less important. (But if you insist on renaming the entry, I won't object, for what it's worth.)

    In such cases, best to add explanation of this issue right up front in the Idea-section – then the exact choice of page title (which often has some intrinsic arbitrariness) is less important. (But if you insist on renaming the entry, I won’t object, for what it’s worth.)

23. • CommentRowNumber23.
    • CommentAuthorzskoda
    • CommentTimeAug 23rd 2022
    • (edited Aug 23rd 2022)
    • PermaLink
    Author: zskoda
    Format: MarkdownItexIt is harder to find things by acronyms than by common names. I find that there are more references using this theory now than new papers in "pure category theory" on the subject now. And then one has concrete cases like ind-schemes etc. In fact, one in practice most often incurs things which are just technically a bit out of the category in question and are ind- (or pro-) objects. This pro-representability theorems and alike. They do not talk about the category Pro but about concrete objects which are constructed within the (co)completion. So I would vote for retaining the name of the article with following Urs's suggestion.

    It is harder to find things by acronyms than by common names. I find that there are more references using this theory now than new papers in “pure category theory” on the subject now. And then one has concrete cases like ind-schemes etc. In fact, one in practice most often incurs things which are just technically a bit out of the category in question and are ind- (or pro-) objects. This pro-representability theorems and alike. They do not talk about the category Pro but about concrete objects which are constructed within the (co)completion.

    So I would vote for retaining the name of the article with following Urs’s suggestion.

24. • CommentRowNumber24.
    • CommentAuthorvarkor
    • CommentTimeMar 4th 2023
    • PermaLink
    Author: varkor
    Format: MarkdownItexAdded result that Ind preserves exponentiation by finite categories. <a href="https://ncatlab.org/nlab/revision/diff/ind-object/69">diff</a>, <a href="https://ncatlab.org/nlab/revision/ind-object/69">v69</a>, <a href="https://ncatlab.org/nlab/show/ind-object">current</a>

    Added result that Ind preserves exponentiation by finite categories.

    diff, v69, current

25. • CommentRowNumber25.
    • CommentAuthorvarkor
    • CommentTimeMar 4th 2023
    • PermaLink
    Author: varkor
    Format: MarkdownItexClarify that Makkai's statement is about Cauchy complete categories. <a href="https://ncatlab.org/nlab/revision/diff/ind-object/70">diff</a>, <a href="https://ncatlab.org/nlab/revision/ind-object/70">v70</a>, <a href="https://ncatlab.org/nlab/show/ind-object">current</a>

    Clarify that Makkai’s statement is about Cauchy complete categories.

    diff, v70, current

26. • CommentRowNumber26.
    • CommentAuthornLab edit announcer
    • CommentTimeJun 3rd 2024
    • PermaLink
    Author: nLab edit announcer
    Format: MarkdownItexChange typo, small vs finite. Vincent Moreau <a href="https://ncatlab.org/nlab/revision/diff/ind-object/74">diff</a>, <a href="https://ncatlab.org/nlab/revision/ind-object/74">v74</a>, <a href="https://ncatlab.org/nlab/show/ind-object">current</a>

    Change typo, small vs finite.

    Vincent Moreau

    diff, v74, current