• Corpus ID: 119290467

Toward formalizing ologs: Linguistic structures, instantiations, and mappings

  title={Toward formalizing ologs: Linguistic structures, instantiations, and mappings},
  author={Marco A. P'erez and David I. Spivak},
  journal={arXiv: Category Theory},
We define the notion of linguistic structure on a small category, in order to provide a more formal description of ontology logs, also known as ologs, introduced by R. E. Kent and D. I. Spivak in their paper "Ologs: A categorical framework for knowledge representation." In particular, we construct a bicategory $\mathsf{Eng}$, of English noun phrases and verb phrases, endorsed as functional by varying sets of authors. An olog is then defined as a lax functor to $\mathsf{Eng}$. We then present a… 

Figures from this paper

Review and Constructive Definitions for Mathematically Engineered Systems as Categorical Interpretation
An analysis was performed to compare the expressibility under category theory for algebraic aspects to systems engineering, showing “parallel” deductive abstractions and interpreted “categorical” primitives as deductive results.


Functorial data migration
Sketches of an Elephant: A Topos Theory Compendium Volume 1
Abstract and concrete categories
Universality-Diversity Paradigm: Music, Materiomics, and Category Theory
The transition from the material structure to function, or from nanoscale components to the macroscale system, is a challenging proposition. Recognizing how Nature accomplishes such a feat—through
A New Foundation for Representation in Cognitive and Brain Science: Category Theory and the Hippocampus
The vital issue is to establish a new framework for quantitative analysis of networks using the theory of categories, in which computational neuroscientists and network theorists may tackle in more efficient ways the dynamics of brain cognitive networks.
Types and Tokens: On Abstract Objects
This book argues that types exist (as abstract objects, since they lack a unique spatiotemporal location).
Categorical Logic and Type Theory
  • B. Jacobs
  • Philosophy
    Studies in logic and the foundations of mathematics
  • 2001
Category Theory for the Sciences
Category Theory for the Sciences is intended to create a bridge between the vast array of mathematical concepts used by mathematicians and the models and frameworks of such scientific disciplines as computation, neuroscience, and physics.
Sketches of an Elephant
Category Theory Based Solution for the Building Block Replacement Problem in Materials Design
An important objective in materials design is to develop a systematic methodology for replacing unavailable or expensive material building blocks by simpler and abundant ones, while maintaining or