Not signed in (Sign In)

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 book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex 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 foundation 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 homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab 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 stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft 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).

nLab > Latest Changes: enriched category

Bottom of Page

1 to 31 of 31

  1.  
    • CommentRowNumber1.
    • CommentAuthorMike Shulman
    • CommentTimeOct 17th 2017

    I added two recent examples of enriched categories: tangent bundle categories and Lawvere theories.

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 17th 2017

    Does the Lawvere theory example refer to enriched Lawvere theory?

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 17th 2017
    • (edited Oct 17th 2017)

    I imagine Mike means the last additions to the references, the final two by Richard Garner and John Power.

    Lawvere theories can be represented as enriched categories as well; see there for details.

    at enriched category could be clearer. Maybe an anchor to those references.

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 17th 2017

    Oh okay; thanks David. I put those references (with anchors) directly into enriched category.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeOct 17th 2017

    Thanks! Sorry for being lazy.

    • CommentRowNumber7.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 26th 2021

    The reverse link.

    diff, v97, current

    • CommentRowNumber8.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 26th 2021

    Added a note on generalized algebraic theories.

    diff, v98, current

    • CommentRowNumber9.
    • CommentAuthorvarkor
    • CommentTimeAug 20th 2021

    Add reference to an original account of enriched categories by Maranda.

    diff, v100, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2021

    Thanks.

    The first Google hit gives a pdf-copy (pdf), so I have included that.

    diff, v101, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeAug 29th 2021

    added pointer to:

    diff, v102, current

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 29th 2021

    added pointer to:

    diff, v103, current

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeAug 30th 2021

    added (here) mentioning of the example of strict (2,1)-categories.

    diff, v104, current

    • CommentRowNumber14.
    • CommentAuthorvarkor
    • CommentTimeSep 19th 2021

    Cite first reference to categories enriched in a multicategory.

    diff, v105, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeSep 19th 2021

    Thanks. Let’s add hyperlinks to references, so that one can actually go and see them. I have expanded it out (here) like this:

    • Joachim Lambek, Deductive Systems and Categories II: Standard constructions and closed categories, In: Peter Hilton (eds.) Category Theory, Homology Theory and their Applications I, Lecture Notes in Mathematics 86 Springer 1969 (doi:10.1007/BFb0079385, pdf)

    Am also copying this to Joachim Lambek.

    diff, v106, current

    • CommentRowNumber16.
    • CommentAuthorvarkor
    • CommentTimeSep 19th 2021

    Add reference to Bénabou’s Catégories relatives.

    diff, v107, current

  17. Added link to Bénabou original paper

    Anonymous

    diff, v110, current

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeMay 23rd 2022

    I have copied that reference also to Selected writings at Jean Bénabou

    • CommentRowNumber19.
    • CommentAuthorJ-B Vienney
    • CommentTimeJul 28th 2022

    Added redirection from enriched.

    diff, v112, current

    • CommentRowNumber20.
    • CommentAuthorJ-B Vienney
    • CommentTimeAug 15th 2022

    Started a section on the tensor product of VV-enriched categories for VV a symmetric monoidal category.

    diff, v113, current

    • CommentRowNumber21.
    • CommentAuthorvarkor
    • CommentTimeOct 5th 2022

    Added early reference to the idea of an enriched category.

    diff, v114, current

    • CommentRowNumber22.
    • CommentAuthorvarkor
    • CommentTimeOct 5th 2022

    Added early reference to Kelly.

    diff, v114, current

    • CommentRowNumber23.
    • CommentAuthorvarkor
    • CommentTimeDec 17th 2022
    • (edited Dec 17th 2022)

    Mention polyads.

    Edit: I see this is already mentioned on category enriched in a bicategory, but it probably doesn’t hurt to mention it here too.

    diff, v115, current

    • CommentRowNumber24.
    • CommentAuthorvarkor
    • CommentTimeDec 18th 2022

    Briefly mention enrichment in a closed category and a skew-monoidal category, without definitions.

    diff, v116, current

    • CommentRowNumber25.
    • CommentAuthorvarkor
    • CommentTimeMar 9th 2023

    Cite Linton’s autonomous categories.

    diff, v117, current

    • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2023

    I am removing the redirects for enriched groupoid in order to give this a stand-alone entry

    diff, v118, current

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2023

    added DOI-link for this item:

    diff, v119, current

    • CommentRowNumber28.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 1st 2023

    Added some words and phrases surrounding the expression “base of enrichment” (for which I will create a separate page, but pointing to this one).

    diff, v122, current

    • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeJun 2nd 2023

    added DOI-link to this item:

    diff, v124, current

    • CommentRowNumber30.
    • CommentAuthorTom Mainiero
    • CommentTimeAug 2nd 2023

    I added an explicit reference to the delooping of a monoidal category with appropriate rewording.

    diff, v125, current

    • CommentRowNumber31.
    • CommentAuthorvarkor
    • CommentTimeDec 9th 2023

1 to 31 of 31

  1.