Relational Semigroups and Object-Free Categories

01/31/2020
by   James Cranch, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/04/2023

Optics for Premonoidal Categories

We further the theory of optics or "circuits-with-holes" to encompass pr...
12/27/2017

Rewriting in Free Hypegraph Categories

We study rewriting for equational theories in the context of symmetric m...
12/27/2017

Rewriting in Free Hypergraph Categories

We study rewriting for equational theories in the context of symmetric m...
02/17/2022

Bilimits in categories of partial maps

The closure of chains of embedding-projection pairs (ep-pairs) under bil...
01/30/2023

Evidential Decision Theory via Partial Markov Categories

We introduce partial Markov categories. In the same way that Markov cate...
09/04/2019

Bisimulation maps in presheaf categories

The category of presheaves on a (small) category is a suitable semantic ...
01/02/2023

Popularity Ranking of Database Management Systems

Databases are considered to be integral part of modern information syste...

Please sign up or login with your details

Forgot password? Click here to reset