Affordable Access

Publisher Website

Paracategories I: internal paracategories and saturated partial algebras

Authors
Journal
Theoretical Computer Science
0304-3975
Publisher
Elsevier
Publication Date
Volume
309
Identifiers
DOI: 10.1016/s0304-3975(03)00135-x
Keywords
  • Partialt-Algebras
  • Monoid Classifier
  • Paracetegories
  • Saturation
Disciplines
  • Mathematics

Abstract

Abstract Based on the monoid classifier Δ, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and coequalisers satisfying some exactness conditions, we give an abstract envelope construction, putting paramonoids (and paracategories) in the more general context of partial algebras. We introduce for the latter the crucial notion of saturation, which characterises those partial algebras which are isomorphic to the ones obtained from their enveloping algebras. We also set up a factorisation system for partial algebras, via epimorphisms and (monic) Kleene morphisms and relate the latter to saturation.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

Storage of CO2in a partially water saturated porou...

on International Journal of Green...

Theoretical assignment of the observed hyperfine s...

on Journal of Molecular Spectrosc... Jan 01, 1975

The intensity coherence function of time for parti...

on The Journal of the Acoustical... February 2001
More articles like this..