From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10334 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Walter P Tholen Newsgroups: gmane.science.mathematics.categories Subject: Re: Discrete fibrations vs. functors into Set Date: Fri, 4 Dec 2020 15:42:46 -0000 (UTC) Message-ID: Reply-To: Walter P Tholen Content-Type: text/plain; format=flowed; charset=UTF-8 Content-Transfer-Encoding: 8BIT Injection-Date: Fri, 4 Dec 2020 15:42:46 -0000 (UTC) Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="29431"; mail-complaints-to="usenet@ciao.gmane.io" To: categories Original-X-From: majordomo@rr.mta.ca Fri Dec 04 16:42:41 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.74]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1klDEH-0007WP-Cg for gsmc-categories@m.gmane-mx.org; Fri, 04 Dec 2020 16:42:41 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:44708) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1klD8X-0003xf-76; Fri, 04 Dec 2020 11:36:45 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1klDBb-0000hj-EA for categories-list@rr.mta.ca; Fri, 04 Dec 2020 11:39:55 -0400 Original-Date: Fri 2020-12-04 11:30 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10334 Archived-At: In a non-discrete setting these categories and questions have been considered in part in our recent paper on ???Diagrams, fibrations, and the decomposition of colimits??? with George Peschke: arXiv:2006.10890v1[math.CT] Among other things, the paper extends results obtained by Rene??? Guitart who considered categories of diagrams in some of his papers in the Cahiers of the early 1970s. Regards, Walter From: Uwe Egbert Wolter Date: December 2, 2020 at 9:37:06 PM EST To: categories list Subject: categories: Discrete fibrations vs. functors into Set Reply-To: Uwe Egbert Wolter Dear all, We consider two categories. The first category with objects given by a small category B and a functor F:B->Set and morphisms (H,alpha):(B,F)->(C,G) given by a functor H:B->C and a natural transformation alpha:F=>H;G. The second category has as objects discrete fibrations p:E->B and morphisms (H,phi):(E,p)->(D,q:D->C) are given by functors H:B->C and phi:E->D such that phi;q=p;H. 1. Are there any "standard" terms and notations for these categories? 2. For both categories we do have projection functors into Cat! Are these functors kind of (op)fibrations? 3. We know that the Grothendieck construction establishes equivalences between corresponding fibers of the two projection functors into Cat. Do these fiber-wise equivalences extend to an equivalence between the two categories? Thanks Uwe ---1530486996-297531643-1607096310=:1789-- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]