Timeline for terminology: monotone maps of posets such that the image of a lower set is a lower set
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 7, 2016 at 9:14 | history | edited | user97621 | CC BY-SA 3.0 |
added tag co.combinatorics, made more explicit question about classification
|
| Nov 2, 2016 at 23:29 | history | edited | user97621 | CC BY-SA 3.0 |
deleted 310 characters in body
|
| Nov 2, 2016 at 23:04 | history | edited | user97621 | CC BY-SA 3.0 |
added 430 characters in body
|
| Nov 2, 2016 at 22:45 | comment | added | user97621 | @Emil: thanks! is there a classification or theory of p-morphisms between finite Kripke frames? | |
| Nov 2, 2016 at 22:12 | comment | added | Benjamin Steinberg | ... from a poset person | |
| Nov 2, 2016 at 21:58 | comment | added | Benjamin Steinberg | This is a duplicate of my question mathoverflow.net/questions/137172/…; I'd still like an answer | |
| Nov 2, 2016 at 20:42 | comment | added | Emil Jeřábek | Considered as maps of the upside-down Kripke frames $(X,\ge)\to(Y,\ge)$, such maps $f$ are exactly the p-morphisms (aka bounded morphisms). That’s likely not how order theorists would call them. | |
| Nov 2, 2016 at 17:34 | history | asked | user97621 | CC BY-SA 3.0 |