# Toward formalizing ologs: Linguistic structures, instantiations, and mappings

@article{Perez2015TowardFO, title={Toward formalizing ologs: Linguistic structures, instantiations, and mappings}, author={Marco A. P'erez and David I. Spivak}, journal={arXiv: Category Theory}, year={2015} }

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…

## 2 Citations

Review and Constructive Definitions for Mathematically Engineered Systems as Categorical Interpretation

- MathematicsSystems Engineering in Context
- 2019

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.

## References

SHOWING 1-10 OF 21 REFERENCES

Sketches of an Elephant: A Topos Theory Compendium Volume 1

- Philosophy, Mathematics
- 2002

Universality-Diversity Paradigm: Music, Materiomics, and Category Theory

- Art
- 2012

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

- Computer Science
- 2013

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

- Philosophy
- 2009

This book argues that types exist (as abstract objects, since they lack a unique spatiotemporal location).

Categorical Logic and Type Theory

- PhilosophyStudies in logic and the foundations of mathematics
- 2001

Category Theory for the Sciences

- Mathematics
- 2014

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.

Category Theory Based Solution for the Building Block Replacement Problem in Materials Design

- Mathematics
- 2012

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…