Products in a Category with Only One Object
نویسندگان
چکیده
We consider certain decision problems for the free model of theory Cartesian monoids. introduce a computation based on notion single stack one-way PDA due to Ginsburg, Greibach and Harrison. This allows us solve such as (1) Given finite set B elements an element F, is F product members B? (2) Is submonoid generated by infinite? fragments monoid. These include right invertible so our results apply Thompson-Higman groups.
منابع مشابه
Object Oriented ; Database : Choose One Only
Object-Oriented (OO) systems are inherently data structure dependent. Database (DB) systems are intended to be data structure independent. So to attempt to specify an OODB is vain. A simplified version of the Relational model provides data structure independence, and avoids the most telling criticism of that model: the lack of orthogonality of its structures.
متن کاملSchützenberger Products in a Category
The Schützenberger product of monoids is a key tool for the algebraic treatment of language concatenation. In this paper we generalize the Schützenberger product to the level of monoids in an algebraic category D , leading to a uniform view of the corresponding constructions for monoids (Schützenberger), ordered monoids (Pin), idempotent semirings (Klíma and Polák) and algebras over a field (Re...
متن کاملA One Category Ontology
An ontology is defined by its fundamental categories. Following Peter van Inwagen (2011), take divisions between fundamental categories to mark “real divisions between things” that determine the basic categorical structure of the world. Speaking metaphorically, the fundamental categorical structure of the world carves the world at its fundamental joints. The project of determining the fundament...
متن کاملVisual object category recognition
We investigate two generative probabilistic models for category-level object recognition. Both schemes are designed to learn categories with a minimum of supervision, requiring only a set of images known to contain the target category from a similar viewpoint. In both methods, learning is translation and scale-invariant; does not require alignment or correspondence between the training images, ...
متن کاملCategory Independent Object Proposals
We propose a category-independent method to produce a bag of regions and rank them, such that top-ranked regions are likely to be good segmentations of different objects. Our key objectives are completeness and diversity: every object should have at least one good proposed region, and a diverse set should be top-ranked. Our approach is to generate a set of segmentations by performing graph cuts...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2021
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.333.24