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

research
05/04/2023

Optics for Premonoidal Categories

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

Rewriting in Free Hypegraph Categories

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

Rewriting in Free Hypergraph Categories

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

Bilimits in categories of partial maps

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

Evidential Decision Theory via Partial Markov Categories

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

Bisimulation maps in presheaf categories

The category of presheaves on a (small) category is a suitable semantic ...
research
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