For the traditional female communal dormitories of the Bontoc people of the Philippines, see Dap-ay. The theory of ologs is an attempt to provide a rigorous mathematical framework for knowledge representation, construction of scientific models and data storage using category theory, linguistic and graphical tools. Ologs were introduced in 2012 by David Spivak and Robert Kent.[1] Etymology[edit] Th