BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Tim Stokes

Tim Stokes appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Logic in Computer Sciencemath.LOmath.CTComputation and Languagemath.RA

Catalog footprint

What is connected

6works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2026arXiv

On DR-semigroups satisfying the ample conditions

A DR-semigroup $S$ (also known as a reduced E-semiabundant or reduced E-Fountain semigroup) is here viewed as a semigroup equipped with two unary operations $D,R$ satisfying finitely many equational laws. Examples include DRC-semigroups (hence Ehresmann semigroups), which also satisfy the congruence conditions. The ample conditions on DR-semigroups are studied here and are defined by the laws $$xD(y)=D(xD(y))x\mbox{ and }R(y)x=xR(R(y)x).$$ Two natural partial orders may be defined on a DR-semigroup and we show that the ample conditions hold if and only if the two orders are equal and the projections (elements of the form $D(x)$) commute with one-another. Restriction semigroups satisfy the generalized ample conditions, but we give other examples using strongly order-preserving functions on a quasiordered set as well as so-called ``double demonic" composition on binary relations. Following the work of Stein, we show how to construct a certain partial algebra $C(S)$ from any DR-semigroup, which is a category if $S$ satisfies the congruence conditions, but is ``almost" a category if the ample conditions hold. We then characterise the ample conditions in terms of a converse of the condition on $S$ ensuring that $C(S)$ is a category. Our main result is an ESN-style theorem for DR-semigroups satisfying the ample conditions, based on the $C(S)$ construction. We also obtain an embedding theorem, generalizing a result for restriction semigroups due to Lawson.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

The algebra of non-deterministic programs: demonic operators, orders and axioms

Demonic composition, demonic refinement and demonic union are alternatives to the usual "angelic" composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and demonic via an analysis of the behaviour of non-deterministic programs, with the angelic associated with partial correctness and demonic with total correctness, both cases emerging from a richer algebraic model of non-deterministic programs incorporating both aspects. Zareckii has shown that the isomorphism class of algebras of binary relations under angelic composition and inclusion is finitely axiomatised as the class of ordered semigroups. The proof can be used to establish that the same axiomatisation applies to binary relations under demonic composition and refinement, and a further modification of the proof can be used to incorporate a zero element representing the empty relation in the angelic case and the full relation in the demonic case. For the signature of angelic composition and union, it is known that no finite axiomatisation exists, and we show the analogous result for demonic composition and demonic union by showing that the same axiomatisation holds for both. We show that the isomorphism class of algebras of binary relations with the "mixed" signature of demonic composition and angelic inclusion has no finite axiomatisation. As a contrast, we show that the isomorphism class of partial algebras of binary relations with the partial operation of constellation product and inclusion (also a "mixed" signature) is finitely axiomatisable.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Constellations and their relationship with categories

Constellations are partial algebras that are one-sided generalisations of categories. It has previously been shown that the category of inductive constellations is isomorphic to the category of left restriction semigroups. Here we consider constellations in full generality, giving many examples. We characterise those small constellations that are isomorphic to constellations of partial functions. We examine in detail the relationship between constellations and categories, showing the latter to be special cases of the former. In particular, we characterise those constellations that arise as (sub-)reducts of categories, and show that categories are nothing but two-sided constellations. We demonstrate that the notion of substructure can be captured within constellations but not within categories. We show that every constellation $P$ gives rise to a category $\mathcal{C}(P)$, its canonical extension, in a simplest possible way, and that $P$ is a quotient of $\mathcal{C}(P)$ in a natural sense. We also show that many of the most common concrete categories may be constructed from simpler quotient constellations using this construction. We characterise the canonical congruences $δ$ on a given category $K$ (those for which $K\cong \mathcal{C}((K/δ)$), and show that the category of constellations is equivalent to the category of categories equipped with distinguished canonical congruence.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Monoids with tests and the algebra of possibly non-halting programs

We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, {\em if-then-else} and {\em while-do} defined in terms of a Boolean algebra of conditions. It has previously been shown that there is no finite axiomatisation of algebras of partial functions under these operations alone, and this holds even if one restricts attention to transformations (representing halting programs) rather than partial functions, and omits {\em while-do} from the signature. In the halting case, there is a natural "fix", which is to allow composition of halting programs with conditions, and then the resulting algebras admit a finite axiomatisation. In the current setting such compositions are not possible, but by extending the notion of {\em if-then-else}, we are able to give finite axiomatisations of the resulting algebras of (partial) functions, with {\em while-do} in the signature if the state space is assumed finite. The axiomatisations are extended to consider the partial predicate of equality. All algebras considered turn out to be enrichments of the notion of a (one-sided) restriction semigroup.

0 citations0 reviewsNo code linkedOpen access