From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,d85ddda7d974176 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!news.glorb.com!feed.xsnews.nl!feeder.xsnews.nl!proxad.net!cleanfeed2-b.proxad.net!nnrp4-1.free.fr!not-for-mail Return-Path: To: comp.lang.ada@ada-france.org References: <1gg01bv89foip.16h83zektx82y.dlg@40tude.net> In-Reply-To: <1gg01bv89foip.16h83zektx82y.dlg@40tude.net>; from "Dmitry A. Kazakov" at Sat, 28 Oct 2006 19:11:14 +0200 Organization: 100 From: "Alexander E. Kopilovich" Date: Sun, 29 Oct 2006 06:39:07 +0300 (MSK) X-Mailer: Mail/@ [v2.45 MSDOS] Subject: Re: MI Hownotto by Betrand Meyer MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Virus-Scanned: amavisd-new at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.9rc1 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Newsgroups: comp.lang.ada Message-ID: content-transfer-encoding: 7bit X-Original-Content-Transfer-Encoding: 7bit X-Leafnode-NNTP-Posting-Host: 88.191.17.134 NNTP-Posting-Date: 29 Oct 2006 04:45:03 MET NNTP-Posting-Host: 88.191.14.223 X-Trace: 1162093503 news-1.free.fr 9388 88.191.14.223:56288 X-Complaints-To: abuse@proxad.net Xref: g2news2.google.com comp.lang.ada:7254 Date: 2006-10-29T04:45:03+01:00 Dmitry A. Kazakov wrote: > But what were an alternative to MI? Perhaps a proper alternative to MI may be a set of different kinds of MI (each equipped with its own name) instead of a single notion overloaded with complex rules. Look at algebra for a good example: there we have different compositions of two algebraic objects - direct sum, direct product, tensor product etc. Mathematicians do not try to pack all those things into one overcomplicated notion for everyday use. (But for those, and only for those, who like or need generalizations, there is category theory and the notion of universal object in category, which covers all those cases - just describe a suitable category and you'll get a particular construction from the general categorical notion.)