j
k
j a
j l
Sorry, I should have said "Lawvere's name for..." in
Proposition 5.28 of Kelly's "Basic Concepts of Enriched Category Theory", namely that Cauchy completion (Kelly's name for the enriched counterpart of idempotent closure)
Vaughan
Back to the thread
Back to the list
