Categories of Representations of Coalgebroids
โ Scribed by Paddy McCrudden
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 639 KB
- Volume
- 154
- Category
- Article
- ISSN
- 0001-8708
No coin nor oath required. For personal study only.
โฆ Synopsis
Fundamental results of Tannaka duality include the reconstruction of a coalgebra in the category of vector spaces from its category of representations equipped with the forgetful functor, and the characterization of those categories equipped with a functor into the category of vector spaces which are equivalent to the category of representations of some coalgebra.
This paper generalizes these results by replacing the category of vector spaces by an arbitrary monoidal category and replacing coalgebras by their several-object analogue. Applications include providing sufficient conditions on a small R-linear category to ensure that its category of presheaves is equivalent to the category of representations of some R-coalgebra. In particular we construct an R-coalgebra whose category of representations is equivalent to the category of chain complexes over R.
๐ SIMILAR VOLUMES
Goguen categories constitute a suitable algebraic formalisation for L-fuzzy relations. It is well-known that an L-fuzzy relation may be represented by the set of all its -cuts. The aim of this paper is to show a similar result for Goguen categories. Furthermore, given an algebraic structure of relat
Arbib in a paper entitled 'Categories of (M, R)-Systems' represents both simple (M, R)systems and those with varying genome as subcategories of the category of automata. An alternative characterisation of general (M, R)-systems as automata is proposed and two theorems on (M,R)-automata are proved. T