Results 41 to 50 of about 13,741 (235)
Interpolation in Term Functor Logic
Crítica, 2023 Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic.
J.-Martín Castro-Manzano
doaj +1 more source
Some topological properties of the spaces expX, λX and NX [PDF]
Mathematica Moravica, 2017 In this paper we prove that the exponential functor exp and the functor of superextension λ preserve some topological properties with respect to the topology of any T1 -space, and the functor of complete linked systems N preserves some topological ...
Mukhamadiev F.G.
doaj
Forum of Mathematics, Pi, 2023 We define, for each quasisyntomic ring R (in the sense of Bhatt et al., Publ. Math. IHES 129 (2019), 199–310), a category $\mathrm {DM}^{\mathrm {adm}}(R)$ of admissible prismatic Dieudonné crystals over R and a functor from p-divisible groups ...
Johannes Anschütz +1 more
doaj +1 more source
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
Adjoint relations for the category of local dcpos [PDF]
Categories and General Algebraic Structures with Applications, 2017 In this paper, we consider the forgetful functor from the category {bf LDcpo} of local dcpos (respectively, {bf Dcpo} of dcpos) to the category {bf Pos} of posets (respectively, {bf LDcpo} of local dcpos), and study the existence of its left and right ...
Bin Zhao, Jing Lu, Kaiyun Wang
doaj
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
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
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 +5 more sources
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source