Talk:Olog

"Sentence"

What the boxes contain is not sentences, because they are missing a predicate. A box-arrow-box relation can be read as a sentence, not a box on its own. Spivak himself accurately describes the content of a box as a singular indefinite noun phrase[1]. --92.214.135.146 (talk) 08:52, 15 December 2018 (UTC)[reply]

Good suggestion. I've made this change. Dotyoyo (talk) 02:50, 20 January 2022 (UTC)[reply]

Article improvements

This topic is valuable as a model for modern database management systems. I've made some edits to make the article more approachable, but I think it could use several more.

Change the title from Olog to something broader and less obscure, such as "Categorical database" or "Categorical informatics". Or have this article be a brief pointer to broader expositions in one or more other articles.
Flesh out this article (or others) with content on the broader topic. For content ideas, see this talk by David Spivak: https://math.mit.edu/~dspivak/informatics/talks/CTDBIntroductoryTalk
Change the primary example from biochemistry to a more familiar domain. (I understand that the amino acid/amine example was used by Spivak, but that doesn't mean it's the best example for pedagogical or reference purposes. Spivak's Employee schema example seems like a reasonable alternative.)
Expand the "Ologs and databases" section to include mention of primary keys, foreign keys, types, queries, and views.
Expand the "Relations between ologs" section by:
- Covering reversible and non-reversible mappings, and adjoint functors (including projection, union, and join);
- Illustrating "communication" between more than two ologs;
- Providing examples of RDF triples. Dotyoyo (talk) 02:47, 20 January 2022 (UTC)[reply]