Directory UMM :Journals:Journal_of_mathematics:OTHER:
Teks penuh
Dokumen terkait
metric and approach spaces) are obtained in this way, and the category of closure spaces appears as a category of canonical ( P , V)-algebras, where P is the powerset
Exact functors from NNO- topoi preserve free things (at least those constructed from A ∗ ) hence (1 , T ) is the free NNO-topos in the category of sets... There is a “rewrite” rule
The monoidal categories determined by the quantum groups are all generalisations of the idea that the representations of a group form a monoidal category.. The corresponding
Note that the action of E on the members of G is what enables us to make some sense of the notion of fundamental n -category for these globular sets despite the fact that a priori
We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal unit is a simple generator embeds (weakly) monoidally into the category of pre-Hilbert spaces
This paper constructs model structures on the categories of coalgebras and pointed irreducible coalgebras over an operad whose components are projective, finitely generated in
To give a 2-monad on a locally-discrete 2-category is just to give a monad on the corresponding category; and thus all that has gone before can be applied to ordinary monads
Let O be a set and V be a locally presentable cofibrantly generated monoidal simplicial model category with a monoidal fibrant replacement functor.. Then the category of V O
