Perhaps it depends whether one cares about a special case, common case, or all 
instances?
And how many useful things can be proven for all instances without any specific 
semantics in mind.

From: Friam <friam-boun...@redfish.com> On Behalf Of Jon Zingale
Sent: Monday, October 25, 2021 5:17 PM
To: friam@redfish.com
Subject: Re: [FRIAM] stygmergy, CA's, and [biological] development

"""

An example of what Marcus is saying is that using the category definition

of duality you can show that the dual space of the dual space is (is

isomorphic to) the original space.  That's easy to show without the added

generality.

"""

Except for when that isn't true. Consider non-finite dimensional vector spaces.
.-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - .
FRIAM Applied Complexity Group listserv
Zoom Fridays 9:30a-12p Mtn UTC-6  bit.ly/virtualfriam
un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com
FRIAM-COMIC http://friam-comic.blogspot.com/
archives:
 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/
 1/2003 thru 6/2021  http://friam.383.s1.nabble.com/

Reply via email to