From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10262 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: ptj@maths.cam.ac.uk Newsgroups: gmane.science.mathematics.categories Subject: Re: Object of connected components for internal categories Date: 27 Jul 2020 12:13:57 +0100 Message-ID: References: Reply-To: ptj@maths.cam.ac.uk Mime-Version: 1.0 Content-Type: text/plain; format=flowed; charset=ISO-8859-1 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="6894"; mail-complaints-to="usenet@ciao.gmane.io" Cc: "categories@mta.ca list" To: David Roberts Original-X-From: majordomo@rr.mta.ca Mon Jul 27 15:17:12 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1k030A-0001b2-D5 for gsmc-categories@m.gmane-mx.org; Mon, 27 Jul 2020 15:17:10 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:33048) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1k02zu-000432-0v; Mon, 27 Jul 2020 10:16:54 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1k02zX-0003Qb-N7 for categories-list@rr.mta.ca; Mon, 27 Jul 2020 10:16:31 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10262 Archived-At: The hypothesis that I used in both my topos theory books was that E has coequalizers of reflexive pairs (which are moreover stable under pullback). Apart from stability under pullback this is implied by David's hypothesis, and it eems to be satisfied in all the cases of interest. Peter Johnstone On Jul 26 2020, David Roberts wrote: >Dear all, > >I was wondering if there is any place in the literature that people >consider a hypothesis on a category E of the following form: > >(*) For an internal category C in E, there is an object of connected >components pi_0(C). > >This is equivalent to saying that s,t: Mor(C) ==> Obj(C) has a >coequaliser for any C. > >One setup I know that is *sufficient* is if C is a sigma-pretopos (in >the language of the Elephant) aka an aleph_1-ary pretopos (in the >language of Shulman's exact completions article). This is a pretopos >that additionally has countable disjoint sums (rather than just >finite). This is sufficient because then we can take the underlying >internal graph of C, then form the corresponding relation, freely form >the associated symmetric, reflexive relation (this part so far only >requires the finitary structure) and then form the transitive closure >(this requires the countable sums). > >However, given an internal category C I already have a transitive (and >reflexive) relation, namely the preorder reflection of C (which only >requires finitary operations). So while I don't necessarily expect any >other construction that doesn't require the countable sums, I was >wondering if people had considered this condition (*) directly and in >isolation. My best guess is it would be in some cohesion-type setup, >but I'm not interested in the rest of the cohesion axioms at this >time. > >Many thanks, >David > > > > > > >David Roberts >Webpage: https://ncatlab.org/nlab/show/David+Roberts >Blog: https://thehighergeometer.wordpress.com > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]