The Essentially Equational Theory of Horn Classes
|
|
- Phoebe Bond
- 5 years ago
- Views:
Transcription
1 The Essentially Equational Theory of Horn Classes Hans E. Porst Dedicated to Professor Dr. Dieter Pumplün on the occasion of his retirement Abstract It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known [1]. Here we present a similar translation for the general case, showing at the same time that many relationally presented Horn classes are in fact equivalent to quasivarieties. Mathematics Subject Classification Primary 03C07, Secondary 08C15. Key words: Universal Horn class, quasivariety, essentially equational theory. Introduction The class of locally finitely presentable categories is known to comprise all complete categories of finitary many-sorted algebras see [3]. There is a universal syntax by which locally finitely presentable categories can be specified, namely that of an essentially equational theory, which generalizes the classical syntax of equational classes of algebras to a specification of certain classes of partial algebras see [2]. While it is easy to specify implicationally defined classes of algebras this way see [1], a canonical specification for Horn classes which are known to be locally finitely presentable categories by an essentially equational theory seems not to be known: The univeral representation presented in [2] might be viewed unnatural: e.g., representing POS the category of partially ordered sets and monotone maps this way would require ℵ 0 sorts, whereas a 1 sorted representation is possible, as is shown in [5]. We are to provide in this note combining ideas of [1] and [5] an essentially equational representation of Horn classes much simpler than in [2], which moreover in many cases represents Horn classes as quasivarieties. The main idea is to introduce, for each relational symbol provided by the signature under consideration, a new sort 1
2 and a family of operations corresponding to the respective projections; this enables us, in a second step, to represent relational implications in terms of partial operations and equations. For a related approach see [4]. Preliminaries Language and notation are mainly as in [2]. To make this note as selfcontained as possible we briefly explain the basic notions. Products of finite families of sets or maps are denoted by n A i or A 1... A n respectively n f i or f 1... f n according to convenience; the product projection onto the i-th component of a subset of a product is denoted by π i, with superscripts referring to the particular product if necessary. The map B n A i induced by a family of maps g i : B A i...n, i.e., the map g with π i g = g i for each i is denoted by g i. Let Σ = Σ op Σ rel be an S sorted finitary signature, i.e., S is a set of sorts, Σ op is set of operational symbols, Σ rel is a set of relational symbols, and for each symbol ω Σ there is given an arity arω = s 1,..., s n, s 0 S n+1 for some n N. In view of the role the arities are to play we will use more suggestive notions for them as follows: for σ Σ op we write s 1... s n s 0 instead of s 1,..., s n, s 0. for σ Σ rel we write s 1... s n s 0 instead of s 1,..., s n, s 0. A Σ-structure then is a triple A = A s s S, σ A σ Σop, R A R Σrel where A s s S is a family of S-indexed sets, σ A : A s1... A sn A s0 is a map for each σ Σ op with arσ = s 1... s n s 0, and R A A s1... A sn A s0 is a subset for each R Σ rel with arr = s 1... s n s 0. A morphism of Σ-structures f : A B is an S-indexed family of maps f s : A s B s s S satisfying the conditions σ B f s1... f sn = f s0 σ A for each σ Σ op with arσ = s 1... s n s 0, f s1... f sn [R A ] R B for each R Σ rel with arr = s 1... s n s 0. This defines the category StrΣ of Σ-structures which by means of the obvious underlying functor StrΣ Set S is a concrete category over Set S, the S-fold power of the category of sets and mappings. The signature Σ is called finite provided both, S and Σ, are finite sets. As usual Σ is called a signature of algebras if Σ rel is empty; in this case Σ-structures are simply denoted as pairs A s s S, σ A σ Σop. 2
3 The following particular types of subcategories of categories of the form StrΣ are of special interest: Horn classes: Let there be given a set I of Σ implications α 1 α 2... α n = β where n N and α i and β are atomic Σ formulas i.e., either Σ op -equations, or formulas Rt 1,..., t m where R Σ rel is an m ary relational symbol and t 1,..., t m are terms of the corresponding sorts. The full subcategory ModΣ, I of StrΣ spanned by all Σ structures satisfying the implications in I is then called a universal Horn class. If, for each implication in I, the conclusion β is in fact an equation, we call the Horn class quasivarietal. In case Σ rel = the category ModΣ, I is called a quasivariety. The category POS of partially ordered sets is an example of a Horn class, which is not a quasivariety. Horn classes are locally finitely presentable categories see [2]. Categories of partial algebras: Denote by PAlgΣ the full subcategory of StrΣ consisting of those Σ-structures A for which each relation R A R Σ rel, arr = s 1,..., s n, s 0 satisfies a 1,..., a n, a 0, a 1,..., a n, b 0 R A = a 0 = b 0. In other words, for any A in PAlgΣ each relation R A with arity s 1,..., s n, s 0 is a partial map from some subset domr A A s1... A sn into A s0. Considering categories of the form PAlgΣ we might speak of partial operational symbols instead of relational symbols and denote their arities the same way as for total operational symbols; we also might write Σ p instead of Σ rel and Σ t instead of Σ op in this case, and then call Σ a signature of partial algebras. Essentially equational essentially algebraic categories: By an essentially equational theory Ω, def, E with set of sorts S we mean a S sorted finitary signature Ω = Ω t Ω p of partial algebras together with finite sets defω of Ω t equations for each ω Ω p the domain conditions of ω, where for arω = s 1... s n s 0 the elements of defω are equations in the S-sorted variables x s1,..., x sn, and a set E of Ω equations the identities of the theory. The theory is called finite if S and Ω are finite sets. A partial Ω algebra A is called a model of this theory iff i the operations ω A are total for each ω Ω t ; ii for ω Ω p with arω = s 1... s n s 0 and a 1,..., a n A s1... A sn one has a 1,..., a n domω A iff t A a 1,..., a n = t A a 1,..., a n for all equations t t defω. iii A satisfies the identities of E 1. 1 Satisfaction here is meant in the weak sense: if both sides of the equation are defined then they are equal. 3
4 These models form the full subcategory ModΩ, def, E of PAlgΩ which thus is a concrete category over Set T. Categories of the form ModΩ, def, E for essentially equational theories Ω, def, E are called essentially algebraic or essentially equational categories. It is shown in [2] that the locally finitely presentable categories are up to equivalence of categories precisely the essentially equational categories. A paradigmatic example of a 1-sorted essentially equational category ist the category Cat of small categories and functors: the total operations are besides the identities as constants domain and codomain, the only partial binary operation is composition and defcomposition consists of the single equation domain x = codomain y. Cat is not equivalent to a Horn class. Each quasivariety has a canonical representation by an essentially equational theory as follows see [1]: add to the given siganture, for each implication ϱ 1 τ 1... ϱ n τ n = π τ, one partial operation ω with domain condition defω = {ϱ i τ i i = 1,..., n} together with the equations ω π and ω τ. Results For a given S sorted finitary signature Σ = Σ op Σ rel we define an S sorted finitary signature of algebras Ω Σ as follows: S = S {s R R Σ rel } is the set of sorts. Ω Σ op = Σ op {Σ R R Σ rel } is its set of operational symbols, where, for R Σ rel of arity s 1... s n, the set Σ R consists of n = nr unary operational symbols R π i i = 1,..., n with arities s R s i ; the arity of σ Σ op is the one given by the signature Σ. Note that Ω Σ is finite provided Σ is finite. Proposition 1 For every S sorted finitary signature Σ there exist a finitary S sorted signature of algebras Ω Σ, a set I Σ of Ω Σ implications, and functors StrΣ GΣ ModΩ Σ, I Σ F Σ Str Σ such that F Σ G Σ = 1 and G Σ F Σ 1. If the signature Σ is finite, so is the signature Ω Σ and also the set of implications I Σ. The above proposition being only a slight generalization of [2, 3.20] is included here, as well as its proof, because it serves as a basis for the proofs of the following results. 4
5 Proposition 2 Let Σ be an S sorted finitary signature and ModΣ, J StrΣ a quasivarietal Horn class. Then there exists a set I J of Ω Σ implications of the same cardinality as J such that G Σ and F Σ can be restricted to an equivalence between ModΣ, J and the S sorted quasivariety ModΩ Σ, I Σ I J. Proposition 3 Let Σ be an S sorted finitary signature and H = ModΣ, J StrΣ an arbitrary universal Horn class. Then there exists an essentially equational theory Ω H, def, E H with set of sorts S such that H and ModΩ H, def, E H are equivalent. If Σ is a finite signature and the set J of implications is finite, then Ω H, def, E H is a finite theory. Proofs Proof of Proposition 1. For Σ = Σ op Σ rel with set of sorts S we have S = S Σ rel and Ω Σ = Σ op {Σ R R Σ rel }. Define I Σ as { } I Σ = R π 1 x R π 1 y... R π n x R π n y = x y R Σ rel Given a Σ structure A = A s s S, σ A σ Σop, R A R Σrel define G Σ A = Āt t S, σā σ Σop, R πāi R πi ΣR, R Σrel by { As if t = s S Āt : = R A if t = s R, R Σ rel σā : = σ A R πāi : = nr A si R A π i A si i.e., R πāi is the restricted product projection. G Σ A then obviously satisfies all implications in I Σ. G Σ becomes a functor if one defines, for a StrΣ morphism h = h s s S : A B, G Σ h = ht : Ā t B t by t S h s : A s B s if t = s S nr h t = h si : R A R B 2 if t = s R, R Σ rel 2 here, clearly, h sr is meant to be h si restricted and corestricted to R A and R B respectively. 5
6 Now define, for any Ω Σ, I Σ model A = A t t S, σ A σ Ω Σ op, the Σ model by F Σ A = Ãs s S, σã σ Σop, RÃ R Σrel Ãs : = A s, σã : = σ A, RÃ : = im R π A i i.e., RÃ is the image of the map R π A i : A sr F Σ becomes a functor if we define F Σ h A t h t Bt t S = s As Bs s S. It is obvious that the equation F Σ G Σ = 1 holds. Also for A = A t t S, σ A σ Ω Σ and G Σ F Σ A = Ã- t t S, σ Ã σ Ω Σ one obviously has Ã- s = A s for each s S σ Ã = σ A for each σ Σ op For R Σ rel we have Ã- s R = RÃ = im R πi i A. Since A satisfies the implications of I Σ, the map R πi A i is monic, hence a bijection χ A R : A sr RÃ. Similarly, for h = h t t S : A B in ModΩ Σ, I Σ and G Σ F Σ h = ht S one has hs = h s for each s S. For R Σ rel the map hsr : RÃ R B is the co/restriction of nr h si. Hence, in the following diagram all cells commute. nr A si. A sr h sr B sr χ A R RÃ h R R B χ B R R π A i Asi Q hsi Bsi R π B i π i π i A si hsi B si 6
7 Thus, the S sorted maps χ A t : A t à t with { χ A 1As if t = s S t = χ A R if t = s R, R Σ rel are isomorphisms A G Σ F Σ A, natural in A. Lemma Let Σ be a S sorted finitary signature and α = Qt 1,... t n an atomic Σ formula with Q a relational symbol of arity s 1... s n. Let E α be the set of Ω Σ equations E α = { Q π 1 t 1,..., Q π n t n }. Then the following holds: i If ā = a 1,..., a m is an assignment to variables in the Σ structure A such that t A 1 ā,..., t A n ā Q A, then there exists an assignment ā = b, a 1,..., a m in the Ω Σ, I Σ model G Σ A fulfilling all equations in E α. ii Let b = b, a 1,..., a m be an assignment to variables in the Ω Σ, I Σ model A such that b fulfills all equations in E α ; then t F Σ A 1 b,..., t F Σ A n b Q F Σ A for the assignment b = a 1,..., a m in the in the Σ structure F Σ A. Proof x 1,..., x m denote the S sorted variables needed by t 1,..., t n, x i of sort s i. Let A = A s, σ A σ, R A R be a Σ structure and ā = a1,..., a m with a i A si an assignment to the variables x 1,..., x m, such that t A i ā,..., t A n ā Q A. Then ā = b, a 1,..., a n with b = t 1 ā,..., t n ā is an assignment to the S sorted variables x, x 1,..., x m with x of sort s Q in the Ω Σ model G Σ A. To prove that ā fulfills all equations in E α now is trivial. Conversely, if b = b, a 1,..., a m is an assignment to the S sorted variables x, x 1,..., x m with x of sort s Q in the ModΩ Σ, I Σ model A = A t t, σ A σ fulfilling all equations in E α a straightforward calculation shows that for the assignment b = a 1,..., a m to the S sorted variables x 1,..., x m in the Σ structure F Σ A one has t F Σ A 1 b,..., t F Σ A n b Q F ΣA. Proof of Proposition 2. For each implication J : α 1... α k = s t we consider the sets E αi of Ω Σ equations as in the Lemma where applicable. If α i = s i t i is an equation we define E αi to be {s i t i }. By e i we denote the conjunction of the equations of E αi, i.e., { Ri π e i = 1 t i 1... Ri π ni t i n i if αi = R i t i 1,... t i n i s i t i if α i = s i t i 7
8 Let now J be the implication J : e 1 e 2... e k = s t and I J the set of all implications J for J J. It remains to show that G Σ maps H = ModΣ, J into ModΩ Σ, I Σ I J and that F Σ maps this category back into H. Let A = A s s, σ A σ, R A R be in H. It suffices to show that G Σ A satisfies all implications of the form J. Let now b be an assignment to the variables needed for J in G Σ A satisfying the premis J. Then b satisfies all equations in E αi for each i = 1,..., k. By ii of the Lemma there results an assignment b in F Σ G Σ A = A such that each atomic formula α i is satisfied by b. Since J holds in A we conclude s A b = t A b, hence GΣA s b = GΣA t b, since b and b differ only in not assigning values to variables of the sorts s Ri which don t occur in s and t respectively. Conversely, let A = A t t, σ A σ be in ModΩ Σ, I Σ I J and ā an assignment to the variables needed in J J in the Σ structure F Σ A, such that each atomic formula α i occuring in the premis of J is satisfied by ā. By i of the Lemma there exists an assignment ā in G Σ F Σ A fulfilling the equations in E αi for all i. Since G Σ F Σ A and A are isomorphic by Proposition 1 and A satisfies the implications in I J so does G Σ F Σ A; hence we conclude s GΣ F ΣA ā = t GΣ F ΣA ā, thus s F ΣA ā = t F ΣA ā. Before considering the general case of an arbitrary Horn class H StrΣ we recall from the introduction the description of the quasivariety ModΩ Σ, I Σ by means of an essentially equational theory: Ω Σ, def, E Σ is the essentially equational theory with S as set of sorts, Ω Σ t = Ω Σ op Ω Σ p = { R R Σ rel }, where for each R Σ rel of arity s 1... s n the corresponding R is considered as a binary operational symbol of arity s R s R s R with domain condition def R = { R π i x R π i y i = 1,..., n }. E Σ = { } E R with E R = Rx, y x, Rx, y y R Σ rel It is well known and easy to see that the obvious forgetful functor yields an isomorphism Mod Ω Σ, def, E Σ ModΩ Σ Mod Ω Σ, def, E Σ ModΩ Σ, I Σ. 8
9 Proof of Proposition 3. We continue as in the preceding remark and enlarge the theory Ω Σ, def, E Σ to Ω H, def, E H as follows: Ω H t : = Ω Σ t Ω H p : = Ω Σ p = Ω Σ op { J J J } = Σ rel { J J J } where for each implication J : α 1... α k = β in J with α i = R i t i 1,..., t i n i, β = Qt 1,..., t m and needed variables x 1,..., x l of sorts s 1,..., s l S J is a partial operational symbol with arity with domain condition def J = k E αi, E H = E Σ E J with E J : = s R1... s Rk s 1... s l s Q 3 J J Observe first that the obvious forgetful functor { } Q π i J ti i = 1,..., m. V : ModΩ H, def, E H Mod Ω Σ, def, E Σ is full: if h = h t t : V A V B is a homomorphism in Mod Ω Σ, E Σ and J J it is to be shown that, for each ā = b 1,... b k, a 1,..., a l fulfilling all equations in def J in the algebra A, hā fulfills these equations in B and also the homomorphism condition h Q J A ā = J B h sr1... h srk h s1... h sl ā = J B hā. To prove this, consider ā = b 1,..., b k, a 1,..., a l dom J A with b i of sort s Ri, a j of sort s j. ā dom J A implies b i = R i πj A i ā = t i j i A ā for all i, j i ; since h is a morphism in ModΩ Σ, I Σ one has h sri t i j i A ā = t i j i B hā for all i, j i, and therefore R i π B j i hā = R i π B j i hsri b i = t i j i B hā, thus, hā dom J B. Now, for ā dom J A, one concludes for all terms t i of sorts s i occuring in the conclusion β: Q πi B J B hā = t B i hā = h s i t A i ā = h s Q i πi A J A ā = Q πi B h Q J A ā 3 omit here s Ri if α i is of the form t 1 t 2 9
10 Since V B satisfies the implications in I Σ, h is a homomorphism. Next, we lift G Σ and F Σ along V to obtain functors G and F such that the diagram ModΣ, J G ModΩ H, def, E H F ModΣ, J StrΣ G Σ ModΩ Σ, I Σ V F Σ StrΣ commutes, which immediately yields F G = 1 and, since V is full and faithful, also G F 1. Let A = A s s, σ A σ, R A R satisfy all implications J J. Consider G Σ A = Āt, σ A σ Ω Σ t, R A R Σrel we identify, for the sake of simplicity, Mod Ω Σ, def, E Σ and ModΩ Σ, I Σ. Define GA: = Āt, σ A σ Ω Σ t, R A R Σrel, J A J J, where for J : R 1 t 1 1,..., t 1 n 1... R k t k 1,..., t k n k = Qt 1,..., t m * in J with S sorted variables x 1,... x l of sorts s 1,... s l needed for the t j j i, t i, the partial operation with R A 1... R A k l A si dom J A dom J A = {b 1,..., b k, ā b j R A j, ā is defined by Then any b 1,..., b k, ā k Rj A l J A Q A l A si, b j = t j 1ā,..., t j n j ā } J A b 1,..., b k, ā = t 1 ā,..., t m ā j=1 A si with b j = b j 1,..., b j n j satisfies all equations in def J iff, for all j, i j, the equation b j i j = R j π A i j b j = t j ij A ā holds, i.e., iff b 1,..., b k ā dom J A, and, if so, J A b 1,..., b k, ā Q A since A satisfies the implication J. GA satisfies the identities of E J, hence of E H, since for each b 1,..., b k, ā as above one has J A b 1,..., b k, ā = Q π i t A 1 ā,..., t A mā Q π A i = t A i ā = t A i b 1,..., b k, ā. 10
11 Since V is full we can define Gh = G Σ h for morphisms h in ModΣ, J. In order to define F we only need to show that, for each A in ModΩ H, def, E H, A = A t t, σ A σ, R A R, J A J, the Σ-structure F Σ V A = Ãs s, σã σ, Rà R satisfies all implications J J. Hence let J J be as in * and ā an assignment to the variables x 1,..., x l in the algebra F Σ V A such that for j = 1,..., k bj : = t j 1Ãā,..., t j n j Ãā RÃj = im R j π A i. Then there exist uniquely determined elements recall that the maps R j πi A are monic b j Rj A j = 1,..., k with R j π A i j b j = t j i j A ā for all j, i j. Since A is an Ω H, def, E H model this means in particular: b 1,..., b k, ā dom J A, J A b 1,..., b k, ā Q A, and Q πi A J A b 1,..., b k, ā = t A i ā for i = 1,..., m. It follows t à 1 ā,..., tãmā = t A 1 ā,..., t A mā = Q πi A J A b 1,..., b k, ā QÃ. References [1] J. Adámek, H. Herrlich, and J. Rosický. Essentially equational categories. Cahiers Topol. Géom. Différentielles Catégoriques, 24: [2] J. Adámek and J. Rosicky. Locally presentable and accessible categories. Cambridge, [3] M. Makkai and R. Paré. Accessible Categories. Contemp. Math., volume 104. Amer. Math. Soc., Providence R.I., [4] T. Mossakowski. Equivalences among various logical framework of partial algebras. In Lecture Notes in Computer Science, volume 1092, pages , [5] H. -E. Porst. The algebraic theory of order. Appl. Categorical Structures, 1: , Department of Mathematics, University of Bremen, Bremen, Germany porst@math.uni-bremen.de 11
Algebraic Theories of Quasivarieties
Algebraic Theories of Quasivarieties Jiří Adámek Hans E. Porst Abstract Analogously to the fact that Lawvere s algebraic theories of (finitary) varieties are precisely the small categories with finite
More informationLIST OF CORRECTIONS LOCALLY PRESENTABLE AND ACCESSIBLE CATEGORIES
LIST OF CORRECTIONS LOCALLY PRESENTABLE AND ACCESSIBLE CATEGORIES J.Adámek J.Rosický Cambridge University Press 1994 Version: June 2013 The following is a list of corrections of all mistakes that have
More informationDual Adjunctions Between Algebras and Coalgebras
Dual Adjunctions Between Algebras and Coalgebras Hans E. Porst Department of Mathematics University of Bremen, 28359 Bremen, Germany porst@math.uni-bremen.de Abstract It is shown that the dual algebra
More informationEquational Logic. Chapter Syntax Terms and Term Algebras
Chapter 2 Equational Logic 2.1 Syntax 2.1.1 Terms and Term Algebras The natural logic of algebra is equational logic, whose propositions are universally quantified identities between terms built up from
More informationPART I. Abstract algebraic categories
PART I Abstract algebraic categories It should be observed first that the whole concept of category is essentially an auxiliary one; our basic concepts are those of a functor and a natural transformation.
More informationTheoretical Computer Science
Theoretical Computer Science 433 (202) 20 42 Contents lists available at SciVerse ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs An axiomatic approach to structuring
More informationTopos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.
logic s Lectures 17-20: logic in 2 / 40 logic s Interpreting first-order logic in In Logic, first-order s are a wide class of formal s used for talking about structures of any kind (where the restriction
More informationInterpolation in Logics with Constructors
Interpolation in Logics with Constructors Daniel Găină Japan Advanced Institute of Science and Technology School of Information Science Abstract We present a generic method for establishing the interpolation
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationClC (X ) : X ω X } C. (11)
With each closed-set system we associate a closure operation. Definition 1.20. Let A, C be a closed-set system. Define Cl C : : P(A) P(A) as follows. For every X A, Cl C (X) = { C C : X C }. Cl C (X) is
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 2. Theories and models Categorical approach to many-sorted
More informationThe coincidence Nielsen number for maps into real projective spaces
F U N D A M E N T A MATHEMATICAE 140 (1992) The coincidence Nielsen number for maps into real projective spaces by Jerzy J e z i e r s k i (Warszawa) Abstract. We give an algorithm to compute the coincidence
More informationELEMENTARY EQUIVALENCES AND ACCESSIBLE FUNCTORS INTRODUCTION
ELEMENTARY EQUIVALENCES AND ACCESSIBLE FUNCTORS T. BEKE AND J. ROSICKÝ ABSTRACT. We introduce the notion of λ-equivalence and λ-embeddings of objects in suitable categories. This notion specializes to
More informationMORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 04 39 MORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES JIŘÍ ADÁMEK, MANUELA SOBRAL AND LURDES SOUSA Abstract: Algebraic
More informationMODELS OF HORN THEORIES
MODELS OF HORN THEORIES MICHAEL BARR Abstract. This paper explores the connection between categories of models of Horn theories and models of finite limit theories. The first is a proper subclass of the
More informationGeneralized Morita Theories
Generalized Morita Theories The power of categorical algebra Hans E. Porst Department of Mathematics, University of Bremen Abstract A solution to the problem posed by Isbell in the early 1970s of how to
More informationWhat are Iteration Theories?
What are Iteration Theories? Jiří Adámek and Stefan Milius Institute of Theoretical Computer Science Technical University of Braunschweig Germany adamek,milius @iti.cs.tu-bs.de Jiří Velebil Department
More informationQuasi-Boolean Encodings and Conditionals in Algebraic Specification
Quasi-Boolean Encodings and Conditionals in Algebraic Specification Răzvan Diaconescu Institute of Mathematics Simion Stoilow of the Romanian Academy Abstract We develop a general study of the algebraic
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationTopos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos
Lectures 21 and 22: toposes of 2 / 30 Toposes as mathematical universes of Recall that every Grothendieck topos E is an elementary topos. Thus, given the fact that arbitrary colimits exist in E, we can
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationOperads. Spencer Liang. March 10, 2015
Operads Spencer Liang March 10, 2015 1 Introduction The notion of an operad was created in order to have a well-defined mathematical object which encodes the idea of an abstract family of composable n-ary
More informationCategory theory for computer science. Overall idea
Category theory for computer science generality abstraction convenience constructiveness Overall idea look at all objects exclusively through relationships between them capture relationships between objects
More informationTHE HEART OF A COMBINATORIAL MODEL CATEGORY
Theory and Applications of Categories, Vol. 31, No. 2, 2016, pp. 31 62. THE HEART OF A COMBINATORIAL MODEL CATEGORY ZHEN LIN LOW Abstract. We show that every small model category that satisfies certain
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationMorita Equivalence for Unary Varieties
Morita Equivalence for Unary Varieties Tobias Rieck Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften Dr. rer. nat. Vorgelegt im Fachbereich 3 (Mathematik & Informatik) der Universität
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationESSENTIALLY ALGEBRAIC THEORIES AND LOCALIZATIONS IN TOPOSES AND ABELIAN CATEGORIES
ESSENTIALLY ALGEBRAIC THEORIES AND LOCALIZATIONS IN TOPOSES AND ABELIAN CATEGORIES A thesis submitted to the University of Manchester for the degree of Doctor of Philosophy in the Faculty of Engineering
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationMorita-equivalences for MV-algebras
Morita-equivalences for MV-algebras Olivia Caramello* University of Insubria Geometry and non-classical logics 5-8 September 2017 *Joint work with Anna Carla Russo O. Caramello Morita-equivalences for
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationUsing topological systems to create a framework for institutions
Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 1/34 Using topological systems to create a framework for institutions Jeffrey T. Denniston
More informationLecture 1: Overview. January 24, 2018
Lecture 1: Overview January 24, 2018 We begin with a very quick review of first-order logic (we will give a more leisurely review in the next lecture). Recall that a linearly ordered set is a set X equipped
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationThe equivalence axiom and univalent models of type theory.
The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010) By Vladimir Voevodsky Abstract I will show how to define, in any type system with dependent sums, products and
More informationLecture 2: Syntax. January 24, 2018
Lecture 2: Syntax January 24, 2018 We now review the basic definitions of first-order logic in more detail. Recall that a language consists of a collection of symbols {P i }, each of which has some specified
More informationCategories and Modules
Categories and odules Takahiro Kato arch 2, 205 BSTRCT odules (also known as profunctors or distributors) and morphisms among them subsume categories and functors and provide more general and abstract
More informationRelational semantics for a fragment of linear logic
Relational semantics for a fragment of linear logic Dion Coumans March 4, 2011 Abstract Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic.
More informationAlgebraic Geometry: Limits and Colimits
Algebraic Geometry: Limits and Coits Limits Definition.. Let I be a small category, C be any category, and F : I C be a functor. If for each object i I and morphism m ij Mor I (i, j) there is an associated
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationWhat s category theory, anyway? Dedicated to the memory of Dietmar Schumacher ( )
What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher (1935-2014) Robert Paré November 7, 2014 Many subjects How many subjects are there in mathematics? Many subjects How many subjects
More informationTakeuchi s Free Hopf Algebra Construction Revisited
Takeuchi s Free Hopf Algebra Construction Revisited Hans E. Porst Department of Mathematics, University of Bremen, 28359 Bremen, Germany Abstract Takeuchi s famous free Hopf algebra construction is analyzed
More informationarxiv: v1 [cs.pl] 19 May 2016
arxiv:1605.05858v1 [cs.pl] 19 May 2016 Domain Theory: An Introduction Robert Cartwright Rice University Rebecca Parsons ThoughtWorks, Inc. Moez AbdelGawad SRTA-City Hunan University This monograph is an
More informationAlgebra and local presentability: how algebraic are they? (A survey)
Algebra and local presentability: how algebraic are they? (A survey) Jiří Adámek 1 and Jiří Rosický 2, 1 Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University in Prague,
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationAlgebras. Larry Moss Indiana University, Bloomington. TACL 13 Summer School, Vanderbilt University
1/39 Algebras Larry Moss Indiana University, Bloomington TACL 13 Summer School, Vanderbilt University 2/39 Binary trees Let T be the set which starts out as,,,, 2/39 Let T be the set which starts out as,,,,
More informationCartesian Closed Topological Categories and Tensor Products
Cartesian Closed Topological Categories and Tensor Products Gavin J. Seal October 21, 2003 Abstract The projective tensor product in a category of topological R-modules (where R is a topological ring)
More informationOn Augmented Posets And (Z 1, Z 1 )-Complete Posets
On Augmented Posets And (Z 1, Z 1 )-Complete Posets Mustafa Demirci Akdeniz University, Faculty of Sciences, Department of Mathematics, 07058-Antalya, Turkey, e-mail: demirci@akdeniz.edu.tr July 11, 2011
More informationCAHIERS DE TOPOLOGIE ET Vol. LI-2 (2010) GEOMETRIE DIFFERENTIELLE CATEGORIQUES ON ON REGULAR AND HOMOLOGICAL CLOSURE OPERATORS by Maria Manuel CLEMENT
CAHIERS DE TOPOLOGIE ET Vol. LI-2 (2010) GEOMETRIE DIFFERENTIELLE CATEGORIQUES ON ON REGULAR AND HOMOLOGICAL CLOSURE OPERATORS by Maria Manuel CLEMENTINO and by Maria Manuel Gonçalo CLEMENTINO GUTIERRES
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationVAUGHT S THEOREM: THE FINITE SPECTRUM OF COMPLETE THEORIES IN ℵ 0. Contents
VAUGHT S THEOREM: THE FINITE SPECTRUM OF COMPLETE THEORIES IN ℵ 0 BENJAMIN LEDEAUX Abstract. This expository paper introduces model theory with a focus on countable models of complete theories. Vaught
More informationLecture 9: Sheaves. February 11, 2018
Lecture 9: Sheaves February 11, 2018 Recall that a category X is a topos if there exists an equivalence X Shv(C), where C is a small category (which can be assumed to admit finite limits) equipped with
More informationUniversity of Oxford, Michaelis November 16, Categorical Semantics and Topos Theory Homotopy type theor
Categorical Semantics and Topos Theory Homotopy type theory Seminar University of Oxford, Michaelis 2011 November 16, 2011 References Johnstone, P.T.: Sketches of an Elephant. A Topos-Theory Compendium.
More informationAn introduction to locally finitely presentable categories
An introduction to locally finitely presentable categories MARU SARAZOLA A document born out of my attempt to understand the notion of locally finitely presentable category, and my annoyance at constantly
More informationMorita equivalence of many-sorted algebraic theories
Journal of Algebra 297 (2006) 361 371 www.elsevier.com/locate/jalgebra Morita equivalence of many-sorted algebraic theories Jiří Adámek a,,1, Manuela Sobral b,2, Lurdes Sousa c,3 a Department of Theoretical
More informationDerived Algebraic Geometry III: Commutative Algebra
Derived Algebraic Geometry III: Commutative Algebra May 1, 2009 Contents 1 -Operads 4 1.1 Basic Definitions........................................... 5 1.2 Fibrations of -Operads.......................................
More informationP.S. Gevorgyan and S.D. Iliadis. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 2 (208), 0 9 June 208 research paper originalni nauqni rad GROUPS OF GENERALIZED ISOTOPIES AND GENERALIZED G-SPACES P.S. Gevorgyan and S.D. Iliadis Abstract. The
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationCHAPTER THREE: RELATIONS AND FUNCTIONS
CHAPTER THREE: RELATIONS AND FUNCTIONS 1 Relations Intuitively, a relation is the sort of thing that either does or does not hold between certain things, e.g. the love relation holds between Kim and Sandy
More informationBarr s Embedding Theorem for Enriched Categories
Barr s Embedding Theorem for Enriched Categories arxiv:0903.1173v3 [math.ct] 31 Aug 2009 Dimitri Chikhladze November 9, 2018 Abstract We generalize Barr s embedding theorem for regular categories to the
More informationFibres. Temesghen Kahsai. Fibres in Concrete category. Generalized Fibres. Fibres. Temesghen Kahsai 14/02/ 2007
14/02/ 2007 Table of Contents ... and back to theory Example Let Σ = (S, TF) be a signature and Φ be a set of FOL formulae: 1. SPres is the of strict presentation with: objects: < Σ, Φ >, morphism σ :
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationRecall: a mapping f : A B C (where A, B, C are R-modules) is called R-bilinear if f is R-linear in each coordinate, i.e.,
23 Hom and We will do homological algebra over a fixed commutative ring R. There are several good reasons to take a commutative ring: Left R-modules are the same as right R-modules. [In general a right
More informationAlgebras and Bialgebras
Algebras and Bialgebras via categories with distinguished objects Vaughan Pratt Stanford University October 9, 2016 AMS Fall Western Sectional Meeting University of Denver, CO Vaughan Pratt (Stanford University)
More informationThe Dual Rings of an R-Coring Revisited
Communications in Algebra ISSN: 0092-7872 (Print) 1532-4125 (Online) Journal homepage: http://www.tandfonline.com/loi/lagb20 The Dual Rings of an R-Coring Revisited Laurent Poinsot & Hans-E. Porst To cite
More informationToposym 2. Zdeněk Hedrlín; Aleš Pultr; Věra Trnková Concerning a categorial approach to topological and algebraic theories
Toposym 2 Zdeněk Hedrlín; Aleš Pultr; Věra Trnková Concerning a categorial approach to topological and algebraic theories In: (ed.): General Topology and its Relations to Modern Analysis and Algebra, Proceedings
More informationClasses of Universal Graphs Definable by Universal Graph Algebra Quasi-Identities
International Mathematical Forum, Vol. 8, 2013, no. 16, 789-799 HIKARI Ltd, www.m-hikari.com Classes of Universal Graphs Definable by Universal Graph Algebra Quasi-Identities P. Jampachon and T. Poomsa-ard
More informationON SOME CLASSES OF TREE AUTOMATA AND TREE LANGUAGES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 25, 2000, 325 336 ON SOME CLASSES OF TREE AUTOMATA AND TREE LANGUAGES Ferenc Gécseg József Attila University, Department of Informatics Aradi vértanúk
More informationDerived Algebraic Geometry IX: Closed Immersions
Derived Algebraic Geometry I: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions 4 2 Resolutions of T-Structures 7 3 The Proof of Proposition 1.0.10 14 4 Closed
More informationAlgebraic Geometry
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationSemantics for algebraic operations
MFPS 17 Preliminary Version Semantics for algebraic operations Gordon Plotkin and John Power 1 Laboratory for the Foundations of Computer Science University of Edinburgh King s Buildings, Edinburgh EH9
More informationA Semantic Approach to Interpolation
A Semantic Approach to Interpolation Andrei Popescu and Traian Florin Şerbănuţă and Grigore Roşu Department of Computer Science, University of Illinois at Urbana-Champaign. {popescu2,tserban2,grosu}@cs.uiuc.edu
More informationLogical connections in the many-sorted setting
Logical connections in the many-sorted setting Jiří Velebil Czech Technical University in Prague Czech Republic joint work with Alexander Kurz University of Leicester United Kingdom AK & JV AsubL4 1/24
More informationReconsidering MacLane. Peter M. Hines
Reconsidering MacLane Coherence for associativity in infinitary and untyped settings Peter M. Hines Oxford March 2013 Topic of the talk: Pure category theory... for its own sake. This talk is about the
More informationLax Extensions of Coalgebra Functors and Their Logic
Lax Extensions of Coalgebra Functors and Their Logic Johannes Marti, Yde Venema ILLC, University of Amsterdam Abstract We discuss the use of relation lifting in the theory of set-based coalgebra and coalgebraic
More informationWhat are Iteration Theories?
What are Iteration Theories? Jiří Adámek 1, Stefan Milius 1 and Jiří Velebil 2 1 Institute of Theoretical Computer Science, TU Braunschweig, Germany {adamek,milius}@iti.cs.tu-bs.de 2 Department of Mathematics,
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationAlgebraic theories in the presence of binding operators, substitution, etc.
Algebraic theories in the presence of binding operators, substitution, etc. Chung Kil Hur Joint work with Marcelo Fiore Computer Laboratory University of Cambridge 20th March 2006 Overview First order
More informationLecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.
Lecture 15: Duality We ended the last lecture by introducing one of the main characters in the remainder of the course, a topological quantum field theory (TQFT). At this point we should, of course, elaborate
More informationFROM COHERENT TO FINITENESS SPACES
FROM COHERENT TO FINITENESS SPACES PIERRE HYVERNAT Laboratoire de Mathématiques, Université de Savoie, 73376 Le Bourget-du-Lac Cedex, France. e-mail address: Pierre.Hyvernat@univ-savoie.fr Abstract. This
More informationIntroduction to generalized topological spaces
@ Applied General Topology c Universidad Politécnica de Valencia Volume 12, no. 1, 2011 pp. 49-66 Introduction to generalized topological spaces Irina Zvina Abstract We introduce the notion of generalized
More informationOrder Sorted Algebra. Japan Advanced Institute of Science and Technology. March 8, 2008
Order Sorted Algebra Daniel Găină Japan Advanced Institute of Science and Technology March 8, 2008 Introduction There are many examples where all items of one sort are necessarily also items of some other
More informationCategories of imaginaries for additive structures
Categories of imaginaries for additive structures Mike Prest Department of Mathematics Alan Turing Building University of Manchester Manchester M13 9PL UK mprest@manchester.ac.uk December 5, 2011 () December
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationCoreflections in Algebraic Quantum Logic
Coreflections in Algebraic Quantum Logic Bart Jacobs Jorik Mandemaker Radboud University, Nijmegen, The Netherlands Abstract Various generalizations of Boolean algebras are being studied in algebraic quantum
More informationCOLIMITS OF REPRESENTABLE ALGEBRA-VALUED FUNCTORS
Theory and Applications of Categories, Vol. 20, No. 12, 2008, pp. 334 404. COLIMITS OF REPRESENTABLE ALGEBRA-VALUED FUNCTORS GEORGE M. BERGMAN Abstract. If C and D are varieties of algebras in the sense
More informationLöwenheim-Skolem Theorems, Countable Approximations, and L ω. David W. Kueker (Lecture Notes, Fall 2007)
Löwenheim-Skolem Theorems, Countable Approximations, and L ω 0. Introduction David W. Kueker (Lecture Notes, Fall 2007) In its simplest form the Löwenheim-Skolem Theorem for L ω1 ω states that if σ L ω1
More informationAnother algorithm for nonnegative matrices
Linear Algebra and its Applications 365 (2003) 3 12 www.elsevier.com/locate/laa Another algorithm for nonnegative matrices Manfred J. Bauch University of Bayreuth, Institute of Mathematics, D-95440 Bayreuth,
More informationClosure operators on sets and algebraic lattices
Closure operators on sets and algebraic lattices Sergiu Rudeanu University of Bucharest Romania Closure operators are abundant in mathematics; here are a few examples. Given an algebraic structure, such
More informationAn Introduction to the Stolz-Teichner Program
Intro to STP 1/ 48 Field An Introduction to the Stolz-Teichner Program Australian National University October 20, 2012 Outline of Talk Field Smooth and Intro to STP 2/ 48 Field Field Motivating Principles
More informationA representation theorem for quantale valued sup-algebras
A representation theorem for quantale valued sup-algebras arxiv:1810.09561v1 [math.lo] 22 Oct 2018 Jan Paseka Department of Mathematics and Statistics Faculty of Science, Masaryk University Kotlářská 2,
More informationarxiv:math.lo/ v1 28 Nov 2004
HILBERT SPACES WITH GENERIC GROUPS OF AUTOMORPHISMS arxiv:math.lo/0411625 v1 28 Nov 2004 ALEXANDER BERENSTEIN Abstract. Let G be a countable group. We proof that there is a model companion for the approximate
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationON ENDOMORPHISM MONOIDS OF PARTIAL ORDERS AND CENTRAL RELATIONS 1
Novi Sad J. Math. Vol. 38, No. 1, 2008, 111-125 ON ENDOMORPHISM MONOIDS OF PRTIL ORDERS ND CENTRL RELTIONS 1 Dragan Mašulović 2 bstract. In this paper we characterize pairs of Rosenberg s (ρ, σ) with the
More informationExtending Algebraic Operations to D-Completions
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Extending Algebraic Operations to D-Completions Klaus
More informationCorrect classes of modules
Algebra and Discrete Mathematics Number?. (????). pp. 1 13 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE Correct classes of modules Robert Wisbauer Abstract. For a ring R, call a class C
More informationφ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),
16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)
More informationRecollement of Grothendieck categories. Applications to schemes
ull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 109 116 Recollement of Grothendieck categories. Applications to schemes by D. Joiţa, C. Năstăsescu and L. Năstăsescu Dedicated to the memory
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More information