Zobrazeno 1 - 10
of 280
pro vyhledávání: '"18C20"'
Autor:
Shen, Lili, Tang, Xiaoye
Let $\mathsf{Q}$ be a commutative and unital quantale. By a $\mathsf{Q}$-map we mean a left adjoint in the quantaloid of sets and $\mathsf{Q}$-relations, and by a partial $\mathsf{Q}$-map we refer to a Kleisli morphism with respect to the maybe monad
Externí odkaz:
http://arxiv.org/abs/2408.00393
Autor:
Chirvasitu, Alexandru
We characterize the families of bialgebras or Hopf algebras over fields for which the product in the corresponding category is finite-dimensional, answering a question of M. Lorenz: if the ground field is infinite then bialgebra or Hopf products are
Externí odkaz:
http://arxiv.org/abs/2407.20154
Autor:
Ahuja, Divya, Kour, Surjeet
Let $\mathcal C$ be a Grothendieck category and $U$ be a monad on $\mathcal C$ that is exact and preserves colimits. In this article, we prove that every hereditary torsion theory on the Eilenberg-Moore category of modules over a monad $U$ is differe
Externí odkaz:
http://arxiv.org/abs/2407.16782
Autor:
Shapiro, Brandon T., Spivak, David I.
We show that the construction due to Leinster and Weber of a generalized Lawvere theory for a familially representable monad on a (co)presheaf category, and the associated ``nerve'' functor from monad algebras to (co)presheaves, have an elegant categ
Externí odkaz:
http://arxiv.org/abs/2405.13157
Autor:
Arkor, Nathanael, McDermott, Dylan
A fundamental result in the theory of monads is the characterisation of the category of algebras for a monad in terms of a pullback of the category of presheaves on the category of free algebras: intuitively, this expresses that every algebra is a co
Externí odkaz:
http://arxiv.org/abs/2404.01281
Autor:
Zangurashvili, Dali
Effective codescent morphisms of $n$-quasigroups and of $n$-loops are characterized. To this end, it is proved that, for any $n\geq 1$, every codescent morphism of $n$-quasigroups (resp. $n$-loops) is effective. This statement generalizes our earlier
Externí odkaz:
http://arxiv.org/abs/2403.19187
We delve into the concept of categories with products that distribute over coproducts, which we call doubly-infinitary distributive categories. We show various instances of doubly-infinitary distributive categories aiming for a comparative analysis w
Externí odkaz:
http://arxiv.org/abs/2403.10447
Autor:
Zhang, Dexue
Real-enriched categories are categories with real numbers as enrichment. Precisely, a real-enriched category is a category enriched over the commutative and unital quantale composed of the unit interval and a continuous t-norm. These notes present a
Externí odkaz:
http://arxiv.org/abs/2403.09716
Given a monoidal adjunction, we show that the right adjoint induces a braided lax monoidal functor between the corresponding Drinfeld centers provided that certain natural transformations, called projection formula morphisms, are invertible. We inves
Externí odkaz:
http://arxiv.org/abs/2402.10094
Autor:
Hou, Huijun, Li, Qingguo
A commutativity result for the Hoare power construction and a modified version of the Smyth power construction on all US-admitting dcpos has been confirmed in [11], where the property of being US-admitting determined by the strongly compact subsets i
Externí odkaz:
http://arxiv.org/abs/2311.14261