The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Descent in categories of (co)algebras.”

Higher monodromy.

Polesello, Pietro, Waschkies, Ingo (2005)

Homology, Homotopy and Applications

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...

Descent for monads.

Hofstra, Pieter, De Marchi, Federico (2006)

Theory and Applications of Categories [electronic only]

Similarity:

Coproducts in Categories without Uniqueness of cod and dom

Maciej Golinski, Artur Korniłowicz (2013)

Formalized Mathematics

Similarity:

The paper introduces coproducts in categories without uniqueness of cod and dom. It is proven that set-theoretical disjoint union is the coproduct in the category Ens [9].

Descent equivalence

Xiuzhan Guo, Manuela Sobral, Walter Tholen (2004)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity: