Abstract
New properties and implications of inclusion systems are investigated in the present paper. Many properties of lattices, factorization systems and special practical cases can be abstracted and adapted to our framework, making the various versions of inclusion systems useful tools for computer scientists and mathematicians.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 5-21 |
| Number of pages | 17 |
| Journal | Journal of Universal Computer Science |
| Volume | 6 |
| Issue number | 1 |
| State | Published - 2000 |
| Externally published | Yes |
Keywords
- Category theory
- Logic
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science