Exposition

|↑| ⏾ Concept Map | Memos | Exposition

To enter, either use the search bar to find a specific concept or choose from one of the listed Disciplines. You can also see a flattened representation of the map at Aerial.

Everything should be intuitive, so reading on is optional. Happy exploring.

Concept Map

This is an attempt to define and organize everything in the study of High-Energy Astrophysics 𓆩⚪𓆪 for learning or reference. The scope of the project is expansive, so it includes many other things related to physics more broadly, engineering, programming, and so on.

It borrows the framing of an object-oriented programming language, which abstracts all data as an object to allow common handling of everything. Here, anything that can be identified is a concept. Concepts are given the same basic formatting and properties and are organized by their relationships to each other.

Relationships are those of a parent, sibling, child hierarchy. Concepts share a template, where the first line is for parents, lines prefixed ⮞ ➔ are for siblings, and the query block is for children.

On creation, a concept declares its parents. Dataview ○› queries retrieve these connections and arrange them, building the structure of the map.

One way to think of it is to imagine that Concept is the title of a document and the child concepts are section headers in that document. The parent concepts would be documents where Concept is a section header.

For cleanliness and ease of navigation, the front page is only a tapered view of Concept’s relationships. The relationships page exposes all connections, where,

the top section is for things above, before, or enveloping the concept (parents),
the bottom section is for things below, after, or enveloped by the concept (children),
and the middle section is for all other relationships, including siblings, indeterminate relationships, circular parent/child relationships, and anything else.

The high-level behavior of the map is that it microscopes from general to specific.

Enter the map at any point that interests you and try clicking around using your intuitive sense of top, middle, and bottom.
If you don’t see what you expected from a certain vantage point, try opening the relationships page with ⤷ ・・・for the full view. The record of these less-visible connections is found at Record of nonfilers.
If you get lost, the up arrow |⇡| is chained so as to always flow back to the disciplines page. Keep clicking it until you reach breatheable air.
The boxes on the righthand side of the first line provide a basis for intensifying special relationships. Mostly, these are sets to which the concept at hand has been added as a member.
The echo ᯤ is at the bottom of every entry, leading back to the concept.

Pockets

Each concept gets three pockets: relationships, topics, and entries. These are accessible through the three continuation markers ・・・ at the bottom of a concept’s header.

Relationships are links to other concepts. This is how navigation is done, forming the structure of the map.

Entries are the body content of a concept. An entry can be anything worth remarking about the concept in question. They get an ordinal grade or a three-letter category code and are displayed directly through the window of an embedded link; primary entries are also displayed on the front page and are usually definitions or official links. See Types of entries for some of the common patterns.

Topics are entries with a title.

An entry which lacks both a code and a title is accessible from nowhere, unless linked to from another entry.

Entries can be sent to multiple concepts, allowing them to share content.

Symbols

The map uses unique symbols for disambiguation and contextualization. The circle after the concept name serves as an anchor for various classifying marks. For example,

The pointing triangle ○◂ is for mathematical objects, like Force (F) ○◂. The arrow ○￩ is for formulations of mathematical objects, like Force (F=m⋅a) ○￩.
The accent mark ○˒ is for proper nouns, with a few variations for different kinds: ○𝄒 for tangible things, ○❜ for people, ○´ for machinery, ○› for code/software (something a person could download).
The mock-S ○꠹ is for classes of things.
⚬𓂃 is for written works.
Words of programming languages get a signature unique to the language, like abs() ⚬ᵖʸ/abs() ⚬ᵐˡ.
And other things.

Glitter

The trailing symbols provide additional characterization of child relationships.

Basic:

… marks child concepts which extend the concept at hand.¹

Set handling:

✧ marks set members.
❂ marks subsets.
↷ marks “under-sets”, a special kind of subset which belongs to a sub-discipline.

Special:

➺ is used for redirects.
↪↩ marks circular parent/child relationships.
⮜ marks a variant formulation of the mathematical object at hand.
⊗ marks a class-to-set transition, like moving from X-Ray Binary (XRB) ○꠹ (a discussion about X-ray binaries in the general sense) to ❪◑❫ X-Ray Binaries ○ (a listing of named members).
🌀 conveys the idea of mathematical containment: For a formulation of a mathematical object, this marks the other objects used in the formulation.

