Products in a Category with Only One Object

01/26/2021
by   Richard Statman, et al.
0

We consider certain decision problems for the free model of the theory of Cartesian monoids. We introduce a model of computation based on the notion of a single stack one-way PDA due to Ginsburg, Greibach and Harrison. This model allows us to solve problems such as (1) Given a finite set B of elements and an element F, is F a product of members of B? (2) Is the submonoid generated by the finite set B infinite? for certain fragments of the free Cartesian monoid. These fragments include the submonoid of right invertible elements and so our results apply to the Thompson-Higman groups.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

01/21/2021

Finite Model Theory of the Triguarded Fragment and Related Logics

The Triguarded Fragment (TGF) is among the most expressive decidable fra...
04/27/2021

Bringing Trimmed Serendipity Methods to Computational Practice in Firedrake

We present an implementation of the trimmed serendipity finite element f...
10/03/2021

The isomorphism problem for plain groups is in Σ_3^𝖯

Testing isomorphism of infinite groups is a classical topic, but from th...
01/11/2019

Alternation diameter of a product object

We prove that every permutation of a Cartesian product of two finite set...
07/08/2019

Polymorphism and the free bicartesian closed category

We study two decidable fragments of System F, the polynomial and the Yon...
09/01/2021

Basic-level categorization of intermediate complexity fragments reveals top-down effects of expertise in visual perception

Visual expertise is usually defined as the superior ability to distingui...
10/19/2020

Isotropy and Combination Problems

In a previous paper, the author and his collaborators studied the phenom...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.