Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory cohesive-homotopy-type-theory cohomology colimits combinatorics complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory kan lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology natural nforum nlab nonassociative noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topological topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorMike Shulman
    • CommentTimeOct 12th 2012

    added to closed monoidal category a proof that the pointwise tensor product on a functor category with complete codomain is closed.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 27th 2014

    Discussion elsewhere suggested that readers found the bi-closed aspect at closed monoidal category not clear enough, or not highlighted properly to be recognizable.

    Therefore I have now edited slightly, trying to make the point clearer. Also added a few more hyperlinks to the existing text.

    And added pointers to Lambek’s original articles to the References-section, together with a pointer to the history of the subject over at linear type theory.

    • CommentRowNumber3.
    • CommentAuthorColin Tan
    • CommentTimeJan 5th 2016

    As a symmetric closed monoidal category, a cartesian closed category (C,×,1)(C, \times, 1) has the properties that (1) the unit 11 is the terminal object and (2) the tensor product ×\times distributes over finite coproducts.

    Is there a name for symmetric closed monoidal categories that satisfy properties (1) and (2)?

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 5th 2016
    • (edited Jan 5th 2016)

    (2) is redundant since in a symmetric monoidal closed category, it is automatic that the tensor product distributes over all colimits.

    As for (1): is it true that I’ve heard “affine monoidal”? (Terminology based on the example of affine spaces = vector spaces but forgetting the origin.) I’ll have to check later.

    Edit: Oh, the nLab calls it a semicartesian monoidal category, so you could call your thing a semicartesian closed category I guess.

    • CommentRowNumber5.
    • CommentAuthorColin Tan
    • CommentTimeJan 5th 2016

    Thanks Todd, that was helpful. I added to semicartesian monoidal category the motivating example ([0,],,+,0)([0,\infty], \ge, + , 0) of the extended real numbers.

    • CommentRowNumber6.
    • CommentAuthorColin Tan
    • CommentTimeJan 5th 2016
    In a semicartesian monoidal category, is it automatic that the tensor product is symmetric?
    • CommentRowNumber7.
    • CommentAuthorMike Shulman
    • CommentTimeJan 6th 2016

    Surely not.

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 6th 2016
    • (edited Jan 6th 2016)

    The usual examples do have a symmetric monoidal product though. It made me pause to wonder whether the nLab definition is the standard one.

    Edit: I’ll retract my previous sentence; I’ll bet it’s quite standard. In fact for any monoidal category MM, the slice M/IM/I over the unit is semicartesian, and that should be a universal example. I added some words to that effect (which should be checked for accuracy).

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeJan 7th 2016

    I kind of doubt that the notion of semicartesian monoidal category is commonly enough used for anything to be “standard”. But the observation about slices is nice!

    • CommentRowNumber10.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 7th 2016
    • (edited Jan 7th 2016)

    Thanks! Something I found a little amusing yesterday was to consider the specific case Vect/kVect/k where kk is the ground field for VectVect. Both VectVect and AffAff (affine spaces over kk, including the empty one) embed fully in this category (the latter as a monoidal subcategory). For VectVect the embedding is V(V,0:Vk)V \mapsto (V, 0: V \to k).

    The embedding of AffAff takes a little more time to spell out. It’s A(1A,π)A \mapsto (1 \sqcup A, \pi) where \sqcup is the coproduct in affine spaces (akin to a simplicial join), 11 is the terminal affine space, and π\pi is the composite of 1!:1A111 \sqcup !: 1 \sqcup A \to 1 \sqcup 1 with a natural identification μ:11k\mu: 1 \sqcup 1 \cong k. Both 1!1 \sqcup ! and μ\mu which are morphisms of AffAff may be regarded as morphisms of 1AffVect1 \downarrow Aff \simeq Vect (pointed affine spaces are vector spaces) if we let the first inclusion i 0:111i_0: 1 \to 1 \sqcup 1 be the pointing of 111 \sqcup 1 and 0:1k0: 1 \to k the pointing of kk and define μ\mu by μi 0=0\mu \circ i_0 = 0, μi 1=1\mu \circ i_1 = 1 (the element 1k1 \in k). (So μ\mu is like two ends of a meter stick used to set up coordinates on the line kk.)

    “Most” objects (V,f:Vk)(V, f: V \to k) of Vect/kVect/k are “inhabited” in the sense that the projection to the terminal is regular epic; this means f:Vkf: V \to k is epic. For such objects, a morphism (V,f)(W,g)(V, f) \to (W, g) determines and is uniquely determined by the affine map f 1(1)g 1(1)f^{-1}(1) \to g^{-1}(1) between the fibers over 1k1 \in k, and thus we identify the full subcategory of inhabited objects of Vect/kVect/k with the category of inhabited affine spaces.

  1. By the way, Coecke and Lal call semicartesian monoidal categories causal categories.

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeJan 7th 2016

    @Todd: Cute. And the objects that aren’t inhabited are exactly those in the image of VectVect, right? So VectAffVect\cup Aff is all of Vect/kVect/k, and VectAffVect\cap Aff is 0k0\to k, the zero vector space and the empty affine space. There are no maps from an inhabited affine space to a vector space, and there is only the zero map from a vector space to an affine space, so the two are almost disjoint.

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 8th 2016
    • (edited Jan 8th 2016)

    Yes, they are almost disjoint, except that you do have maps ϕ:(V,0)(W,g)\phi: (V, 0) \to (W, g) from a “vector space” to an “affine space” whenever ϕg=0\phi \circ g = 0.

    I think what we have in fact is Vect/kVect/k realized as a collage of vector spaces with inhabited affine spaces (I’ll denote that category by Aff +Aff_+). It’s the collage induced by the bimodule B:Vect op×Aff +SetB: Vect^{op} \times Aff_+ \to Set where B(V,A)=Vect(V,T(A))B(V, A) = Vect(V, T(A)); here TT is the functor which takes an affine space AA to its vector space of translations T(A)T(A), which we can also express as the composite

    Aff +Vect/kkerVect/0VectAff_+ \to Vect/k \stackrel{\ker}{\to} Vect/0 \simeq Vect

    where ker\ker is of course the pullback along 0k0 \to k. I guess you’d just call that (some version of) the cograph of TT.

    • CommentRowNumber14.
    • CommentAuthorMike Shulman
    • CommentTimeJan 9th 2016

    Ah, I see. Cute!

    I wonder if one might regard this as another argument against admitting the empty affine space.

    • CommentRowNumber15.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 10th 2016

    If you think of an affine space as a (locally trivial) principal V-bundle over a point, then it should be inhabited (maybe this point has been made already elsewhere).

    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTimeJan 10th 2016

    @Mike: I was wondering the same thing.

    @David: It may not have been said in exactly those terms, but similar points have been made elsewhere (e.g., an affine space is the same as a torsor of its space of translations). And that kind of point has some validity and force, surely, but not enough (for me, anyway) to override the opposing feeling that affine spaces over a field should form a variety, should form a complete/cocomplete category, etc., and that we teach our students that the solution space to Ax = b may be empty, etc. etc. This might be another instance of the nice object / nice category dichotomy. (Speaking only for myself, I’m not very comfortable at present with the nLab’s leaning toward the “nice object” side of the debate in affine space.)

    In the end whichever notion of affine space we choose probably comes down to context and expediency, but I’d be happier to see the category of inhabited affine spaces arise organically from satisfying categorical considerations. Along lines vaguely analogous to Tom Leinster’s Café post on how he came to love the nerve construction, which among other things lays out organic categorical reasons for choosing the simplex category over the augmented simplex category. There is a vague sense within the current thread (which I suppose should go elsewhere than “closed monoidal category”) that the structure of the slice construction Vect/kVect/k, which arises by applying the coreflection of monoidal categories into semicartesian monoidal categories to (Vect,)(Vect, \otimes), might provide a clue to this, maybe via this observation about Vect/kVect/k also being a collage construction.

    • CommentRowNumber17.
    • CommentAuthorMike Shulman
    • CommentTimeJan 11th 2016

    Let’s continue at affine space.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeJun 15th 2016

    I have added the statement that in a closed monoidal category the tensor/hom adjunction isos always internalize. (here)

    • CommentRowNumber19.
    • CommentAuthorDavidRoberts
    • CommentTimeMay 29th 2018

    Added lctvs with the inductive tensor product as an example

    diff, v37, current

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeDec 20th 2018

    added pointer to Borceux.

    Does Borceux ever mention compact closure? Or else, what would be a good textbook reference for compact closed categories?

    diff, v38, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)