1 citations · 1 across the 1 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2019
Locally type and -coherent categories
Daniel Bravo, James Gillespie, Marco A. Pérez
We study finiteness conditions in Grothendieck categories by introducing the concepts of objects of type and studying their closure properties with respect to short e…
math.CT2015★ 1 cited
Toward formalizing ologs: Linguistic structures, instantiations, and mappings
Marco A. Pérez, David I. Spivak
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…