From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2951 Path: news.gmane.org!not-for-mail From: claudio pisani Newsgroups: gmane.science.mathematics.categories Subject: Preprint: Bipolar spaces Date: Tue, 13 Dec 2005 13:33:23 +0100 (CET) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 X-Trace: ger.gmane.org 1241019002 6514 80.91.229.2 (29 Apr 2009 15:30:02 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:30:02 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Dec 14 16:12:51 2005 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 14 Dec 2005 16:12:51 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1Emcpt-0005lq-VF for categories-list@mta.ca; Wed, 14 Dec 2005 16:02:49 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 26 Original-Lines: 63 Xref: news.gmane.org gmane.science.mathematics.categories:2951 Archived-At: Dear categorists, some of you might be interested in the following paper, now available on arXiv (http://arxiv.org/abs/math.CT/0512194) "Bipolar spaces" Claudio Pisani Abstract: Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations on a category A in the category of categories over A are studied; in particular, the reflections and the coreflections of the latter in the former are considered, along with a negation-complement operator which, applied to a discrete fibration, gives a functor with values in discrete opfibrations (and vice versa) and which turns out to be classical, in that the strong contraposition law holds. Such an analysis is developed in an appropriate conceptual frame that encompasses similar "bipolar" situations and in which a key role is played by "cofigures", that is components of products; e.g. the classicity of the negation-complement operator corresponds to the fact that discrete opfibrations (or in general "closed parts") are properly analyzed by cofigures with shape in discrete fibrations ("open parts"), that is, that the latter are "coadequate" for the former, and vice versa. In this context, a very natural definition of "atom" is proposed and it is shown that, in the above situation, the category of atoms reflections is the Cauchy completion of A. ----------- Of course, any comment or criticism is welcome. In particular, I would like to know which facts, apart from the formalism, sound familiar (e.g., concerning the coreflection in discrete fibrations). Best regards Claudio ___________________________________ Yahoo! Mail: gratis 1GB per i messaggi e allegati da 10MB http://mail.yahoo.it