From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4920 Path: news.gmane.org!not-for-mail From: Michael Shulman Newsgroups: gmane.science.mathematics.categories Subject: Re: Famous unsolved problems in ordinary category theory Date: Wed, 3 Jun 2009 11:45:09 -0500 Message-ID: Reply-To: Michael Shulman NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1244162778 6793 80.91.229.12 (5 Jun 2009 00:46:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 5 Jun 2009 00:46:18 +0000 (UTC) To: Hasse Riemann , Original-X-From: categories@mta.ca Fri Jun 05 02:46:16 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1MCNZY-0006xr-Js for gsmc-categories@m.gmane.org; Fri, 05 Jun 2009 02:46:16 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MCMxT-0006Ni-9H for categories-list@mta.ca; Thu, 04 Jun 2009 21:06:55 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4920 Archived-At: Probably people are going to jump on me for saying this, but it seems to me that category theory is different from much of mathematics in that often the difficulty is in the definitions rather than the theorems, and in the questions rather than the answers. Thus, there are probably many unsolved problems in category theory, but we don't know what they are yet, because figuring out what they are is the main aspect of them that is unsolved. (-: Mike On Tue, Jun 2, 2009 at 11:31 AM, Hasse Riemann wrote: > > > > Hello categorists > > I don't know what to make of the silence to my question. > This is the easiest question i have. I can't believe it is so difficult. > It is not like i am asking you to solve the problems. > > There must be some important open problems in ordinary category theory. > There are plenty of them in the theory of algebras and > in representation theory, so there should be more of them in category theory. > > Especially if you broaden the boundaries a bit of what ordinary category theory is. > Take for instance: > model categories, > categorical logic, > categorical quantization, > topos theory-locales-sheaves. > But i had originally pure category theory in mind. > > Best regards > Rafael Borowiecki > > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]