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/