The internal language of a monoidal category yields simple proofs of results about a natural numbers object therein.
Injective objects in categories of monoid representations
โ Scribed by L. A. Skornyakov
- Publisher
- SP MAIK Nauka/Interperiodica
- Year
- 1984
- Tongue
- English
- Weight
- 522 KB
- Volume
- 36
- Category
- Article
- ISSN
- 0001-4346
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Regular projective quantales are characterized as the weakly \* -stable completely distributive lattices. For the class E of all onto quantale homomorphisms whose right adjoints preserve multiplication \* , it is proved that E-projective quantales are exactly weakly \* -stable completely distributiv
In this paper we continue our study of complex representations of finite monoids. We begin by showing that the complex algebra of a finite regular monoid is a quasi-hereditary algebra and we identify the standard and costandard modules. We define the concept of a monoid quiver and compute it in term
We describe an object-oriented approach to the representation of linguistic knowledge. Rather than devising a dedicated grammar formalism, we explore the use of powerful but domain-independent object-oriented languages. We use default inheritance to organize regular and exceptional behavior of lingu
We use relations between Galois algebras and monoidal functors to describe monoidal functors between categories of representations of finite groups. We pay special attention to two kinds of these monoidal functors: monoidal functors to vector spaces and monoidal equivalences between categories of re