From the 1 of 5 linked papers with an AI index.
5 papers
Clifford semigroups and the monoidal Grothendieck construction
Elena Caviglia, Peter F. Faul, Graham Manuell +1
The paper shows that the known correspondence between Clifford semigroups and functors from a semilattice to groups arises from the monoidal Grothendieck construction, uses this to…
Machine Space I: Weak exponentials and quantification over compact spaces
Peter F. Faul, Graham Manuell
Topology may be interpreted as the study of verifiability, where opens correspond to semi-decidable properties. In this paper we make a distinction between verifiable properties th…
F-Inverse Monoids as Weakly Schreier Extensions
Peter F. Faul
It is known that an inverse monoid is E-unitary if and only if the following diagram is an extension: , where is the semilattice of idempotents and…
The Case for Inverse Semirings
Peter F. Faul, Amartya Goswami, Gideo Joubert +1
A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a…
The Reverse Representation Problem
Peter F. Faul, Zurab Janelideze, Gideo Joubert
Cayley's theorem tells us that all groups occur as subgroups of the group of automorphisms over some set . In this paper we consider a `sort-of' converse to this qu…