Timeline for What terminology surrounds "involutive" double categories?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 27, 2016 at 15:36 | history | edited | goblin GONE | CC BY-SA 3.0 |
deleted 5 characters in body
|
| Feb 27, 2016 at 14:51 | comment | added | goblin GONE | @DimitriChikhladze, sure, but I imagine these things a pretty fundamental, so I hope there's accepted terminology for referring to them. For example, if someone asks you: "what's the difference between arrows and proarrows?" now you can respond: "arrows transform covariantly under involution, proarrows transform contravariantly." This answer only really materializes when you bundle everything up together into "involutive" double categories, so things really are clearer from this viewpoint. | |
| Feb 27, 2016 at 14:41 | comment | added | Dimitri Chikhladze | I don't think there is a name. In (higher) category theory giving a name to everything is daunting. | |
| Feb 27, 2016 at 13:40 | history | edited | goblin GONE | CC BY-SA 3.0 |
added 10 characters in body
|
| Feb 27, 2016 at 13:30 | history | asked | goblin GONE | CC BY-SA 3.0 |