Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added two recent examples of enriched categories: tangent bundle categories and Lawvere theories.
Does the Lawvere theory example refer to enriched Lawvere theory?
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.
Oh okay; thanks David. I put those references (with anchors) directly into enriched category.
Thanks! Sorry for being lazy.
Linked to category of V-enriched categories.
added pointer to:
added pointer to:
Thanks. Let’s add hyperlinks to references, so that one can actually go and see them. I have expanded it out (here) like this:
Am also copying this to Joachim Lambek.
I have copied that reference also to Selected writings at Jean Bénabou
1 to 22 of 22