Results 71 to 80 of about 93,496 (268)
Journal of AlgebraIn this paper we introduce and investigate the notion of semiseparable functor. One of its first features is that it allows a novel description of separable and naturally full functors in terms of faithful and full functors, respectively. To any semiseparable functor we attach an invariant, given by an idempotent natural transformation, which controls ...
Ardizzoni A., Bottegoni L.
openaire +4 more sources
Proper Functors and Fixed Points for Finite Behaviour [PDF]
Logical Methods in Computer Science, 2018 The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e.
Stefan Milius
doaj +1 more source
Communications in Algebra, 2003 We prove that the description of cubic functors is a wild problem in the sense of the representation theory. On the contrary, we describe several special classes of such functors (2-divisible, weakly alternative, vector spaces and torsion free ones). We also prove that cubic functors can be defined locally and obtain corollaries about their projective ...
openaire +3 more sources
Homotopy theory of Moore flows (II)
Extracta Mathematicae, 2021 This paper proves that the q-model structures of Moore flows and of multipointed d-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant objects (all objects ...
Philippe Gaucher
doaj
Positive fragments of coalgebraic logics [PDF]
Logical Methods in Computer Science, 2015 Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are ...
Adriana Balan +2 more
doaj +1 more source
On the injective dimension of unit Cartier and unit Frobenius modules
Bulletin of the London Mathematical Society, EarlyView.Abstract Let R$R$ be a regular F$F$‐finite ring of prime characteristic p$p$. We prove that the injective dimension of every unit Frobenius module M$M$ in the category of unit Frobenius modules is at most dim(SuppR(M))+1$\dim (\operatorname{Supp}_R(M))+1$.
Manuel Blickle +3 more
wiley +1 more source
Étale motives of geometric origin
Bulletin of the London Mathematical Society, EarlyView.Abstract Over qcqs finite‐dimensional schemes, we prove that étale motives of geometric origin can be characterised by a constructibility property which is purely categorical, giving a full answer to the question ‘Do all constructible étale motives come from geometry?’ which dates back to Cisinski and Déglise's work.
Raphaël Ruimy, Swann Tubach
wiley +1 more source
Renormalization as a functor on bialgebras
Journal of Pure and Applied Algebra, 2007 The Hopf algebra of renormalization in quantum field theory is described at a general level. The products of fields at a point are assumed to form a bialgebra B and renormalization endows T(T(B)^+), the double tensor algebra of B, with the structure of a noncommutative bialgebra. When the bialgebra B is commutative, renormalization turns S(S(B)^+), the
Brouder, Christian, Schmitt, William
openaire +4 more sources
Information Operators in Categorical Information Spaces
Information, 2010 The general theory of information (GTI) is a synthetic approach, which reveals the essence of information, organizing and encompassing all main directions in information theory.
Mark Burgin
doaj +1 more source
Wild blocks of type A$A$ Hecke algebras are strictly wild
Bulletin of the London Mathematical Society, EarlyView.Abstract We prove that all wild blocks of type A$A$ Hecke algebras with quantum characteristic e⩾3$e \geqslant 3$ — that is, blocks of weight at least 2 — are strictly wild, with the possible exception of the weight 2 Rouquier block for e=3$e = 3$.
Liron Speyer
wiley +1 more source