Timeline for Algebras for general transfors
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 18, 2021 at 17:13 | vote | accept | Mathemologist | ||
| May 18, 2021 at 15:55 | answer | added | Mike Shulman | timeline score: 3 | |
| May 18, 2021 at 14:00 | comment | added | Mike Shulman | The property of a given functor "being constant" (strictly) is "evil", but "the constant functor associated to a given object" as a construction is not evil. | |
| May 18, 2021 at 13:50 | comment | added | Mathemologist | An algebra for $F$ is a "homotopy" (natural transformation) $F\bar{a} \to \bar{a}$, where $\bar{a}$ denotes any constant functor. I would go so far as to say that the current definition is not poised for a proper homotopical generalization, because constant functors are an "evil" notion internally. The emphasis must shift away from the "carriers" of algebras and toward the syntactic activity that specifies the algebra in an existing syntactic context (a relevant category). Emphasizing the homotopies themselves over the nullhomotopic (constant) maps. | |
| May 18, 2021 at 12:54 | comment | added | Alex Kruckman | What do you mean when you say "this construction is intrinsically homoropical"? What's homotopical about it? | |
| May 18, 2021 at 11:22 | history | asked | Mathemologist | CC BY-SA 4.0 |