Displaying similar documents to “A unified framework for generalized multicategories.”

Descent for monads.

Hofstra, Pieter, De Marchi, Federico (2006)

Theory and Applications of Categories [electronic only]

Similarity:

Object-Free Definition of Categories

Marco Riccardi (2013)

Formalized Mathematics

Similarity:

Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. In this article is proposed a new definition of an object-free category, introducing the two...

Opmonoidal monads.

McCrudden, Paddy (2002)

Theory and Applications of Categories [electronic only]

Similarity:

Left-Garside categories, self-distributivity, and braids

Patrick Dehornoy (2009)

Annales mathématiques Blaise Pascal

Similarity:

In connection with the emerging theory of Garside categories, we develop the notions of a left-Garside category and of a locally left-Garside monoid. In this framework, the relationship between the self-distributivity law LD and braids amounts to the result that a certain category associated with LD is a left-Garside category, which projects onto the standard Garside category of braids. This approach leads to a realistic program for establishing the Embedding Conjecture of [Dehornoy,...