From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2357 Path: news.gmane.org!not-for-mail From: Luca Mauri Newsgroups: gmane.science.mathematics.categories Subject: Preprint: Algebraic theories in monoidal categories Date: Sun, 15 Jun 2003 10:49:57 +0200 Message-ID: <200306151049.57887.mauri@math.uni-duisburg.de> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018601 3742 80.91.229.2 (29 Apr 2009 15:23:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:21 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sun Jun 15 20:04:59 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 15 Jun 2003 20:04:59 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19RgY4-0003SQ-00 for categories-list@mta.ca; Sun, 15 Jun 2003 20:04:32 -0300 User-Agent: KMail/1.5 Content-Disposition: inline Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 48 Original-Lines: 27 Xref: news.gmane.org gmane.science.mathematics.categories:2357 Archived-At: PREPRINT ANNOUNCEMENT Algebraic theories in monoidal categories Luca Mauri Abstract. We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that generalises the usual definition in sets; and from a category-theoretical point of view, as monoidal functors on suitable classifying categories. The semantics obtained includes as special cases both the semantics of ordinary algebraic theories in Cartesian categories, and the semantics of operads and multicategories over sets. The article is in PDF format (~250 KB, 26 pages) and can be be downloaded using either of the following: "http://128.6.62.2/~mauri/Algebraic theories in monoidal categories" "http://128.6.62.2/~mauri/atmc.pdf" (older browsers) Comments and suggestions are welcome. Luca Mauri mauri@math.uni-duisburg.de