Timeline for Right adjoint completions
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 30, 2017 at 9:30 | comment | added | Arrow | @PhilippeGaucher in that sense, the criterion of being difficult to calculate is not what I mean. Almost all free constructions are difficult to calculate because they're often huge for the same reason - they contain many "terms" divided by possibly many relations. My coskeleton example is "geometrically laborious" in the sense you must search through the entire simplicial set and fill holes, rather than just superficially add trivial structure in higher dimensions. | |
| Aug 30, 2017 at 9:28 | comment | added | Philippe Gaucher | There are left adjoints which are also difficult to calculate. The colimit of a small diagram of globular $\omega$-categories is a left adjoint. It is difficult to calculate because the colimit contains all free compositions of all maps of all dimensions, divided by the relations they are supposed to satisfy in a globular $\omega$-category. | |
| Aug 30, 2017 at 9:19 | comment | added | Arrow | @PhilippeGaucher that sounds like a good criterion, yes. | |
| Aug 30, 2017 at 8:24 | comment | added | Philippe Gaucher | What is a laborious completion ? Something difficult to calculate ? | |
| Aug 27, 2017 at 23:11 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Aug 27, 2017 at 22:34 | history | asked | Arrow | CC BY-SA 3.0 |