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
    • CommentTimeSep 11th 2012
    • (edited Sep 11th 2012)

    touched the formatting in congruence, fixed a typo on the cartesian square, added a basic example

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeNov 9th 2014
    • (edited Nov 9th 2014)

    A kind soul pointed out to me by email that there was a typo in the third clause of the Definition (an exchange q 1q 2q_1 \leftrightarrow q_2 either in the diagram or in the equation following it). I have fixed it.

    In this vein, I have added a brief remark relating to internal categories, which could be much expanded on.

    I also fixed the formatting (lack of whitespace may get the bullet lists mixed up).

    • CommentRowNumber3.
    • CommentAuthordaniel
    • CommentTimeApr 2nd 2021

    Rewrote transitivity for clarity

    diff, v23, current

    • CommentRowNumber4.
    • CommentAuthordaniel
    • CommentTimeApr 2nd 2021

    Added to group example

    diff, v24, current

    • CommentRowNumber5.
    • CommentAuthorGuest
    • CommentTimeFeb 5th 2023

    Quick Q from a beginner: What is × X\times_X? I’m unfamiliar with this notation and can’t seem to find any ref to it in my (admittedly introductory) books on Category Theory. I assume it somehow embodies the notion of head-to-tail needed for transitivity (ex. for SET, within a given object XX we would want to confine ourselves to pairs aba\sim b and bcb\sim c with the same bb), but would like to see its precise definition in category theory.

    Cheers, Ken

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeFeb 5th 2023

    This is meant to be the fiber product

    • of RX×Xpr 2XR \hookrightarrow X \times X \overset{pr_2}{\to} X

    • with RX×Xpr 1R \hookrightarrow X \times X \overset{pr_1}{\to},

    i.e. the subobject of pairs of composable pairs in relation.

    I have added this explanation to the entry here.

    But it may (mor may not) be easier to first understand the notion of an internal groupoid and for that first the notion of an internal category (which is maybe currently the only page on these matters with enough detail to be intelligible). What the page on congruences here tries to very tersely describe is a special case of such internal categories.

    diff, v29, current

    • CommentRowNumber7.
    • CommentAuthorGuest
    • CommentTimeFeb 5th 2023

    How does the material on this page relate to congruences in Euclidean geometry, which are usually the first notion of congruence encountered in mathematics?

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeFeb 5th 2023

    Yeah, I don’t want to defend the existence of this entry under this title. It better ought to be titled “internal equivalence relation”.

    But at least I have now started an Idea-section (here) with the following two sentences:

    In Euclidean geometry, by congruence one means the equivalence relation on the collection of subsets of a Euclidean space which regards two of these as equivalent if one is carried into the other by an isometry (of the ambient Euclidean space).

    For better or worse, the following entry is only tangentially related to this standard meaning of congruence. What is discussed in the following is the general issue of formulating the notions of an equivalence on (the generalized elements of) any object in any finitely complete category.

    diff, v30, current

    • CommentRowNumber9.
    • CommentAuthorGuest
    • CommentTimeFeb 5th 2023

    @Urs Thanks for clarifying the × X\times_X notation. I was trying to understand the categorical notion which captures normal subgroup -> quotient group in GRP, ideal -> quotient ring in RING, and partition -> quotient set in SET (as well as hopefully gaining insight into what the analogues would be for other categories). I assume that in those cases, the relevant subobject of XX would somehow correspond to a normal subgroup of XX in GRP, an ideal of XX in RING , and the set XX itself in SET?

    FYI, the only def of “congruence” I could find elsewhere (ex. Barr’s book and a couple of others) was that of a partition on the set of arrows (for a locally small category). I imagine this is just your def confined to CAT and where the subobject of XX is its Arrow category?

    I’ll take a look at the internal groupoid and internal category pages and see if those shed some light!

    Just for reference, I’m a different Guest than asked the Euclidean Q.

    Cheers, Ken

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeFeb 5th 2023
    • (edited Feb 5th 2023)

    Yes, for GGroupsG \,\in\, Groups and NGN \subset G a normal subgroup, take RG×GR \hookrightarrow G \times G to be the subgroup of the direct product on pairs of elements which differ by right multiplication with an element in NN.

    Regarding “Barr’s book”: I am not going to guess and hunt references; in fact I am going to call it quits for tonight (I am on GST…). But if tomorrow morning I find in this thread a hyperlink to the precise page in the exact book that you want me to inspect, I promise to click on it and take a look. :-)

    • CommentRowNumber11.
    • CommentAuthorGuest
    • CommentTimeFeb 5th 2023

    Oh, I was just trying to wrap my head around it — no need to trouble yourself unless you’re so inclined. In case you’re curious about the Barr’s ref, it looks like it’s online at https://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf p.89 (definition 3.5.1).

    Your definition strikes me as an internal definition as opposed to the Barr’s one. On the other hand, Barr’s one seems to map to yours in the case of CAT with the subobject of XX being its Arrow category (I think).

    Cheers, Ken

    • CommentRowNumber12.
    • CommentAuthorRodMcGuire
    • CommentTimeFeb 6th 2023

    what is “ii” in this remark? It doesn’t seem to be defined anywhere.

    Since ii is a monomorphism, the maps rr, ss, and tt are necessarily unique if they exist.

    Is it suppose to be referring ro this morphism?

    a subobject R(p 1,p 2)X×XR\stackrel{(p_1,p_2)}\hookrightarrow X \times X of the Cartesian products of XX with itself

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeFeb 6th 2023

    re #12:

    Yes, by “ii” that remark must mean the given subobject RX×XR \hookrightarrow X \times X; I have now made it explicit here

    diff, v31, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeFeb 6th 2023

    re #11:

    Thanks for the url.

    Yes, the notion of congruence in Barr & Wells 1995, Def. 3.5.1 on p. 89 is not really related:

    [Incidentally, click the button labeled “Source” on the top right of this comment to check out how to code these hyperlinks here — it’s easy.]

    They also use “congruence” to mean “some equivalence relation respecting some ambient algebraic structure”. But I don’t see that there would be a choice of CC and XX in the entry under discussion that would reduce its definition strictly to theirs. (But I haven’t thought about it all too much.)

    Please notice that the entry we are speaking about is by no means my entry, if that’s what you meant by saying “your entry.” I didn’t write it (you can see the original authors in the page history) and I don’t approve of how it is written. For one, it is lacking references, as we see now.

    • CommentRowNumber15.
    • CommentAuthorkensmosis
    • CommentTimeFeb 6th 2023

    (Note: I’m the Guest from above. I signed up for an account and now appear under my new username)

    re #14: Ah, I see. I had assumed the Barr def was a common special case of the one on nlab, but with CAT, XX a category, and RR just Arr(X)Arr(X). I’ll have to think about whether that even makes sense. Thanks for the technical tips about using the site!

    As for “your”, I meant it in the general sense of nlab rather than any particular author. I figured nlab was some type of wiki so there could be lots of people editing various parts (whether a small group of practitioners or the public at large).

    Is there an easy way to tell whether the nlab def appearing on this page is well-established or is just somebody’s well-intentioned but homegrown terminology? The only reason I care is that I’ve been trying to understand the category theory generalization of the type of twisting which occurs in a group-quotient (i.e. the semi-direct product or group-extension twisting in a short-exact-sequence) and how it manifests in other quotient types of constructions (ring/ideal, set/equiv-relation, etc).

    Your (in the @Urs sense) suggestions about internal categories and internal groupoids were very helpful, btw. I basically want to figure out what the proper notion of “internal equivalence class” or “internal quotient” is commonly called so I can dig for a more thorough treatment of the subject (ex. in a textbook) and see what it looks like in categories other than the three I mentioned.

    Cheers, Ken

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeFeb 6th 2023
    • (edited Feb 6th 2023)

    here are some classical references which use “congruence” more or less as in the entry:

    diff, v32, current

    • CommentRowNumber17.
    • CommentAuthorkensmosis
    • CommentTimeFeb 6th 2023

    Thanks so much! Those refs are incredibly helpful. I really appreciate it.

    Cheers, Ken

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeFeb 7th 2023
    • (edited Feb 7th 2023)

    Glad it helped.

    By the way, I found these by going through the list of textbooks here and doing a text search for “congruence” in each (or in many of them, at least).

    Incidentally, doing so, I noticed that:

    • quite a few authors use the term “congruence” in that other sense,

    • no author bothers to cite any references, for either notion,

    • some speak as if the internal notion needs no introduction (including Borceux, to my disappointment),

    • none point out that there is a potential terminology clash — within the same field, no less.

    • If I am not mistaken, the Elephant even uses both definitions, without comment nor warning (nor reference).

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeNov 4th 2023

    added pointer to:

    diff, v34, current