Jump to content

Talk:Olog

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

"Sentence"

[edit]

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

[edit]

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]