Sibling Symbols

Sibling relationship can also be characterized with a trailing symbol, if needed.

🗘 is for opposites.
⇄ is for parallels.
￫￩ is for aliases.
🙵 is for inseparably close or entwined relationships.
△ is for parents borrowing the space reserved for siblings.
✘ means is not, used for disambiguation of things with deceptively similar names.
⇶ is for word-and-thing pairs, like xspec ⚬ʰᵉᵃ (the command) and XSPEC ○› (the software).
❕ marries a field of study to its focus, like the relationship between Probability Theory 𓆩⚪𓆪 and Probability ⚪.

Knowledge Sets

Enumerable sets are prefixed with a set symbol.

❪✺❫ is for shells, universal receivers of concepts for a discipline. Instances take the name concepts again.
- ❪✺₁❫ is for classes, sub-shells for concepts which represent a class of things.
  - ❪✺₁ₐ❫ is for types, special classes.
- ❪✺₂❫ is for domains, sub-shells for concepts which are their own bodies of knowledge.
  - ❪✺₂ₐ❫ is for methods, bodies of knowledge which are techniques, strategies, etc.
- ❪✺₃❫ is for particulars, sub-shells for proper nouns.
  - ❪✺₃ₐ❫ is for hubs: networks, websites, databases, etc.
  - ❪✺₃ₑ❫ is for organizations: societies, institutes, etc.
  - ❪✺₃ₕ❫ is for standards: protocols, technical standards; norms and rules of consensus or decree.
- ❪✺₄❫ is for sets, sub-shells for concepts which are themselves sets.
- ❪✺_❫ is for subs, sub-shells for concepts which were absorbed by another concept, emoving the need to list it in one of the real shells. This is mainly a bookkeeping device; the subs shell keeps absorbed concepts from getting lost.
  - ❪✺_ₛₛ❫ is for subsets, a hook for sets which are covered by a larger set or another concept. This is any set which is not visible from ❪✺₄❫, minus a few.
    - ❪✺_ₜₛ❫ is for typesets, a hook for sets which fork one of the predefined sets.
❪∂❫ is for math, home to everything mathy:
- ❪∂₁❫ functions,
  - ❪∂₁ₐ❫ operations, like arithmetic operations.
- ❪∂₂❫ recipes: algorithms and so on.
- ❪∂₃❫ rules: laws, theorems, principles, formulas, identities, and so on.
- ❪𝛿❫ quantities,
- ❪𝛿₁❫ numbers,
  - ❪𝛿₁ₐ❫ constants,
- ❪𝛿₂❫ units,
- ❪𝛿 ͚ ❫ infinities, quantity-like entities conveying boundlessness.
- ❪∈❫ structures, objects with internal dimension.
- ❪∈₁❫ sequences,
  - ❪∈₁ₐ❫ series: infinite sequences.
- ❪∈₂❫ sets,
  - ❪∈₂ₐ❫ spaces.
- ❪∂_❫ subs for mathematical objects.
  - ❪∂₌❫ formulations: variant formulations of a listed object.
❪𖣐❫ is for tech, home to all the technical specifics of a field. Partions into:
- ❪𖣐₁❫ data,
  - ❪𖣐₁ₐ❫ file extensions,
  - ❪𖣐₁ₑ❫ file formats,
- ❪𖣐₂❫ instrumentation,
- ❪𖣐₃❫ software,
  - ❪𖣐₃ₐ❫ applications,
  - ❪𖣐₃ₑ❫ libraries,
  - ❪𖣐₃ₕ❫ plugins,
  - ❪𖣐₃ⱼ❫ utilities.
❪֎❫ is for lexica, the vocabulary of computer languages.
- ❪֎₁❫ commands: terminal commands and so on.
  - ❪֎₁ₐ❫ command-line tools: downloadable terminal utilities.
- ❪֎₂❫ diagnostics: errors, exceptions and so on.
- ❪֎₃❫ functions: the familiar idea of a function; any callable entity.
- ❪֎₄❫ instructions: machine code.
- ❪֎₅❫ modules: file-level items.
- ❪֎₆❫ tokens: strings recognized by the language interpreter/compiler.
  - ❪֎₆ₐ❫ keywords.
