STABLE MEET SEMILATTICE FIBRATIONS AND FREE RESTRICTION CATEGORIES
Cached
Download Links
by
J. R. B. Cockett
,
Xiuzhan Guo
| Citations: | 3 - 1 self |
BibTeX
@MISC{Cockett_stablemeet,
author = {J. R. B. Cockett and Xiuzhan Guo},
title = {STABLE MEET SEMILATTICE FIBRATIONS AND FREE RESTRICTION CATEGORIES},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The construction of a free restriction category can be broken into two steps: the construction of a free stable semilattice fibration followed by the construction of a free restriction category for this fibration. Restriction categories produced from such fibrations are “unitary”, in a sense which generalizes that from the theory of inverse semigroups. Characterization theorems for unitary restriction categories are derived. The paper ends with an explicit description of the free restriction category on a directed graph. 1.
Citations
| 55 | Inverse Semigroups - Petrich - 1984 |
| 51 | Categories of partial maps - Robinson, Roslini - 1988 |
| 29 | Category Theory for Computing - Barr, Wells - 1999 |
| 20 | Free inverse semigroups - Munn - 1974 |
| 17 | Restriction categories I. Categories of partial maps - Cockett, Lack - 2002 |
| 13 | Abundant semigroups - Fountain - 1982 |
| 12 | Dominical categories: recursion theory without elements - Paola, Heller - 1987 |
| 5 | Continuity and Effectiveness - Rosolini - 1986 |
| 3 | Domains and dominical categories, Riv - Rosolini - 1985 |
| 1 | Introduction to range restriction categories - Cockett, Guo |
| 1 | An invitation to C-semigroups - Jackson, Stokes |
| 1 | Guarded and banded semigroups, preprint - Manes - 2004 |
| 1 | Category Theory for Computing Science, the Electronic Supplement - Barr, Wells - 1995 |
| 1 | Inverse Semigroups, World Scientific (1998) [9] E.G. Manes, Guarded and banded semigroups, preprint, 2004. [10] W.D. Munn, Free inverse semigroups - Lawson - 1984 |
