Results 1 
6 of
6
Restriction categories III: colimits, partial limits, and extensivity
 Mathematical Structures in Computer Science
, 2007
"... ..."
(Show Context)
MACKEY FUNCTORS ON COMPACT CLOSED CATEGORIES
, 2007
"... We develop and extend the theory of Mackey functors as an application of enriched category theory. We define Mackey functors on a lextensive category E and investigate the properties ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
We develop and extend the theory of Mackey functors as an application of enriched category theory. We define Mackey functors on a lextensive category E and investigate the properties
Logical Construction of Final Coalgebras
, 2003
"... We prove that every finitary polynomial endofunctor of a category C has a final coalgebra, provided that C is locally Cartesian closed, it has finite coproducts and is an extensive category, it has a natural number object. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We prove that every finitary polynomial endofunctor of a category C has a final coalgebra, provided that C is locally Cartesian closed, it has finite coproducts and is an extensive category, it has a natural number object.
unknown title
, 2009
"... Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems ..."
Abstract
 Add to MetaCart
Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems
Abstract CMCS’03 Preliminary Version Logical Construction of Final Coalgebras
"... We prove that every finitary polynomial endofunctor of a category C has a final coalgebra, provided that C is locally Cartesian closed, it has finite coproducts and ..."
Abstract
 Add to MetaCart
(Show Context)
We prove that every finitary polynomial endofunctor of a category C has a final coalgebra, provided that C is locally Cartesian closed, it has finite coproducts and
CMCS'03 Preliminary Version Logical Construction of Final Coalgebras
"... Abstract We prove that every finitary polynomial endofunctor of a category C has a final coalgebra, provided that C is locally Cartesian closed, it has finite coproducts and is an extensive category, it has a natural number object. 1 Introduction In this note we prove that every polynomial endofunct ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract We prove that every finitary polynomial endofunctor of a category C has a final coalgebra, provided that C is locally Cartesian closed, it has finite coproducts and is an extensive category, it has a natural number object. 1 Introduction In this note we prove that every polynomial endofunctor