- ❪֎₇❫ types: data types, fundamental classes.
- ❪֎₈❫ values,
  - ❪֎₈ₐ❫ constants.
- ❪֎ₐ❫ word groupings: features not easily grappled by any of the above, often language-specific.
- ❪֎_❫ subs for lexica.
  - ❪֎_ₛₛ❫ subsets for lexica.
❪文❫ is for vocabulary, words of human language.
❪📖❫ is for texts, authoritative reference or learning material, consisting of established knowledge.
- ❪📖₁❫ is for documentation.
- ❪📄❫ is for papers, mostly novel research.
❪⎇❫ is for branches, pathways between disciplines.
❪✽❫ is for people, us.
❪𓇼❫ is for companies, for-profit organizations.
❪○❫ is for collections, nothing sets used as wrappers around certain others.

Also, there are a few ways to mutate an existing symbol:

A subscript zero creates a portal, used to direct traffic to the undersets.
A subscript x creates an expanded or external version of the set, used mainly with lexica for distinguishing core features of the language from downloadable packages and the like.
A period creates a grouping set. A subscript i creates an evolved version which groups around an existing concept and chains sideways, allowing that concept to behave like an imitation domain or inner sphere of knowledge.
An apostrophe forks the set, creating a new set with a unique name and the heritage of the symbol. This has the effect of inventing a new branch in the taxonomy, contrasting the groupers which keep their place on the tree.
(A hyphen creates a floating set, used to relieve certain systemic pressures, hidden from front-page view.)
(A semicolon draws from a “made-to-be-mutated” set.)

Finally, there are generic sets which get the moon cookie ❪◑❫.

Directory Structure

Trunks

Categorized and filed concepts are split into four trunks:

Branching for most concepts, which organizes by academic discipline.
Fanning for smaller or more fragmentary concepts, like lexical elements, written works, and vocabulary items. Each grouping gets a unique structure best suited to contain it.
Floating for relaxed filing of some difficult-to-place concepts. Bypasses the resolving zones.
Standing for certain concepts which are easily placed, like the predefined sets. As implied by the name, these rarely move, and are minimally organized. Also bypasses the resolving zones.

Resolving Zones

Connections are kept orderly by filing concepts into one of three zones, reflected in the directory structure. A zone represents a filing pattern deducible from the content of the first line on a concept’s page.

(A): Set Members. These concepts go up to an invented set, meaning, a set not listed above. They get the set hook, minus a few rare exceptions.
(B): Shelled. These concepts go up to a predefined set. The predefined sets which are decisively informative take a set hook, while those which are ambiguous are left bare. See Record of overlap > Nonhooking Sets.
(C): Covered. These concepts go up to another concept which is not a set. They get the subs hook.

Each concept passes through these gates before coming to rest in a folder with the name of the top-left parent concept.

There are also a few special gates for special cases:

Multi-filers pass through the (&) gate.
Truncates pass through the (@) gate.
Formulations pass through the (=) gate.
A concept which has been tagged passes through the (+) gate.

(@), (&), or (+) in the path signal an instance of joint filing whereby the concept is normally accessible from more than one location. This is tracked at Record of overlap.

Loose Comments

Types of entries

Sticking to known patterns when titling and categorizing entries keeps things orderly. The known stable, clean patterns are listed at Types of entries.

Bullets

Bullets are partial concepts. They offer a hands-free way to add anything at all without need to worry about affecting the existing structure. This takes the pressure off of new adds, as you can imagine it can be time-consuming placing things correctly.

They live off of ❪✺-❫ Floating Concepts ○ and each sphere of knowledge gets pre-primed with a floating set so as to be able to accept them.

Penny Entries

In the same spirit, Penny Entries is a hidden pocket for entries of uncertain worth: not quite good enough to publish, not quite bad enough to withhold. It also offers a staging ground for some ideas which haven’t proven themselves.

Records

The directory structure itself records and checks the main connections, but it can’t capture everything. Other patterns are maintained by a bulleted list checked against a query, available at Records.

Record of nonfilers, Record of siblings, Record of overlap, and Record of special relationships hold the most consequential patterns which give insight into the structure of the map. Record of overlap especially provides a technical explanation of filing patterns and some useful tips for parsing the nuance behind the way things are presented.

…continued…

They “go up” to it. ↩

⏾ Concept Map