activity
20152019
most citedToward formalizing ologs: Linguistic structures, instantiations, and mappings

1 citations · 1 across the 1 of their papers we have counts for

collaborators

5 papers

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.RT2019

-Cotorsion pairs

Mindy Huerta, Octavio Mendoza, Marco A. Pérez

Motivated by some properties satisfied by Gorenstein projective and Gorenstein injective modules over an Iwanaga-Gorenstein ring, we present the concept of left and right -cotor…

cs.CV2018

First Impressions: A Survey on Vision-Based Apparent Personality Trait Analysis

Julio C. S. Jacques Junior, Yağmur Güçlütürk, Marc Pérez +8

Personality analysis has been widely studied in psychology, neuropsychology, and signal processing fields, among others. From the past few years, it also became an attractive resea…

math.RT2018

On some applications of balanced pairs and their relation with cotorsion triplets

Sergio Estrada, Marco A. Pérez, Haiyan Zhu

Balanced pairs appear naturally in the realm of Relative Homological Algebra associated to the balance of right derived functors of the functor. A natural source to…

math.CT20151 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…