In this paper, we present how algebraic structures and morphisms can be modelled in the ACL2 theorem prover. Namely, we illustrate a methodology for implementing a set of tools that facilitates the formalisations related to algebraic structures鈥攁s a result, an algebraic hierarchy ranging from ...
Relational structures and their partial morphisms in view of single pushout rewriting Graph Transformations in Computer Science, Lecture Notes in Computer Science, Vol. 776 (1994), pp. 218-233 CrossrefView in ScopusGoogle Scholar [9] M. Löwe Algebraic approach to single-pushout graph transform...
We prove that an ω-categorical core structure primitively positively interpretsall f i nite structures with parameters if and only if some stabilizer of its polymorphism clonehas a homomorphism to the clone of projections, and that this happens if and only if its poly-morphism clone does not ...
在第二部分中lurie重点讨论了spectral algebraic geometry中的proper morphisms，发展了各种经典代数几何定理...
Versal deformations and algebraic stacks 中引入了algebraic stack的概念作为DM stack的推广，因此它也被...
STRUCTURES. FABRIZIOCATANESE UNIVERSIT ¨ ATBAYREUTH Contents INTRODUCTION3 1.Lecture1:ProjectiveandK¨ahlerManifolds,theEnriques classification,constructiontechniques.6 1.1.Projectivemanifolds,K¨ahlerandsymplecticstructures.6 1.2.Thebirationalequivalenceofalgebraicvarieties11 ...
2.3Phasespacesassociatedtothevibrationsofthethreeembeddedstructuresandthevacuum ofQuantumFieldTheory...55 2.4Theelectricchargeandtheexistenceofthreefamiliesofsemiparticles...57 3BialgebrasofvonNeumann,probabilitycalculusandquantificationrules59 3.1Hilbert,magneticandelectricbilinearspaces...59 3.2BialgebrasofVon...
This paper gives semantic foundations of (correct) implementation as a relationship between an "abstract" object and a community of "base" objects. In our aproach, an object is an "observed process". Objects and object morphisms constitute a category OB in which colimits reflect object aggregat...
passage from the bundle map b : νM →νX to ψ used an equivariant chain level version of the relationship established by Thom between the Wu classes of the normal bundle νM of a manifold M and the action of the Steenrod algebra on the Thom class of νM. A chain bundle (C, γ)...
X the universal cover of X, and with a morphism π n+k (T(ν)) →Q n (C( X), γ) . For a k-plane bundle ν the morphism factors through the flexible signature map of [19] Ω n (X, ν) = π n+k (T(ν)) →L n (C( X), γ(ν)) . with Ω n (X, ν)...