Stable meet semilattice fibrations and free restriction categories

J.R.B. Cockett and Xiuzhan Guo

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.

Keywords: Restriction categories, fibrations, semigroups

2000 MSC: 18D99

Theory and Applications of Categories, Vol. 16, 2006, No. 15, pp 307-341.

http://www.tac.mta.ca/tac/volumes/16/15/16-15.dvi
http://www.tac.mta.ca/tac/volumes/16/15/16-15.ps
http://www.tac.mta.ca/tac/volumes/16/15/16-15.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/16/15/16-15.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/16/15/16-15.ps

TAC Home