A single-step approach for the synthesis of multi-walled nanotubes (MWNT) filled with nanowires of Ni/ternary Zr based hydrogen storage alloy has been illustrated. We also demonstrate the generation of COfree hydrogen by methane decomposition over alloy hydride catalyst. The present work also highlights the formation of single-walled nanotubes (SWNT) and MWNTs at varying process conditions. The...

Coequations, which are subsets of a cofree coalgebra, can be viewed as properties of systems. In case of a polynomial functor, a logic of coequations was formulated by J. Adámek. However, the logic is more complicated for other functors than polynomial ones, and simple deduction rules can no longer be formulated. A simpler coequational logic for finitely branching labelled transition systems wa...

A pervasive challenge in programming theory and practice are feature combinations. Here, we propose a semantic framework that combines monad-based computational effects (e.g. store, nondeterminism, random), underdefined or free operations (e.g. actions in process algebra and automata, exceptions), and recursive definitions (e.g. loops, systems of process equations). The joint treatment of these...

Free and cofree equivariant spectra are important classes of which represent cohomology theories on free spaces. Greenlees-Shipley Pol the author have given an algebraic model for rational (co)free spectra. In this paper, we extend framework by proving that Quillen functors induction-restriction-coinduction between categories correspond to models in case connected compact Lie groups. This is ac...

This paper introduces a Hopf algebra structure on family of reduced pipe dreams. We show that this is free and cofree, construct surjection onto commutative permutations. The dream contains subalgebras with interesting sets generators Hilbert series related to subsequences Catalan numbers. Three other relevant include the Loday–Ronco complete binary trees, special lattice walks quarter plane, ν...

‎ In the present article‎, ‎we study some categorical properties of the category {$bf‎ Cpo_{Sep}$-$S$} of all {separately strict $S$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $S$ which is‎ strict continuous in each component‎. ‎In particular‎, we show that this category is reflective and coreflective in the‎ category of $S$-cpo's‎, ‎find the free a...

We show that the functor of $p$-typical co-Witt vectors on commutative algebras over a perfect field $k$ characteristic $p$ is defined on, and in fact only depends weaker structure than $k$-algebra. call this $p$-polar By extension, functors points for any $p$-adic affine group scheme formal are depend structures. In terms abelian Hopf algebras, we cofree cocommutative algebra can be $k$-algebr...

‎ in the present article‎, ‎we study some categorical properties of the category {$bf‎ cpo_{sep}$-$s$} of all {separately strict $s$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $s$ which is‎ strict continuous in each component‎. ‎in particular‎, we show that this category is reflective and coreflective in the‎ category of $s$-cpo's‎, ‎find the free a...

A propositional logic program P may be identified with a PfPf -coalgebra on the set of atomic propositions in the program. The corresponding C(PfPf )coalgebra, where C(PfPf ) is the cofree comonad on PfPf , describes derivations by resolution. That correspondence has been developed to model first-order programs in two ways, with lax semantics and saturated semantics, based on locally ordered ca...