Results 1 
5 of
5
Restriction categories III: colimits, partial limits, and extensivity
 Mathematical Structures in Computer Science
, 2007
"... ..."
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.
MACKEY FUNCTORS ON COMPACT CLOSED CATEGORIES ELANGO PANCHADCHARAM and ROSS STREET
"... 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
 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
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
MACKEY FUNCTORS ON COMPACT CLOSED CATEGORIES
, 706
"... Mackey functors are seen as providing a setting in which mere numerical equations occurring in the theory of groups can be given a structural foundation. We obtain an explicit description of the objects of the Cauchy completion of a monoidal functor and apply this to examine Morita equivalence of Gr ..."
Abstract
 Add to MetaCart
Mackey functors are seen as providing a setting in which mere numerical equations occurring in the theory of groups can be given a structural foundation. We obtain an explicit description of the objects of the Cauchy completion of a monoidal functor and apply this to examine Morita equivalence of Green functors. 1.