AI Chat

Relational Semigroups and Object-Free Categories

01/31/2020

∙

by James Cranch, et al.

∙

∙

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.

James Cranch
2 publications
Simon Doherty
8 publications
Georg Struth
12 publications

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...

0 James Hefford, et al. ∙

∙ 12/27/2017

Rewriting in Free Hypegraph Categories

We study rewriting for equational theories in the context of symmetric m...

0 Fabio Zanasi, et al. ∙

∙ 12/27/2017

Rewriting in Free Hypergraph Categories

We study rewriting for equational theories in the context of symmetric m...

0 Fabio Zanasi, et al. ∙

∙ 02/17/2022

Bilimits in categories of partial maps

The closure of chains of embedding-projection pairs (ep-pairs) under bil...

0 Jonathan Sterling, et al. ∙

∙ 01/30/2023

Evidential Decision Theory via Partial Markov Categories

We introduce partial Markov categories. In the same way that Markov cate...

0 Elena Di Lavore, et al. ∙

∙ 09/04/2019

Bisimulation maps in presheaf categories

The category of presheaves on a (small) category is a suitable semantic ...

0 Harsh Beohar, et al. ∙

∙ 01/02/2023

Popularity Ranking of Database Management Systems

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

0 Aleem Akhtar, et al. ∙