Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 11th 2010
    • (edited Nov 7th 2012)

    I edited the formatting of internal category a bit and added a link to internal infinity-groupoid

    it looks like the first query box discussion there has been resolved. Maybe we can remove that box now?

    • CommentRowNumber2.
    • CommentAuthordomenico_fiorenza
    • CommentTimeJan 11th 2010
    • (edited Jan 11th 2010)
    internal-infinity groupoid in Top (nice topological spaces) suggest the notion of n-topological group. if is a toplogical space, then can be topologized, becoming a topological 1-groupoid. more interestingly, if is a topological group, should be a group object in toplogical 1-groupoids, i.e. a topological 2-group (I'd like to consider this example the prototypical topological 2-group, but I guess this is a matter of taste). by looking at as to a topological 2-group one obtains an obvious answer to the question Why is the universal cover of a (nice) topological group a topological group? namely, there is a natural topological groupoid map (here both groupoids are topologicla infinity-groupoids, the fact that the one on the left is a 0-groupoid and the one on the right a 1-groupoid tells us that morphisms are trivial from a certain point, but we do not look at i-groupoids and j-groupoids as objects in different categories from this point of view). taking the homotopy fiber (in groupoids) of over the identity object of one obtains a topological groupoid which is a 0-groupoid (since taking homotopy fiber decreases the "categorical height" by one). so this homotopy fiber is a topological group, and by construction it is the universal cover of .

    This extends to higher "covers" of . let us denote by the universal cover. then should be topologized to give a group oject in topological 2-groupoids, and so a topological 3-group. taking homotopy fiber ends up in a natural structure of topological 2-group on the 2-connected cover of . and so on.

    From this point of view it is natural to think to String(n) as a topological 3-group. this apparently contrasts both with the topological group point of view on String(n) and on the 2-Lie group point of view. however one is reconciled with the "correct" categorical height of String(n) if one thinks it is built as a homotopy fiber of the fourth delooping of , which is a topological 4-group. lowering down the categorical height of String(n) is then based on realizing as a topological 1-group. this way one trades the 2-group for a topological 1-group, and all levels in the construction of Spin(n) are lowered by one. and since the model for is a Lie 1-group, one can wonder (and actually succeed in finding) whether Sting(n) can be realized as a Lie 2-group. at the topological lever one can iterate the "lower the base step" trick, i.e. one can choose a model for which is a topological group, and so end up with String(n) as a topological 1-group.

    maybe David Roberts could be interested in expanding this point of view.
    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJan 11th 2010

    I think that similar ideas for algebraic Galois group are used in Grothendieck's still unfullfilled ideas in his 1980s manuscripts and is in general known in Galois theory (covering spaces and higher Postnikov fibers have natural common generalizations in this context).

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 12th 2010
    • (edited Jan 12th 2010)
    Thankyou for taking an interest in the corner of the playground I frequent, Domenico. PI_1(X) can indeed be topologised, but composition is only continuous when X is locally nice - locally connected and semilocally simply connected. This pattern continues higher up, where increasingly stronger local conditions are needed. Note that to go all the way up to infinity-groupoids, one needs local contractibility. I will respond, but not right now. I only pause to remark that ultimately models of String should be smooth. One thing which I didn't pursue in my thesis, but was aware of, is that the 'universal' 2-covering space (not that I have proved it universal yet - only that it is 2-connected) is smooth when the base space is smooth. In this context one needs to be au fait with Frechet manifolds, sadly an area where I am lacking.

    Edit: An easy way to see that the universal cover of a topological group X is topological is that the universal cover = the homotopy fibre of X --> Pi_1(X) at a point x = the source fibre of Pi_1(X) at x. This is a subgroup of the group of arrows, as Pi_1(X) is a strict 2-group as shown by Brown-Higgins in the 70s.

    Edit2: The prototypical weak topological 2-group is the fundamental groupoid of a based loop space, subject to the above caveat. The strict case is pretty much as you say.
    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 12th 2010
    • (edited Jan 12th 2010)

    not sure if this is relevant for what you have in mind, but taking path oo-groupoids can be made into a map from a lined oo-topos to itself. For instance taking a topological oo-groupoid  X (might be just a topological space) to the topological oo-groupoid  \Pi(X) .

    Same for smooth oo-groupoids. For the smooth model of String, one can start with the Lie 2-algebra  \mathfrak{string} , then form the smooth space (sheaf)  S\mathfrak{string} which is such that its plots  U \to S(\mathfrak{string}) are precisely the flat  \mathfrak{string}-valued differential forms on U. Then one can form the smooth oo-groupoid  \Pi(S(\mathfrak{string})) of that space. Finally, we can take from this simplicial sheaf degreewise the underlying concrete sheaf (=diffeological space) to get the smooth oo-groupoid  conc(\Pi(S(\mathfrak{string}))) . The claim is that that's a smooth version of  \mathbf{B}String .

    This is discussed in some detail (though with slightly more antiquated tools than I have now) in section 5.2.3 here.

    Concerning the categorical degree, I feel like remarking that it's only the homotopy groups (of an infinity-stack) that have intrinsic meaning, not the degrees of a truncated model.

    Fur instance the goup  U(1) looks like, well, a group, but it is equivalent to the 2-group that comes from the crossed module  \mathbb{R}//\mathbb{Z} = [\mathbb{Z} \hookrightarrow \mathbb{R}].

    Similarly, the String 2-group is a  \mathbf{B}U(1)-central extension of an ordinary group G, hence a 2-group extension, but this is equivalent to a  \mathbf{B} (\mathbb{R}//\mathbb{Z})-central extension, which looks like a 3-group extension, but is really equivalent to the original 2-group extension.

    • CommentRowNumber6.
    • CommentAuthorAndrew Stacey
    • CommentTimeJan 12th 2010

    @David: you wrote

    In this context one needs to be au fait with Frechet manifolds, sadly an area where I am lacking.

    I have a little facility with Frechet manifolds. Is there something here that I could help with?

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 12th 2010
    Aha, he fell for my cunning plan! :)
    But seriously...

    I have proofs in chapter 5 of my thesis establishing Pi_2(X) as a topological bigroupoid for a locally well-behaved space X. I don't think it is too hard, given a fin. dim. manifold, to get the smooth (Frechet) structure on the _spaces_ involved in Pi_2, the trick is to show all the various structure maps (compositions, associator, unitor and unit/counit) are smooth. This is something I'm serious about doing, but I only have my spare time in which to do it, so it will be a slow process.
    • CommentRowNumber8.
    • CommentAuthordomenico_fiorenza
    • CommentTimeJan 13th 2010
    • (edited Jan 13th 2010)
    This comment is invalid XHTML+MathML+SVG; displaying source. <div> @David: <br/><br/><blockquote><br/>PI_1(X) can indeed be topologised, but composition is only continuous when X is locally nice - locally connected and semilocally simply connected.<br/></blockquote><br/><br/>This is nice: if I'm not wrong here these are exactly the conditions for X to have a universal cover; also I find it nice that one needs more and more local regularity as higher covers come into play. <br/><br/><blockquote><br/>An easy way to see that the universal cover of a topological group X is topological is that the universal cover = the homotopy fibre of X --&gt; Pi_1(X) at a point x = the source fibre of Pi_1(X) at x. This is a subgroup of the group of arrows, as Pi_1(X) is a strict 2-group as shown by Brown-Higgins in the 70s.<br/></blockquote><br/><br/>That's exactly what I was trying to say. what i think is important to stress is that there is a subtle interplay here between topological and groupoidal aspects: from the topological perspective one ends up with an object which is clearly a simply connected cover and then has to show that this carries a natural group structure; from the groupoids point of view, the object one ends up with is clearly a group, but one now has to show that it is a simply conneced cover. And an incredible elegant way to prove both things at a time is to perform the two constructions independently, and to see that they produce the same object. here I think there should be some very general argument a priori telling me that the two constructions will lead to teh same object, but I'm still missing this argument.<br/><br/>@Urs:<br/><blockquote><br/>Concerning the categorical degree, I feel like remarking that it's only the homotopy groups (of an infinity-stack) that have intrinsic meaning, not the degrees of a truncated model.<br/></blockquote><br/><br/>edit: let me see if I correctly undersatnd this. if we start with the action groupoid of on what we are dealing with is not only a groupoid, but a groupal groupoid (since is a group and the -action is compatible with the group operation of ). so the 0-th truncation of this groupoid is a group. this 0-th truncation is evidently , so we should think of not as our basic object but rather as . right? </div>
    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeJan 14th 2010
    well, it's better than that. The "groupal groupoid" (2-group) is equivalent, as a 2-group to the 2-group which is just the group .

    The best way to see this is to notice that the obvious 2-functor of the corresponding delooping 2-groupoids is an equivalence: it is a k-surjective functor for all k.
    • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 15th 2010
    • (edited Jan 15th 2010)
    As a small contribution, the discussion about U(1) is a special case of the (weak) equivalence of 2-groups \tilde G // pi_1(G) --> G for a topological group G admitting a universal cover \tilde G - where we forget the topology. If we try to do this in a 2-category of topological 2-groups, we need to use anafunctors for this to be an equivalence.
    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2010
    • (edited Jan 15th 2010)

    Just a comment, probably no news to anyone, but just for the record:

    to realize the equivalence as a homotopy equivalence (morphisms going back and forth, being weak inverses) one needs to find suitable ana-2-functors, inverting the evident morphism from one 2-groupoid to the other, but for just knowing that the two are equivalent it is sufficient to have that one morphism and checking that it is a weak equivalence.

    This is true for topological infinity-groupoid realizations of the situation and even for Lie-infinity-groupoid realizations.

    For that one may observe that the functor  \mathbf{B} \mathbb{R}//\mathbb{Z} \to \mathbf{B} U(1) is k-surjective for all k on all stalks of Top or Diff: these are the germs of n-dimensional disks (as described by Dugger in the reference cited at topological infinity-groupoid.) So for  D^n_r the standard n-disk of radius r, we form the groups of group-valued maps  Map(D^n_r, \mathbb{R}) ,  Map(D^n_r, \mathbb{Z}) and  Map(D^n_r, U(1)) and then check that the functor of ordinary 2-groupoids  \mathbf{B}(Map(D^n_r,\mathbb{R})//Map(D^n_r,\mathbb{Z})) \to \mathbf{B} Map(D^n_r,U(1)) is k-surjective for all k for some r small enough. And it clearly is: on any disk, any U(1)-valued function (continuous or even smooth) may be lifted to an \mathbb{R}-valued function, and the nonuniquenss of the lifts are precisely given by  \mathbb{Z}-valued functions on the disk.

  1. at first sight, the "equivalence of 2-groups" point of view confused me: if and are equivalent, why should I prefer ? but on second thought, I think a plausible perspective could be the following: both and are models for the same infinity-group; is a 1-connected model. one could go further and look for 2-connected models, 3-connected models.. of as an infinity-group, and it turns out that is such a model, since is infinity-connected. the same point of view would apply to other groups. e.g., I should not look at the string group as to something different from but rather as a 3-connected model of .

    this could have some relevance in thinking to cohomology with coefficients in . namely, the "true object" is independent of the chosen model, but in carrying out explicit computations an highly connected model could be convenient (in nice situations, to compute one choses a fibrant replacement for ..).
    • CommentRowNumber13.
    • CommentAuthordomenico_fiorenza
    • CommentTimeJan 15th 2010
    • (edited Jan 15th 2010)
    the above should be somehow relevant to nonabelian group cohomology. by the way, as it is stated at the beginning of that entry, nonabelian group cohomology largely discusses Schreier theory of nonabelian group extensions – but from the nPOV. this is a bit unsatisfactory: nonabelian group cohomology should be something more intrinsic form the nPOV, which is then seen to be equivalent to Schreier theory. namely, I find the use of AUT(K) something which works, but which is chosen in quite an arbitrary way. maybe it's worth creating a Schreier theory entry to discuss it (there's also a lot of material on this at group extension), so to make the other entrier related to Schreier theory lighter and more confined on their title subject (cleraly adding links to Schreier theory wherever needed). in particular nonabelian group cohomology could benefit from such a reorganization, since cohomology is one strong points of the nPOV slogan. my feeling is that nonabelian group cohomology could be rewritten making the fibration sequences the main tool, but even if this should tun out not to be incorrect, I'm not expert enough to attemp a reorganization of nonabelian group cohomology along these lines.
    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2010

    but on second thought, I think a plausible perspective could be

    Yes, precisely: very different looking objects may all be equivalent to the same 2-group, (or the same oo-groupoid). The highest degree of nondegenerate cells is not an invariant under this. Instead, the main invariants are the intrinsically defined homotopy groups

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJan 15th 2010

    I find the use of AUT(K) something which works, but which is chosen in quite an arbitrary way. maybe it's worth creating a Schreier theory entry to discuss it

    Yes, I agree with all you say here. As far as I am concerned: I don't have the energy and time this particular project right now, though. Probably later sometime.

    • CommentRowNumber16.
    • CommentAuthorzskoda
    • CommentTimeJan 15th 2010
    • (edited Jan 15th 2010)

    Schreier theory is included in group extension entry.

    It is instructive the way Faro et al. pharse in their article, placing the role of AUT K via interpreting the Grothendieck construction. I will once write about it.

    • CommentRowNumber17.
    • CommentAuthordomenico_fiorenza
    • CommentTimeJan 16th 2010
    • (edited Jan 16th 2010)
    unfortunately, me too will be unable to seriously work on the lab for a couple of weeks. I'll just write something here for later use.. or immediate use if someone is interested in it and wants to pick it up :-)

    in the nPOV approach to cohomology one basically defines only 0-th cohomology. cohomology in other degrees is then defined by shifting the second variable. a classical example is . this suggests that the natural setting for cohomology in different degrees is a stable (infinity,1)-category. for instance in nonabelian group cohomology with coefficients in the group , the natural object to work with seems to be the stabilization of . it would be interesting to compare this to Schreier theory.
    • CommentRowNumber18.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 17th 2010
    @Domenico, re 1-connected model

    R//Z is not 1-connected _as a 2-group_, only its component spaces are (if we say that a disconnected space is 1-connected if its path-components are, which is a little bit of a fudge). This is still a desirable thing, though, as the topological complexity has been reduced (at the cost of introducing more algebraic structure). There are ways to define homotopy groups pi_n for topological groupoids (at least in print for n<3, and in my notes for all n) such that the map R//Z --> U(1) we have been discussing induces isomorphisms (this is contained in proposition 2.130 in my thesis, using U(1) = BZ). There is a bit of this in the work by Urs and Konrad Waldorf, but they are looking at the special case of a Cech groupoid.
    • CommentRowNumber19.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 17th 2010
    @Domenico, re nonabelian group cohomology

    The point of nonabelian cohomology is to _not_ use stable theory, which is, at least in my view, a sort of minimal abelianisation of homotopy theory. But you are correct about using only 0-th cohomology. Actually I would say that there are, for n-group coefficients, two one would use: 0-th and 1-st. For example, take a 2-group G. We can then form the group H^0(X,G), and the pointed set H^1(X,BG). The first, for the case G = AUT(K) classifies K-bibundles, the second classifies K-bundle gerbes. This is in general, given an n-group, how much one can do - just H^0 and H^1. If H is an n-groupoid that can be delooped m times, we can form H^0, H^1,...,H^m by taking successive deloopings of the coefficients.

    The most that Schreier theory can do (that I am aware of) for a group K is look at H^3, which we would now call cohomology with coefficients in BAUT(K). This was done in papers by Dedecker in the 50s. After this, I'm not sure what can be done.
  2. This comment is invalid XHTML+MathML+SVG; displaying source. <div> <blockquote>The point of nonabelian cohomology is to _not_ use stable theory</blockquote><br/><br/>so that's why it's called "nonabelian" or "unstable"! I should have known, but actually it was this remark above that really made me clear this fact, thanks!<br/><br/>still, I'd like to think of going from to as a suspension. in other words, when dealing with a cohomology with degrees I'd like to have two functors raising and lowering the degrees. in the stable theory these are looping and delooping, but one could have a nice theory in any case one has a nice shift. <br/><br/>this is somehow reminiscent of "old way" triangulated categories stuff. there teh shift functor is a basic datum; then in the stable infinity-category approach the shift is no more basic but it is recovered from homotopy pullbacks and pushforwards to the zero object. but we could still think of "unstable cohomology with degrees" as something coming from a shift functor which is not defined in terms of homotopy pullbacks/pushforwards to the zero object.<br/><br/>clearly, in order to have a nice and quite general theory, one would presumibly need not only the shift but also some good functorial behaviour. and then one could check that to indeed provides an example of this structure. </div>
    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeJan 17th 2010
    • (edited Jan 17th 2010)

    There are ways to define homotopy groups \pi_n for topological groupoids

    There is, by the way, something even more general: the notion of homotopy group (of an infinity-stack)

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeJan 17th 2010
    • (edited Jan 17th 2010)

    a classical example is  H^n(X;\mathbb{Z})=\pi_0 \mathbf{H}(X;\mathbb{B}^n\mathbb{Z}). this suggests that the natural setting for cohomology in different degrees is a stable (\infty,1)-category.

    It is true that only if the coefficient object has arbitrary delooping that the above definition of H^n makes sense for all n. But there is a priori no requirement that such a definition needs to make sense. For general nonabelian coefficients degree n cohomology is defined only up to some finite n. This is a standard thing in the literature on nonabelian cohomology.

    But you can always form loops to go don do lower degrees.

    • CommentRowNumber23.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 17th 2010
    @Domenico

    The AUT construction is not a functor, as Aut is not an endofunctor on groups (Aside: this is why Giraud's original formulation of nonabelian cohomology from 1970 (or so) wasn't functorial in the 1-group K, but as we now know (following Debremecker, Aldrovandi-Noohi), it is functorial in the 2-group.) Certainly the autoequivalences of the delooping of an n-group form the objects of an (n+1)-group, but I don't know if the relation between the cohomologies with coefficients BK and Eq(BK) = AUT(K) has been studied for K a general n-group.
  3. fine. so, till the right functorial setting is not clear, let us call a certain way of going from an n-group to an (n+1)-group just a "rule" R. for abelian groups this rule could be , whereas for an arbitrary group this could be (unpleasently, the two does not coincide on abelian groups, but this is classical and maybe unavoidable). so for each rule there is an higher cohomology with coefficients in a group : it is just cohomology with coefficient object . such a general nonsense accounts for cohomology with coefficients in an abelian group and for nonabelian group cohomology, but it is evidently something too general to be meaningful. so, the question is: what is reasonable to ask to R in order to have a good theory? clearly there could be classical cohomology theories where is not related to the n-th iteration of a rule R; it could be a good idea to try look at them from the nPOV to see what's really happening there.
    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeMar 8th 2012

    Am hereby moving an old Discussion-section from internal category to here

    [begin forwarded discussion]

    Previous versions of this entry led to the following discussions

    +–{: .query} I think things are mutliply inconsistent in this entry. I do not want to change as I do not know what the intentional notation to start with was. If p 1;s=p 2;tp_1; s = p_2; t that mean that target is read at the left-hand side (composition as o, not as ;), while the diagrams before that suggest left to right composition. Then finally the diagram for groupoids has ss both for source and inverse, and there is only for right inverse, and one should also check convention, once it is decided above.-Zoran

    You're right; I think that I caught all of the inconsistencies now. Incidentally, one needs only inverses on one side (as long as all such inverses exist), although it's probably best to put both in the definition. (For groupoids, one also needs only identities on that same side too! This proof generalises.) —Toby =–

    +–{: .query}

    Question: I’ve looked at the definition of category in AA for a while and still haven’t been able to absorb it. Could we walk through an explicit example, e.g. “This is exactly what C 0C_0 is, this is exactly what C 1C_1 is, this is exactly what s,t,is,t,i are, and this is how it relates to the more familiar context”? For example, an algebra is a monoid in VectVect. I’ll try to step through it myself, but it will probably need some correcting. - Eric

    Eric, one example to ponder is: how is an internal category in Grp the “same” as a crossed module? As a partial hint, try to convince yourself that given a internal category, part of whose data is (C 1,C 0,s,t)(C_1, C_0, s, t), the group C 1C_1 of arrows can be expressed as a semidirect product with C 0C_0 acting on ker(s)\ker(s). The full details of this exercise may take some doing, but it might also be enjoyable; if you get stuck, you can look at Forrester-Barker. - Todd

    Urs: I don’t know, but maybe Eric should first convince himself of what Todd may find too obvious: how the above definition of an internal category reproduces the ordinary one when one works internal to Set. Eric, is that clear? If not, let us know where you get stuck!

    Tim: I have just had a go at 2-group and looked at the relationship between 2-groups and crossed modules in a little more detail, in the hope it will unbug the definition for those who have not yet ’groked’ it.

    Eric: Oh thanks guys. I will try to understand how a small category is a category internal to Set first and then move on to category in Grp and the stuff Tim wrote. I’m sure this is all obvious, but don’t underestimate my ability to not understand the obvious :)

    Eric: Ok. Duh. It is pretty obvious for Set EXCEPT for pullback. Pullbacks in Set are obvious, but what about other cases? Why is that important and what is an example where there are not pullbacks? In other words, is there an a example of something that is ALMOST a category in some other category except it doesn’t have pullbacks, so is not?

    Tim: If I remember rightly the important case is when trying to work on ’smooth categories’, that is, general internal categories in a category of smooth manifolds. Unless you take care with the source and target maps, the pullback giving the space of composible pairs of arrows may not be a manifold. (I remember something like this being the case in Pradines work in the area.) The point is then that one works with internal categories with extra conditions on ss and tt to ensure the pullback is there when you need it.

    Toby: Usually in the theory of Lie groupoids, they require ss and tt to be submersions, which guarantees that the pullback of any map along them exists. =–

    [end forwarded discussion]

    • CommentRowNumber26.
    • CommentAuthorzskoda
    • CommentTimeMay 20th 2012
    • (edited May 20th 2012)

    Reference

    • Renato Betti, Formal theory of internal categories, Le Matematiche Vol. LI (1996) Supplemento 35-52 pdf

    at internal category has a bogus pdf link which redirects to internal category! Is somebody having a correct pdf link ?

    Urs 25, when you delete a discussion and archive it, then please leave the backlink to the archived version from the old place, otherwise is essentially lost. I done it this time (into references).

    I have created a new entry locally internal category and listed it under related notions at internal category.

    • CommentRowNumber27.
    • CommentAuthorTim_Porter
    • CommentTimeMay 20th 2012
    • (edited May 20th 2012)

    @Zoran I was not sure what you meant by the first sentence of locally internal category. I have amended it to mean what I think you meant but please check.

    • CommentRowNumber28.
    • CommentAuthorMike Shulman
    • CommentTimeMay 21st 2012

    I added a bit more.

    • CommentRowNumber29.
    • CommentAuthorzskoda
    • CommentTimeMay 21st 2012
    • (edited May 21st 2012)

    Very nice, Mike !

    On the other hand, why saying “in the sense of the appendix of (Johnstone)” at stack semantics, rather than more correctly attributing phrase “in the sense of Penon 1974”. Is there a slight difference ? (I did not look at Penon’s article yet; strangely I can find CR Acad Paris at the partly free gallica repository till 1973 and then again from 1979, but not for 1974-1978)

    • CommentRowNumber30.
    • CommentAuthorzskoda
    • CommentTimeMay 21st 2012

    I resolved the bogus pdf link which was asked about it 26 and will correct it at internal category in a minute:

    • Renato Betti, Formal theory of internal categories, Le Matematiche Vol. LI (1996) Supplemento 35-52, pdf
    • CommentRowNumber31.
    • CommentAuthorMike Shulman
    • CommentTimeMay 21st 2012

    I didn’t write that phrase at stack semantics. Feel free to correct it if you know the correct reference.

    • CommentRowNumber32.
    • CommentAuthorTobyBartels
    • CommentTimeMay 21st 2012

    “in the sense of the appendix of (Johnstone)” was written by Ingo Blechschmidt.

  4. zskoda: Sorry, that was indeed my mistake. It is fixed now.
    • CommentRowNumber34.
    • CommentAuthorzskoda
    • CommentTimeMay 22nd 2012

    It is not a mistake, just more people together know more about the history :) and it is good when we agree (as often mathematicians do not agree on history).

    • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTimeNov 7th 2012

    I have brushed-up the entry internal category a little. Added the remark on cartesian closure discussed in another thread to a Properties-section

    • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeNov 8th 2013
    • (edited Nov 8th 2013)

    I just noticed how hard it is (or was) to find the crucial discussion at 2-topos – In terms of internal categories if all one does is search the nLab for “internal category”.

    So I have now added a pointer to that at internal category by way of a brief paragraph a Properties – In a topos.

    Should be expanded.