Pure Functions?

• From: Henry Story <henry.story@bblfish.net>
• Date: Tue, 12 Jul 2022 17:16:05 +0200
• To: public-n3-dev@w3.org
• Message-Id: <9C1F83C7-3A24-4687-949F-6E61A518DB58@bblfish.net>

Hi,

  I have been working a bit recently with the function ontology https://fno.io/
and was wondering if one could not have a pure function ontology subset of it.

There is a nice mapping between the category Rel of sets and relations and the
category Set of Sets and functions (somewhere in David Spivak’s work on the subject).
I think all one needs is a relation from an functional property its restricted domain,
to get a function. 

It seems like having that could help clarify the function ontology. So I wrote it
up here

https://github.com/FnOio/fno-specification/issues/7

But then I also get the feeling that this was thought of before, and
that there was an issue that came up.  I am asking here as I think the
experts that know should be here :-)


Henry Story

https://co-operating.systems
WhatsApp, Signal, Tel: +33 6 38 32 69 84‬ 
Twitter: @bblfish

Received on Tuesday, 12 July 2022 15:24:47 UTC