Displaying 41 – 60 of 206

Showing per page

Des propriétés de finitude des foncteurs polynomiaux

Aurélien Djament (2016)

Fundamenta Mathematicae

We study finiteness properties, especially the noetherian property, the Krull dimension and a variation of finite presentation, in categories of polynomial functors (notion introduced by Djament and Vespa) from a small symmetric monoidal category whose unit is an initial object to an abelian category. We prove in particular that the category of polynomial functors from the category of free abelian groups ℤⁿ with split monomorphisms to abelian groups is "almost" locally noetherian. We also give an...

Descent for monads.

Hofstra, Pieter, De Marchi, Federico (2006)

Theory and Applications of Categories [electronic only]

Feedback, trace and fixed-point semantics

P. Katis, Nicoletta Sabadini, Robert F. C. Walters (2002)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We introduce a notion of category with feedback-with-delay, closely related to the notion of traced monoidal category, and show that the Circ construction of [15] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal et al. [12] we obtain a description of the free compact closed category on a symmetric monoidal category. We thus obtain a categorical analogue of the classical localization of a ring with respect to a multiplicative subset....

Feedback, trace and fixed-point semantics

P. Katis, Nicoletta Sabadini, Robert F.C. Walters (2010)

RAIRO - Theoretical Informatics and Applications

We introduce a notion of category with feedback-with-delay, closely related to the notion of traced monoidal category, and show that the Circ construction of [15] is the free category with feedback on a symmetric monoidal category. Combining with the Int construction of Joyal et al. [12] we obtain a description of the free compact closed category on a symmetric monoidal category. We thus obtain a categorical analogue of the classical localization of a ring with respect to a multiplicative subset....

Currently displaying 41 – 60 of 206