نتایج جستجو برای: Quadratically presentable fields

تعداد نتایج: 248359  

This paper introduces an approach to the axiomatic theory of quadratic forms based on {tmem{presentable}} partially ordered sets, that is partially ordered sets subject to additional conditions which amount to a strong form of local presentability. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of {tmem{quadratically p...

Journal: :Categories and General Algebraic Structures with Application 2020

Journal: :Inf. Comput. 2009
Alan J. Cain Graham P. Oliver Nikola Ruskuc Richard M. Thomas

This paper applies the concept of FA-presentable structures to semigroups. We give a complete classification of the finitely generated FA-presentable cancellative semigroups: namely, a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group. We prove that all finitely generated commutative semigroups are FA-presentable. We giv...

2010
MICHEL HÉBERT

Let K be a locally finitely presentable category. If K is abelian and the sequence 0 K // X // k // C c // // 0 // is short exact, we show that 1) K is finitely generated⇔ c is finitely presentable; 2) k is finitely presentable⇔ C is finitely presentable. The “⇐” directions fail for semi-abelian varieties. We show that all but (possibly) 2)(⇐) follow from analogous properties which hold in all ...

2007
André Nies Richard M. Thomas

We consider structures which are FA-presentable. It is known that an FA-presentable finitely generated group is virtually abelian; we strengthen this result by showing that an arbitrary FA-presentable group is locally virtually abelian. As a consequence, we prove that any FA-presentable ring is locally finite; this is a significant restriction and allows us to say a great deal about the structu...

2004
MICHEL HÉBERT

Adámek and Sousa recently solved the problem of characterizing the subcategories K of a locally λ-presentable category C which are λ-orthogonal in C, using their concept of Kλ-pure morphism. We strenghten the latter definition, in order to obtain a characterization of the classes defined by orthogonality with respect to λ-presentable morphisms (where f :A B is called λ-presentable if it is a λ-...

Journal: :Theor. Comput. Sci. 2004
Jirí Adámek Hans-E. Porst

For deterministic systems, expressed as coalgebras over polynomial functors, every tree t (an element of the final coalgebra) turns out to represent a new coalgebra At. The universal property of these coalgebras, resembling freeness, is that for every state s of every system S there exists a unique coalgebra homomorphism from a unique At which takes the root of t to s. Moreover, the tree coalge...

2008
Carlos Simpson

Let X be the big etale site of schemes over k = C. If S is a scheme of finite type over k, let X/S denote the big etale site of schemes over S. The goal of this paper is to introduce a full subcategory of the category of sheaves of groups on X/S, which we will call the category of presentable group sheaves (§2), with the following properties. 1. The category of presentable group sheaves contain...

2004
MICHEL HÉBERT

We investigate categorical versions of algebraically closed (= pure) embeddings, existentially closed embeddings, and the like, in the context of locally presentable categories. The definitions of S. Fakir [Fa, 75], as well as some of his results, are revisited and extended. Related preservation theorems are obtained, and a new proof of the main result of Rosický, Adámek and Borceux ([RAB, 02])...

2008
Alan J. Cain Graham P. Oliver Nikola Ruskuc Richard M. Thomas

This paper studies FA-presentable structures and gives a complete classification of the finitely generated FA-presentable cancellative semigroups. We show that a finitely generated cancellative semigroup is FA-presentable if and only if it is a subsemigroup of a virtually abelian group.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید