Searched refs:categorify (Results 1 - 1 of 1) sorted by relevance

/ontohub/app/models/ontology/
H A Dcategories.rb17 classes.map! { |c| categorify(c) }
27 CEdge.create!(child_id: categorify(e1).id, parent_id: categorify(e2).id)
34 def categorify(symbol) method in class:Ontology

Completed in 143 milliseconds