What category without initial object do you care about? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T17:52:57Z http://mathoverflow.net/feeds/question/36848 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about What category without initial object do you care about? B. Bischof 2010-08-27T07:04:17Z 2010-10-05T15:32:38Z <p>Recently I have been listening to some constructions that have been designed to accommodate categories without an initial object. The speaker has given some idea of a category or two that he cares about, and thus why he was thinking in this direction, but I am now wondering;</p> <blockquote> <p>As working mathematicians, what category are you concerned with that does not have an initial object?</p> </blockquote> <p>I am sorry if this question is slightly strange, I have made it CW because it seems appropriate.</p> <p>Thanks!</p> http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about/36853#36853 Answer by Andrew Stacey for What category without initial object do you care about? Andrew Stacey 2010-08-27T08:10:39Z 2010-08-27T08:10:39Z <p>Isn't it so that the category of fields doesn't have an initial object? I seem to recall seeing a lot of F_uss about this on the web from time to time.</p> http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about/36856#36856 Answer by Martin Brandenburg for What category without initial object do you care about? Martin Brandenburg 2010-08-27T08:23:25Z 2010-08-27T08:23:25Z <p>The category of varieties (or just integral schemes) has no initial object. (The empty set is not irreducible; this does not prove my claim, but indicates that the naive choice for an initial object does not work).</p> http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about/36864#36864 Answer by Urs Schreiber for What category without initial object do you care about? Urs Schreiber 2010-08-27T09:22:43Z 2010-08-27T09:22:43Z <p>I guess the question is meant to ask abut "classical concrete categories" only, those whose objects are sets with structure. For otherwise, the class of examples that we certainly care about is vast and uninteresting (as a class). </p> <p>For instance a groupoid has an initial object precisely if it is equivalent to the trivial groupoid. </p> <p>Any disjoint union of two categories has no initial object. </p> <p>Any poset without smallest elements has no initial object.</p> http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about/36898#36898 Answer by Chris Schommer-Pries for What category without initial object do you care about? Chris Schommer-Pries 2010-08-27T16:15:49Z 2010-08-27T16:15:49Z <p>The bordism categories which arise in the study of topological quantum field theories are extremely interesting but don't have initial or terminal objects (except in degenerate cases). These categories have some flavor of d-dimensional manifolds for objects and (d+1)-dimensional cobordisms between them for morphisms. See the <a href="http://en.wikipedia.org/wiki/Cobordism#Categories_of_cobordisms" rel="nofollow">Wikipedia</a> and <a href="http://ncatlab.org/nlab/show/cobordism+category" rel="nofollow">n-lab</a> articles for further details and references. </p> http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about/36904#36904 Answer by Peter Arndt for What category without initial object do you care about? Peter Arndt 2010-08-27T16:43:01Z 2010-08-27T16:43:01Z <p>The category of fields has no initial object: It has one connected component for each characteristic, each of which has an initial object (this is a special case of Urs Schreiber's general remark about non-connected categories, but one I care about...)</p> http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about/36919#36919 Answer by André Henriques for What category without initial object do you care about? André Henriques 2010-08-27T19:03:19Z 2010-08-27T19:03:19Z <p>Let <i>R</i> be the hyperfinite type <i>III</i><sub>1</sub> factor (if you don't know what that is, "let <i>R</i> be a ring" is a good enough approximation). The following category is equivalent to the category of <i>R</i>-<i>R</i>-bimodules on infinite dimensional separable Hilbert spaces.</p> <p><b>Objects</b>: Unital ring homomorphisms <i>R</i> &rarr; <i>R</i>.<br> <b>Morphisms</b>: Hom(<i>&phi;</i>,<i>&psi;</i>) = {<i>x</i>&isin;<i>R</i> : &forall;<i>y</i>&isin;<i>R</i>, <i>x</i> <i>&phi;</i>(y) = <i>&psi;</i>(y) <i>x</i> }</p> <p>Composition of morphisms is given by multiplication in <i>R</i>. This category is actually a strict monoidal, with monoidal structure given by composition of ring homomorphisms.</p> http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about/36925#36925 Answer by Leonid Positselski for What category without initial object do you care about? Leonid Positselski 2010-08-27T21:13:56Z 2010-08-27T21:13:56Z <p>The category of CDG-rings (curved DG-rings) does not have an initial object. (A CDG-ring B = (B,d,h) is a graded ring B endowed with an odd derivation d of degree 1 and an element h of degree 2 such that d<sup>2</sup>(b) = [h,b] for any b from B and d(h)=0. A morphism of CDG-rings (B,d_B,h_B) &rarr; (A,d_A,h_A) is a pair (f,a), where f is a morphism of graded rings A &rarr; B and a is an element of A of degree 1 such that f(d_B(b)) = d_A(f(b)) + [a,f(b)] for any b from B and f(h_B) = h_A + d_A(a) + a<sup>2</sup>, where [,] denotes the supercommutator (with signs). I leave the definition of the composition of morphisms to the readers of this answer.)</p> http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about/36932#36932 Answer by Adam for What category without initial object do you care about? Adam 2010-08-27T22:02:54Z 2010-08-27T22:02:54Z <p>Any programming languages based on lambda calculus (Haskell, (OCa)ML, Clean, Coq, Agda) forms a category -- in many different ways, in fact. One way is to have an object for each type of the language and a morphism for each well-typed expression with exactly one free variable. If the programming language has <a href="http://en.wikipedia.org/wiki/Linear_type_system" rel="nofollow">linear types</a> then this category will not have a terminal object, since such an object would imply the ability to "discard" a value of any type.</p> <p>Linear types are extremely useful in giving pure functional programming languages the ability to express side-effecting operations. Loosely, you have a linear type called "world"; every impure function both takes and returns a value of that type (and perhaps other values too). Since you can't duplicate or discard a "world", its handling imposes a deterministic evaluation order on all of the impure functions, and program transformations will not alter this order. The aggregate result of the side effects can then be reasoned about (formally, even).</p> http://mathoverflow.net/questions/36848/what-category-without-initial-object-do-you-care-about/41168#41168 Answer by arsmath for What category without initial object do you care about? arsmath 2010-10-05T15:32:38Z 2010-10-05T15:32:38Z <p>In universal algebra and model theory, one usually requires that the underlying set be non-empty. If the signature has constants in it, then this is no restriction, but otherwise, there is no initial object. For example, under this definition there is no initial object in the category of semigroups. The reason for this restriction is that <a href="http://en.wikipedia.org/wiki/First-order_logic#Empty_domains" rel="nofollow">bad things</a> happen to first-order logic when the underying carrier set is empty. Many standard theorems break down when you allow the empty domain. For example, the following theorem of first-order logic $$\forall x P(x) \rightarrow \exists x P(x)$$ becomess false.</p>