A简洁的
发表于 2025-3-28 16:44:19
Textbook 1978Latest editionmber of revisions and additions, including two new chapters on topics of active interest. One is onsymmetric monoidal categories and braided monoidal categories and the coherence theorems for them. The second describes 2-categories and the higher dimensional categories which have recently come into
减至最低
发表于 2025-3-28 18:46:47
0072-5285monoidal categories and the coherence theorems for them. The second describes 2-categories and the higher dimensional categories which have recently come into 978-1-4419-3123-8978-1-4757-4721-8Series ISSN 0072-5285 Series E-ISSN 2197-5612
COLON
发表于 2025-3-29 02:54:04
Introduction, of arrows. Each arrow . : . → . represents a function; that is, a set ., a set ., and a rule . ↦ . which assigns to each element . ∈ . an element . ∈ .; whenever possible we write . and not .(.), omitting unnecessary parentheses.
interference
发表于 2025-3-29 04:04:28
http://reply.papertrans.cn/23/2226/222541/222541_44.png
苍白
发表于 2025-3-29 08:17:57
http://reply.papertrans.cn/23/2226/222541/222541_45.png
BURSA
发表于 2025-3-29 12:44:26
Monads and Algebras,the category .. of all algebras of the given type, the forgetful functor .: ..→., and its left adjoint ., which assigns to each set . the free algebra . of type τ generated by elements of .. . trace of this adjunction 〈.,.,.〉: . ⇀.. resides in the category .; indeed, the composite . = . is a functor
ostrish
发表于 2025-3-29 17:34:16
Monoids,d by the usual diagrams relative to the cartesian product × in ., while a ring is a monoid in ., relative to the tensor product ⊗ there. Thus we shall begin with categories . equipped with a suitable bifunctor such as × or ⊗, more generally denoted by □. These categories will themselves be called “m
Nomogram
发表于 2025-3-29 22:02:51
Abelian Categories,e abelian groups and composition is bilinear), all finite limits and colimits exist, and these limits — especially kernel and cokernel — are well behaved. This leads to a set of axioms describing an “abelian” category. The axioms suffice to prove all the facts about commuting diagrams and connecting
运气
发表于 2025-3-30 02:06:03
Kan Extensions,defining such an extension. However, if . is a subcategory of ., each functor . : .→. has in principle . canonical (or extreme) “extensions” from . to functors . : .→.. These extensions are characterized by the universality of appropriate natural transformations; they need not always exist, but when
是他笨
发表于 2025-3-30 05:26:49
http://reply.papertrans.cn/23/2226/222541/222541_50.png