W3C home > Mailing lists > Public > semantic-web@w3.org > November 2019

Re: Category Theory CG? was: Algebraic Property Graphs and RDF

From: Owen Ambur <Owen.Ambur@verizon.net>
Date: Wed, 13 Nov 2019 23:00:43 -0500
To: Henry Story <henry.story@bblfish.net>, semantic-web <semantic-web@w3.org>
Cc: W3C AIKR CG <public-aikr@w3.org>, Ryan Wisnesky <ryan@conexus.ai>, ProjectParadigm-ICT-Program <metadataportals@yahoo.com>
Message-ID: <3ad0f554-6839-7424-a164-3834672bf83c@verizon.net>
Henry, the math is probably beyond my level of comprehension and I may 
have little to contribute to a Category Theory Community Group.  
However, the categories that are of greatest interest to me include:

    a) personal values (named motivators) and

    b) goals/objectives (named intended actions).

https://www.linkedin.com/pulse/i-only-had-brain-evolving-prefrontal-core-text-internet-owen-ambur/ 


See, for example, https://jamesclear.com/core-values (set of 50) and/or 
https://scottjeffrey.com/core-values-list/ (set of 230).

<Value 
<http://stratml.us/references/urn_ISO_std_iso_17469_tech_xsd_stratml_core.html#Value>> 
is one of the core elements of the StratML standard (ISO 17469-1).  
There are now >4,000 plans in the StratML collection 
<http://stratml.us/drybridge/index.htm> that associate values with goals 
and objectives as well as the organizations pursuing them.

Co-operating Systems is now among those organizations, at 
http://stratml.us/carmel/iso/COOSwStyle.xml

I need to update my StratML rendition of these folks' plan -- 
http://www.worldvaluessurvey.org/wvs.jsp -- but it would be nice 
(community spirited) if they were to do that themselves.

Andre Cusson formerly indexed values documented in StratML format but 
stopped in 2014: http://stratml.hyperbase.com/values.html There were 
4,500 of them at that time: http://stratml.hyperbase.com/statistics.html

Among my objectives is to help communities (groups of all kinds) 
collaborate more efficiently and effectively in pursuit of common and 
complementary objectives on a worldwide scale: 
http://connectedcommunity.net/

Efficiency and effectiveness are two key values for me, particularly 
with respect to the expenditure of OPM (other people's money), e.g., by 
politicians and charitable orgs.

I'll look forward to seeing the value (meaning /utility/ in this 
context) that mathematicians can add to the achievement of human 
objectives. Theoretically speaking, publishing their own plans and 
performance metrics in open, standard, machine-readable format might be 
a good way to begin.

BTW, I also believe it is time to overthrow the software oligarchy.  See 
http://stratml.us/carmel/iso/part2/DCMOwStyle.xml & 
https://en.wikipedia.org/wiki/Machine-readable_document

Owen


On 11/13/2019 5:12 AM, Henry Story wrote:
> Hi all,
>
>      we have been discussing the possibility of opening a
> Category Theory community group, which would allow people
> interested in CT to have a space to talk about how it
> applies to web standards, from RDF, SPARQL, Property Graphs,
> etc... all the way to HTTP. This could attract mathematicians
> and allow them to see which other groups could be helped
> from some theoretical input, write up a wiki of concepts
> and papers that are related, and a lot more….
>
> Feedback welcome :-)
>
>> On 23 Sep 2019, at 15:08, ProjectParadigm-ICT-Program <metadataportals@yahoo.com> wrote:
>>
>> Good. Finally we are starting to see the light. But an even more generalized model is possible, because the essence here is representing data, whereas there are two more levels, i.e. information and knowledge. And both can also be captured using category theory and formal algebra, but with a twist.
> Yes, I agree. Knowledge involves modal concepts (at least Nozick’s definition
> in Philosophical Explanations gave some very good reason to believe so).
>
> I recently discovered that an introductory book on Modal HoTT (for philosophers)
> was to come out soon. In the already published chapter 4 is written there that
>
> "The slogan here is that, where HoTT itself is the internal language of (∞,1)-toposes, modal HoTT is the internal language for collections of (∞,1)-toposes related by geometric morphisms”
>
> This brings a whole new level of mathematical clarity to the subject.
> I wrote up a blog post to help me read that article with pointers to articles
> and research here:
>
> ”Modal HoTT on the Web"
> https://medium.com/@bblfish/modal-hott-on-the-web-2f4f7996b41f
>
> Henry
>
>> Milton Ponson
>> GSM: +297 747 8280
>> PO Box 1154, Oranjestad
>> Aruba, Dutch Caribbean
>> Project Paradigm: Bringing the ICT tools for sustainable development to all stakeholders worldwide through collaborative research on applied mathematics, advanced modeling, software and standards development
>>
>>
>> On Monday, September 23, 2019, 9:10:16 AM ADT, Henry Story <henry.story@bblfish.net> wrote:
>>
>>
>> Hi,
>>
>>    An interesting paper linking knowledge graphs, property graphs and
>> RDF together via Category Theory
>>
>> Algebraic Property Graphs
>> https://arxiv.org/abs/1909.04881
>>
>> Henry Story
>>
>>
>
Received on Thursday, 14 November 2019 04:00:50 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:51:39 UTC