Nerve and realization – basic examples and adjointness

As it should be more self-contained and readable, our introductory nerve writing is combined to the original realization print.

I believe this is a nice introduction sticking to a small and concise setup by all means. Some excessively generalized treatment of the topic such as enriched theory and higher theory is out of our scope and is unnecessary for the purpose.