Timeline for What's the terminology for a sequent-like variant of category?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 5, 2021 at 1:07 | vote | accept | Trebor | ||
| Sep 4, 2021 at 17:30 | answer | added | Reid Barton | timeline score: 6 | |
| Sep 4, 2021 at 17:13 | comment | added | Trebor | @ReidBarton Yes, that's exactly what I want. Wuld you like to write an answer so that I can accept it? | |
| Sep 4, 2021 at 16:08 | comment | added | Reid Barton | ncatlab.org/nlab/show/polycategory ? | |
| Sep 4, 2021 at 13:58 | comment | added | Paul Taylor | Your profile suggests you're interested in proof/type theory but doesn't say whether you're attached to a university. I would suggest finding a suitable blog or online forum to pick up ideas. (I am a categorist rather than a proof/type theorist.) | |
| Sep 4, 2021 at 13:45 | comment | added | Paul Taylor | OK I have seen systems of this nature, but as a tool used to capture the behaviour of some particular mathematicsl setting, rather than as a widespread treatment of logic. (Sorry for the vague wording.) I suggest doing a web search for eg "sequent category" to see if there is something similar to whatever your motivation is, or spelling that out in more detail. | |
| Sep 4, 2021 at 13:35 | comment | added | Trebor | @PaulTaylor The comma doesn't mean anything on its own. Its meaning is defined with the second axiom, analogous to the cut rule. But its intended semantics is indeed conjunction on the left and disjunction on the right. | |
| Sep 4, 2021 at 13:33 | comment | added | Paul Taylor | It is not clear what you mean by the commas on the two sides of the sequent. If it's conjunction or product on both sides, the corresponding idea is a multicategory and is fairly widely used. However, traditionally comma on the right of a sequent means disjunction; if you clarify that in your question, I or someone might look up some references for categorical work using that idea. | |
| Sep 4, 2021 at 13:16 | history | asked | Trebor | CC BY-SA 4.0 |