Directory UMM :Journals:Journal_of_mathematics:OTHER:
Teks penuh
Dokumen terkait
Let C be a pointed category with finite limits and finite coproducts.. As for the equivalence with the other two conditions, just observe that from the pre- vious proof it follows
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
there is a fibration (Definition 1.11) from G to its set of connected components (seen as a discrete category) given by the quotient functor generated by the collection of morphisms
By definition, a symmetric categor- ical group is a categorification of an abelian group, and in this sense the 2-category of symmetric categorical groups SCG can be regarded as
As we shall see below, any countable strongly connected category with a terminal object can be fully embedded into Alg(1 × 2) by a functor preserving limits over finitely many
Here we consider a category of M¨obius intervals and construct the Hopf algebra via the objective approach applied to a monoidal extensive category of combinatorial objects, with
For any topos over sets a certain left exact cosimplicial category is constructed functorially and the cat- egory of internal categories in it is investigated.. The notion of
What Koslowski actually proves is that if you begin with a biclosed monoidal category there is a biclosed monoidal bicategory whose objects are the algebra objects in the
