From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2369 Path: news.gmane.org!not-for-mail From: Thorsten Palm Newsgroups: gmane.science.mathematics.categories Subject: Papers available Date: Tue, 24 Jun 2003 05:14:01 -0400 (EDT) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241018608 3801 80.91.229.2 (29 Apr 2009 15:23:28 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:28 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Tue Jun 24 10:10:55 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 24 Jun 2003 10:10:55 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19UnX7-0005eD-00 for categories-list@mta.ca; Tue, 24 Jun 2003 10:08:25 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 60 Original-Lines: 62 Xref: news.gmane.org gmane.science.mathematics.categories:2369 Archived-At: Dear categorists, My Ph.D. dissertation, entitled `Dendrotopic Sets for Weak Infinity-Categories', and a preliminary version of my paper `Dendrotopic Sets' can now be downloaded from the web-page www.math.yorku.ca/Who/Grads/palm . The content of the two works is summarized below, where they are referred to as [A] and [B] respectively. Best regards Thorsten Palm ---------------- In his unpublished paper [1], Makkai defined a notion of _weak infinity-category_ (under the name `multitopic omega-category'). The underlying geometric structures, called _multitopic sets_, are described in the three-part paper [2]. Makkai takes a weak infinity-category to be a multitopic set with the mere property that _compositions_ exist, which are defined as equivalences of certain _coslice_ objects. [A] gives a definition of weak infinity-categories equivalent to Makkai's. While this definition falls into the same two stages, it is considerably shorter and more elementary in each of them. The description of the underlying geometric structures, called _dendrotopic sets_ here, is done purely combinatorially (whereas [2] uses the algebraic machinery of multicategories). A coslice object comes in two guises, in both of which it is a dendrotopic set with mild extra structure in the form of a dendrotopic map (whereas in [1] it is a model for a new signature for Makkai's first-order logic with dependent sorts). [A] also presents an alternative method of introducing composition to a dendrotopic set. Here one has to impose the extra structure of a _universality system_: a subset that behaves in such a way that each member can be thought of as a universal arrow. The main theorem of [A] states that a dendrotopic set containing a universality system is a Makkai weak infinity-category. The concept of a dendrotopic set is defined at a more leisurely pace in [B], where the equivalence to the concept of a multitopic set is, indirectly, established. References: [1] M. Makkai: `The multitopic omega-category of all multitopic omega-categories'; mystic.biomed.mcgill.ca/Makkai [2] C. Hermida, M. Makkai, A. J. Power: `On weak higher dimensional categories'; Journal of Pure and Applied Algebra. Part 1: 154 (2000), pp. 221-246; part 2: 157 (2001), pp. 247-277; part 3: 166 (2002), pp. 83-104