From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: *** X-Spam-Status: No, score=3.9 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, KHOP_HELO_FCRDNS,NML_ADSP_CUSTOM_MED,URIBL_BLACK autolearn=no autolearn_force=no version=3.4.4 Received: from SY5PR01CU010.outbound.protection.outlook.com (mail-australiaeastazlp17012048.outbound.protection.outlook.com [40.93.136.48]) by inbox.vuxu.org (Postfix) with ESMTP id 9C04C213ED for ; Sat, 25 Jan 2025 21:35:52 +0100 (CET) Received: from SmtpServer.Submit by SY0PR01MB9403 with Microsoft SMTP Server id 15.20.8377.21; Sat, 25 Jan 2025 20:35:49 +0000 Received: from ME2PR01MB5777.ausprd01.prod.outlook.com (2603:10c6:220:d2::7) by SY0PR01MB9403.ausprd01.prod.outlook.com (2603:10c6:10:24d::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8377.21; Sat, 25 Jan 2025 20:35:17 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by ME2PR01MB5777.ausprd01.prod.outlook.com (2603:10c6:220:d2::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8377.21; Sat, 25 Jan 2025 20:35:12 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::ef9f:d02:9876:fa7d]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::ef9f:d02:9876:fa7d%6]) with mapi id 15.20.8377.009; Sat, 25 Jan 2025 20:35:12 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=fK1YJU/vCXzWvBOZmIMsGoEngSMQXxAYsKk1G4Q13JEqPUe2vdREbp2z7THAjNvcb8AFFmZWQHz8JUrABu1WZ9Lw5+gcIvLKO1fSs3jGsZta4tff9S8ZC4krye3XU7TDlIrjupjAKkuzCdWYer9E3daIkPcMINJ9SOP3L11BxGAKj+tO/7FBUWDQOxSprFj8dNZA4dpPfbOsCjN4tUcaraGnF2mMy8wdmwtyX2cxz8JCQ8tB6Zy818zhLjP21wEcDh9j0Gia5icPKCLV6CAQ1qr8dzrgfZfxiNO4g5/dishe9tQntrTi0w/h3lLsCtTRbGOoSyDDhEhedAYzsRMVAQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=vtCQCeJdT4XHDzYAC4LoA+yJdih9Qh5IzDB6sWZhQTE=; b=w16QxsGJpo4FoyZS0JyRytOqtvJaysfw6AHQ+B+wjXM1a7uVO+a768s6A4Es0zlIbK9WvmVBWVdNgKJKAUt3IteBI1jhPohYq9uWBVX0vvMJIVO8+1VSbMGo66M0oSOTooUojIt/dBqqaGVKtV0ylK6TZzmEFgeBiRppP4fwWu2IqeU6p3Q9J1kqJBKB3pMqWidTs3J+Pu8s5HAqJlDWlKsHtuc45YzFCWtCOX0plfwf0tyWdyHWNuvUinFNZ6YPD5NurU4oGUfj/Tda1x+12h9oClJuz8RLOK4K2rCaZ5N8zCHzV/ez7r7wNJRHGtWBbqtXaBVp2AHzr69vuJS/Rg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.172) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from ME2P282CA0009.AUSP282.PROD.OUTLOOK.COM (2603:10c6:220:4d::21) by SYBPR01MB5502.ausprd01.prod.outlook.com (2603:10c6:10:e2::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8377.20; Sat, 25 Jan 2025 08:51:23 +0000 Received: from ML1PEPF0000F177.ausprd01.prod.outlook.com (2603:10c6:220:4d:cafe::77) by ME2P282CA0009.outlook.office365.com (2603:10c6:220:4d::21) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8356.22 via Frontend Transport; Sat, 25 Jan 2025 08:51:23 +0000 Authentication-Results: spf=pass (sender IP is 209.85.222.172) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.222.172 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.222.172; helo=mail-qk1-f172.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ML1PEPF0000F177.mail.protection.outlook.com (10.167.241.68) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8377.8 via Frontend Transport; Sat, 25 Jan 2025 08:51:22 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1737795082; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=vtCQCeJdT4XHDzYAC4LoA+yJdih9Qh5IzDB6sWZhQTE=; b=WF0dYwUCY8k43ElOVPp6XvmedUmgFbtgWX0SLjGayYiksjLe8ZB4vq2211WCYGLpanFlJ+ vGVrPVdNhMSxyE8oibK1cSKy5JVKvVMdNLBjSyYB2PI+5QHZIoyzIRFz3j3+iDh15GV2bu 7jYf97uYDWvd3D5rIOmyIGhIaaNgMKltMHMOo7HYi2tFlOplTn24iSi/N35zJzmjZGtuVb bXpgtbM4v+TZiyj4eB9ASVzqM8mw1ugaY3hTD0TI9DjjgaRoH2HD1+77IKJCUaqjZ2rxJa +u4iOOZUUkUR0U80ijkt40vpy3QymGRq7y/9J0o7iNmMtYuWnfgpFPKc24RqSA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1737795082; a=rsa-sha256; cv=none; b=blwXUMyrQwTs2ZgQMm9ogrTV0jX3f2l1r39tmXnXxY3U9+lEzsbC0C2I+7IRCgIB/nFeIR tlkod/byDkRpd44wTLonM/K5jai136jie2IxVhfqJAwIKcUJN/Uc0FRVSR/PCWstRasdXU 5m9bxREcnSV2kAF3s+rve8lGx7msaGfyWt0kWIeW5hxJsSClbZC4djLCz0SAc8APYYJIyU Oe/J2v6QrhOCZkMJyLVUIEkBxxW/kUwVLj1IuzfJHCEfhTDKvpM0sPx0HsWzGKo0Rkgrhj QavWWBRiYLNK4hjsq48YmR0k3aXieC+NrP5KhAlqXvgvWFGVp96u4deyYeh0DA== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=ZDZ7kfoE; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of posinavrayudu@gmail.com designates 209.85.222.172 as permitted sender) smtp.mailfrom=posinavrayudu@gmail.com Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=ZDZ7kfoE; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of posinavrayudu@gmail.com designates 209.85.222.172 as permitted sender) smtp.mailfrom=posinavrayudu@gmail.com Received: from mail-qk1-f172.google.com (mail-qk1-f172.google.com [209.85.222.172]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-91-YRVFmFGUNpKoKpZxZKtyAA-1; Sat, 25 Jan 2025 19:51:20 +1100 X-MC-Unique: YRVFmFGUNpKoKpZxZKtyAA-1 X-Mimecast-MFC-AGG-ID: YRVFmFGUNpKoKpZxZKtyAA Received: by mail-qk1-f172.google.com with SMTP id af79cd13be357-7b807057cc9so25698985a.1 for ; Sat, 25 Jan 2025 00:51:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1737795077; x=1738399877; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=VUeQVxyLCubXzBu7jAXF2Ih0HyaK/ZJtUiIV1JzUkYk=; b=ZDZ7kfoEIs6vTN2AKPR0O1qtI1ibNy4gn003QlX5DuBUa+g3qyU/blZL6qiSb86BWj IpYiNO9xHuM6cUbQCYAr3MRiYFs6JKJe0/WG2+cTCnEZPTqnryj/uyLSEYeagZsGxTiN KFXf0BltvJkOf9QUTX5S8NV+hXPicfb7vAt6m3Zsq3ehmn2xb8/ZYuHRlQQlHBAPTg9U NKPQ/yJ1dx8AdHSByQ4zaPb3U2IizKocnDkVVjtoFXY2BKO17YmdBOw5kqzngfeZK48x 5L6NF63uQnojrZeVf4uiY747PQ8ZfI3C31j/CYZZcOiMjq8hnxB2WN6LDX61skPdb1pj IbXA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1737795077; x=1738399877; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=VUeQVxyLCubXzBu7jAXF2Ih0HyaK/ZJtUiIV1JzUkYk=; b=oiBOmCWjCRX63DzRigKAUXLEQZ/GUyvHlHxxkbVT6xjOQK2cD7vXYIY9mPRo4V3mAj v7FsON3qE9IqAhZ+du/ZAUi2TSPUGwwlgnVpRxXdtBb3uyrrz8IdVHk0owhHcGAaYZ8L 7VQWEVH/ikxwDmwbG7Jf+iaPncWI4XTnESpel2Knw2cCA9J+S7ECgrG/GedrZlM/9MCS gA5QEOX+421I1dxodP66QjkP0uK2/VyP3itVw4Wn9dR/p6tgsMWm60/lHlSbRAU/RYV3 M45H1LWgXyO1TPvTHbQoiMDsmein6cCBZQwC/OcCdta3Zpb6Ux2Vj1bCprduJt570/Pd rIlA== X-Forwarded-Encrypted: i=1; AJvYcCWeNZk9GnooKoPF5BO8dTm3XOSmS2aG5un1bDic3nuMtH8TIsA7cYmHEk+XXS/s/tQTSlDJFO/5gzy1@mq.edu.au X-Gm-Message-State: AOJu0YybkLADx4khqJkq8BdH0FXPCA8d0SyXrb0TekXpjogND3l9rVqr iCHTDJ/bX6jyE5CeaHs4Cc7EOnayuMShykv7XjLYGtrG+I1VAOSkvmUFMI0be3LutdKKuGzjEgO /BQUM6Ri9jVX62vAtkYoujiMc6EjsW0YF X-Gm-Gg: ASbGncumhtQGPfQqPm68Vw8Uq/Jn5il2C7/qs8UgfL8PpyymJwrN4sjRFYUpl491+Vj jncb1jDDfPTRX4Fj3fSsbPwkYgwo8cYO8dp2AlxXSRpTnTDtxXSQYnItj2DQNPXYv X-Google-Smtp-Source: AGHT+IG8pGZQiCIuTmmPw+enMIjqo/lNfIjGDeNrepGNNTZSe0Pfru7jmndtUH+aqwnJ+MZxUQLUhK6FFYqwTsYWg1c= X-Received: by 2002:a05:6214:19eb:b0:6d8:cd76:a44d with SMTP id 6a1803df08f44-6e1ee5a6b45mr85108946d6.0.1737795077619; Sat, 25 Jan 2025 00:51:17 -0800 (PST) MIME-Version: 1.0 From: Posina Venkata Rayudu Date: Sat, 25 Jan 2025 14:21:04 +0530 X-Gm-Features: AWEUYZmmSTh2knH-1mKDRRIBQ3JmFIlsqZAA8ozLs1cIB-FmGjGodgnLi2strMY Message-ID: Subject: subobject as monomorphism To: "Michael Barr, Prof." , categories@mq.edu.au, Andree Ehresmann X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: 9kAmY6JegHFq65FFj-HlZwCtC5fv1xyaS4yZOpDIKCA_1737795078 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="MCBoundary=_12501251951210101" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.222.172];domain=mail-qk1-f172.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.222.172];domain=mail-qk1-f172.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ML1PEPF0000F177:EE_|SYBPR01MB5502:EE_|ME2PR01MB5777:EE_|SY0PR01MB9403:EE_ X-MS-Office365-Filtering-Correlation-Id: bfeac052-f4de-4546-e919-08dd3d1d71ca X-Moderation-Data: 1/25/2025 8:35:10 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: bfeac052-f4de-4546-e919-08dd3d1d71ca X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF0000F177.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 25 Jan 2025 20:35:12.1286 (UTC) X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY0PR01MB9403 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-OriginatorOrg: mq.edu.au --MCBoundary=_12501251951210101 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Dear Professor Michael Barr, I hope all is well. If I may, Grothendieck redefines subobject as: a subobject of A is not an object, but an object B, together with a monomorphism u: B --> A (https://www.math.mcgill.ca/barr/papers/gk.pdf, p. 2). Your time permitting, would you be kind enough to shed some light on Grothendieck's conceptual trajectory, along with whatever it is that might have made it indispensable, from the then subset is a set to his subset is a 1-1 function, a conceptual refinement, whose mathematical value was more than adequately explained in Professor F. William Lawvere's geometry of figures (Lawvere & Schanuel, Conceptual Mathematics, pp. 370-371, https://conceptualmathematics.wordpress.com/wp-content/uploads/2013/02/conc= eptual-mathematics-2.pdf), which can be traced all the way back to Cayley's representation, not to forget Yoneda embedding or Professor's F. William Lawvere's functorial semantics, along the way. If I am not mistaken, the above Tohoku paper you translated is the first instance of a subobject reincarnating as monomorphism. When viewed from the perspective of: a part of a whole is both itself and its relationship to the whole (Lawvere, Objective Logic, p. 53, https://zenodo.org/records/7059109), shouldn't Grothendieck's 'subobject is monomorphism' have been readily incorporated into math (without having to go through the trials and tribulations of having to fight against the accusations of circumlocution, etc.). I look forward to your corrections and clarifications! Thanking you, Yours truly, posina P.S. Rational passage between concepts (https://conceptualmathematics.wordpress.com/2023/02/17/rational-passage/) is my Year 2025 project :) So, I'd appreciate any pointers to go from one concept to another. I could be wrong, but broadly it seems, speaking of the passage between concepts (GRAPH, MONOID, FUNCTION, etc.), since concepts are objectified as categories (the theory of irreflexive directed graphs as a category consisting of two parallel maps, i.e., source, target: Arrows --> Dots), it seems a passage between concepts must necessarily be functorial (mapping of objects must be respectful of their mutual relations, composition, etc). You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --MCBoundary=_12501251951210101 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 Dear Professor Michael Barr,

I hope all is well.

If I may, Grothendieck redefines subobject as:

a subobject of A is not an object, but an object B, together with a
monomorphism u: B --> A

(https://www.math.mcgill.ca/barr/papers/gk.pdf<= /a>, p. 2).

Your time permitting, would you be kind enough to shed some light on
Grothendieck's conceptual trajectory, along with whatever it is that
might have made it indispensable, from the then subset is a set to his
subset is a 1-1 function, a conceptual refinement, whose mathematical
value was more than adequately explained in Professor F. William
Lawvere's geometry of figures (Lawvere & Schanuel, Conceptual
Mathematics, pp. 370-371,
https://conceptualmathemat= ics.wordpress.com/wp-content/uploads/2013/02/conceptual-mathematics-2.pdf)<= /a>,
which can be traced all the way back to Cayley's representation, not
to forget Yoneda embedding or Professor's F. William Lawvere's
functorial semantics, along the way.

If I am not mistaken, the above Tohoku paper you translated is the
first instance of a subobject reincarnating as monomorphism. When
viewed from the perspective of: a part of a whole is both itself and
its relationship to the whole (Lawvere, Objective Logic, p. 53,
https://zenodo.org/records/7059109), shouldn't = Grothendieck's
'subobject is monomorphism' have been readily incorporated into math
(without having to go through the trials and tribulations of having to
fight against the accusations of circumlocution, etc.).

I look forward to your corrections and clarifications!

Thanking you,
Yours truly,
posina
P.S. Rational passage between concepts
(https://conceptualmathema= tics.wordpress.com/2023/02/17/rational-passage/)
is my Year 2025 project :) So, I'd appreciate any pointers to go from
one concept to another. I could be wrong, but broadly it seems,
speaking of the passage between concepts (GRAPH, MONOID, FUNCTION,
etc.), since concepts are objectified as categories (the theory of
irreflexive directed graphs as a category consisting of two parallel
maps, i.e., source, target: Arrows --> Dots), it seems a passage
between concepts must necessarily be functorial (mapping of objects
must be respectful of their mutual relations, composition, etc).
 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--MCBoundary=_12501251951210101--