2020/01/31 by James Cranch, Cranch, James, Simon Doherty +3
Computer Science · #semigroups and automata theory #Advanced Algebra and Logic #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2001.11895
This note relates axioms for partial semigroups and monoids with those for small object-free categories, either with multiple monoidal units or with source and target maps. We discuss the adjunction of a zero element to both kinds of category and provide examples that separate the algebras considered.