M.A. Batanin, Computads for finitary monads on globular sets, Higher category theory (Evanston, IL,  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Representable Multicategories - Hermida (1999) (13 citations) (Correct)
....multicategories and strict monoidal categories, cf. Corollary 8.13 and its subsequent elaboration. However, it is important to emphasise that a different (and certainly shorter) proof of monadicity of this 2 adjunction can be obtained directly from results already available in the literature [Str76, Bat98b, Bat98a, Wol74]. The fact that n categories are monadic over computads [Str76, Bat98a] is closely related to the monadicity result above, since a multicategory is a restricted kind of computad. 8 Representable multicategories 8.1 Elementary definition of representability in multicategories Let us recall ....
....elaboration. However, it is important to emphasise that a different (and certainly shorter) proof of monadicity of this 2 adjunction can be obtained directly from results already available in the literature [Str76, Bat98b, Bat98a, Wol74] The fact that n categories are monadic over computads [Str76, Bat98a] is closely related to the monadicity result above, since a multicategory is a restricted kind of computad. 8 Representable multicategories 8.1 Elementary definition of representability in multicategories Let us recall that, given a commutative ring R and bimodules M , N and P , a bilinear map ....
M. Batanin. Computads for finitary monads on globular sets. Contemporary Mathematics, 230:37--58, 1998. A.M.S. publication.
Project Description: - Higher Categorical Structures (Correct)
No context found.
M.A. Batanin, Computads for finitary monads on globular sets, Higher category theory (Evanston, IL,
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC