Displaying similar documents to “Categorical length, relative L-S category and higher Hopf invariants”

Squared Hopf algebras and reconstruction theorems

Volodymyr Lyubashenko (1997)

Banach Center Publications

Similarity:

Given an abelian 𝑉-linear rigid monoidal category 𝑉, where 𝑉 is a perfect field, we define squared coalgebras as objects of cocompleted 𝑉 ⨂ 𝑉 (Deligne's tensor product of categories) equipped with the appropriate notion of comultiplication. Based on this, (squared) bialgebras and Hopf algebras are defined without use of braiding. If 𝑉 is the category of 𝑉-vector spaces, squared (co)algebras coincide with conventional ones. If 𝑉 is braided, a braided Hopf algebra can be obtained...

Representations, duals and quantum doubles of monoidal categories

Majid, Shahn

Similarity:

[For the entire collection see Zbl 0742.00067.]The Tanaka-Krein type equivalence between Hopf algebras and functored monoidal categories provides the heuristic strategy of this paper. The author introduces the notion of a double cross product of monoidal categories as a generalization of double cross product of Hopf algebras, and explains some of the motivation from physics (the representation theory for double quantum groups).The Hopf algebra constructions are formulated in terms of...

Extensions of covariantly finite subcategories revisited

Jing He (2019)

Czechoslovak Mathematical Journal

Similarity:

Extriangulated categories were introduced by Nakaoka and Palu by extracting the similarities between exact categories and triangulated categories. A notion of homotopy cartesian square in an extriangulated category is defined in this article. We prove that in an extriangulated category with enough projective objects, the extension subcategory of two covariantly finite subcategories is covariantly finite. As an application, we give a simultaneous generalization of a result of X. W. Chen...

Reedy categories which encode the notion of category actions

Julia E. Bergner, Philip Hackney (2015)

Fundamenta Mathematicae

Similarity:

We study a certain type of action of categories on categories and on operads. Using the structure of the categories Δ and Ω governing category and operad structures, respectively, we define categories which instead encode the structure of a category acting on a category, or a category acting on an operad. We prove that the former has the structure of an elegant Reedy category, whereas the latter has the structure of a generalized Reedy category. In particular, this approach gives a new...

A coalgebraic view on reachability

Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Coalgebras for an endofunctor provide a category theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the reachable part of a given pointed coalgebra that is inspired by and resembles the standard breadth-first search procedure to compute the reachable part of a graph. We also study coalgebras in Kleisli categories: for a functor extending a functor on the base category, we show that the reachable part of a given...

Categorical Pullbacks

Marco Riccardi (2015)

Formalized Mathematics

Similarity:

The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [7] within a free-object category [1] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property and the Pullback Lemma is formalized [15]. In the last part of the article we formalize the pullback of functors...