Timeline for Hammock localization and free adjoints
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 25, 2023 at 23:30 | comment | added | Mike Shulman | The paper adjoining adjoints by Dawson, Pare, and Pronk gives an explicit construction of the free strict 2-category generated by adding a right adjoint to each morphism of a 1-category. The 2-cells, called "fences", look somewhat like hammocks, and they do mention the similarity. | |
| Sep 25, 2023 at 17:20 | vote | accept | Simon Henry | ||
| Sep 24, 2023 at 19:41 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 46 characters in body
|
| Sep 24, 2023 at 16:43 | answer | added | Dmitri Pavlov | timeline score: 3 | |
| Sep 24, 2023 at 12:13 | comment | added | Tim Campion | There attributed to Karol Szumilo | |
| Sep 24, 2023 at 6:02 | comment | added | Dmitri Pavlov | Remark 3.2.5 in Riehl–Verity “Homotopy coherent adjunctions and the formal theory of monads” says that the hammock localization of a category with two objects and a single nonidentity arrow is the simplicial category Adj given by the free adjunction. | |
| Sep 24, 2023 at 2:23 | history | edited | Simon Henry | CC BY-SA 4.0 |
deleted 6 characters in body
|
| Sep 24, 2023 at 2:16 | history | asked | Simon Henry | CC BY-SA 4.0 |