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. --92.214.135.146 (talk) 08:52, 15 December 2018 (UTC)

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

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)