Skip to content

abstract properties over non-linear orders

Notifications You must be signed in to change notification settings

rehierl/abstract-properties

Repository files navigation

  • still a work in progress

abstract

  • provide an overall "abstract"

remarks

Many thanks to Wikipedia for covering Order Theory. Without that coverage, this repository would most likely not exist.

It is recommended to download the repository and to read the markup files in it using a multi-tab text editor such as Atom, Visual Studio Code, or some other IDE such as NetBeans.

Most chapters can be described as meta chapters, which group several chapters. Such groups cover a certain aspect, introduce a new one, or extend a previous meta chapter. Subchapters are not further subdivided into subchapters, which is why the folder structure structure is overall shallow. Despite the shallow structure, this repository is rather extensive since it holds around 433 items (folders and files).

Note that each folder should contain a readme file in order to provide an overview of the contents in it.

meta

Note that I am aware that this content is far from paper-grade quality. One therefore needs to keep in mind that my focus is on consistency and overall common aspects, not on visuals or non-substantial aspects such as typos.

Note that it is difficult to explain ideas that are new to some extent since one must use words that already have a meaning. Because of that, it won't work without inaccuracies, or even without having to cause confusion. Readers are therefore advised to not try to read between the lines, but instead to try to recognize the common patterns amongst the noise.

Note that one will certainly find repetitions (i.e. noise, e.g. a multitude of isomorphismen) which are provided in an attempt to explain the same "thing" from different angles. The intent of this is an attempt to highlight the underlying structure (i.e. the common patterns). All of that can be understood to peak in the length-based (scopes) and the level-based (context) encodings of a tree, both of which can be understood as being dual to each other.

About

abstract properties over non-linear orders

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published