Using topological systems to create a framework for institutions
|
|
- Doris Harrison
- 5 years ago
- Views:
Transcription
1 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 1 Austin Melton 1 Stephen E. Rodabaugh 2 Sergejs Solovjovs 3 1 Kent State University, Kent, Ohio, USA 2 Youngstown State University, Youngstown, Ohio, USA 3 Brno University of Technology, Brno, Czech Republic Topology, Algebra, and Categories in Logic 2015 Ischia, Italy June 21 26, 2015
2 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 2/34 Acknowledgements Sergejs Solovjovs acknowledges the support of Czech Science Foundation (GAČR) and Austrian Science Fund (FWF) through bilateral project No. I 1923-N25 New Perspectives on Residuated Posets.
3 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 3/34 Outline 1 Introduction 2 Affine systems 3 Affine theories 4 Affine institutions 5 Conclusion
4 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 4/34 Institutions and topological systems Institutions There is a convenient approach to logical systems in computer science based in institutions of J. A. Goguen and R. M. Burstall. An institution comprises a category of (abstract) signatures, where every signature has its associated sentences, models, and a relation of satisfaction, which is invariant under change of signature, i.e., truth is invariant under change of notation. Institutions include unsorted universal algebra, many-sorted algebra, order-sorted algebra, first-order logic, partial algebra. A number of authors proposed generalizations of institutions in various forms, e.g., using a purely category-theoretic approach.
5 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 4/34 Institutions and topological systems Institutions There is a convenient approach to logical systems in computer science based in institutions of J. A. Goguen and R. M. Burstall. An institution comprises a category of (abstract) signatures, where every signature has its associated sentences, models, and a relation of satisfaction, which is invariant under change of signature, i.e., truth is invariant under change of notation. Institutions include unsorted universal algebra, many-sorted algebra, order-sorted algebra, first-order logic, partial algebra. A number of authors proposed generalizations of institutions in various forms, e.g., using a purely category-theoretic approach.
6 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 4/34 Institutions and topological systems Institutions There is a convenient approach to logical systems in computer science based in institutions of J. A. Goguen and R. M. Burstall. An institution comprises a category of (abstract) signatures, where every signature has its associated sentences, models, and a relation of satisfaction, which is invariant under change of signature, i.e., truth is invariant under change of notation. Institutions include unsorted universal algebra, many-sorted algebra, order-sorted algebra, first-order logic, partial algebra. A number of authors proposed generalizations of institutions in various forms, e.g., using a purely category-theoretic approach.
7 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 4/34 Institutions and topological systems Institutions There is a convenient approach to logical systems in computer science based in institutions of J. A. Goguen and R. M. Burstall. An institution comprises a category of (abstract) signatures, where every signature has its associated sentences, models, and a relation of satisfaction, which is invariant under change of signature, i.e., truth is invariant under change of notation. Institutions include unsorted universal algebra, many-sorted algebra, order-sorted algebra, first-order logic, partial algebra. A number of authors proposed generalizations of institutions in various forms, e.g., using a purely category-theoretic approach.
8 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 5/34 Institutions and topological systems Topological systems Based in the ideas of geometric logic, topological systems of S. Vickers provide a common setting for both topological spaces and their underlying algebraic structures locales. S. Vickers showed system spatialization and localification procedures, i.e., ways to move back and forth between the categories of topological spaces (resp., locales) and topological systems. Recently, topological systems have gained in interest in connection with lattice-valued topology, e.g., one has introduced and studied lattice-valued topological systems; provided lattice-valued system spatialization procedure.
9 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 5/34 Institutions and topological systems Topological systems Based in the ideas of geometric logic, topological systems of S. Vickers provide a common setting for both topological spaces and their underlying algebraic structures locales. S. Vickers showed system spatialization and localification procedures, i.e., ways to move back and forth between the categories of topological spaces (resp., locales) and topological systems. Recently, topological systems have gained in interest in connection with lattice-valued topology, e.g., one has introduced and studied lattice-valued topological systems; provided lattice-valued system spatialization procedure.
10 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 5/34 Institutions and topological systems Topological systems Based in the ideas of geometric logic, topological systems of S. Vickers provide a common setting for both topological spaces and their underlying algebraic structures locales. S. Vickers showed system spatialization and localification procedures, i.e., ways to move back and forth between the categories of topological spaces (resp., locales) and topological systems. Recently, topological systems have gained in interest in connection with lattice-valued topology, e.g., one has introduced and studied lattice-valued topological systems; provided lattice-valued system spatialization procedure.
11 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 6/34 Institutions and topological systems Institutions versus systems To find relationships between institutions and topological systems, J. T. Denniston, A. Melton, and S. E. Rodabaugh introduced lattice-valued institutions, and showed that lattice-valued topological systems provide their particular instance. A. Sernadas, C. Sernadas, and J. M. Valença introduced crisp topological institutions based in topological systems, the slogan being that the central concept is the theory, not the formula. The purpose of this talk is to show that a suitably generalized concept of topological system provides a setting for elementary institutions of A. Sernadas, C. Sernadas, and J. M. Valença.
12 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 6/34 Institutions and topological systems Institutions versus systems To find relationships between institutions and topological systems, J. T. Denniston, A. Melton, and S. E. Rodabaugh introduced lattice-valued institutions, and showed that lattice-valued topological systems provide their particular instance. A. Sernadas, C. Sernadas, and J. M. Valença introduced crisp topological institutions based in topological systems, the slogan being that the central concept is the theory, not the formula. The purpose of this talk is to show that a suitably generalized concept of topological system provides a setting for elementary institutions of A. Sernadas, C. Sernadas, and J. M. Valença.
13 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 6/34 Institutions and topological systems Institutions versus systems To find relationships between institutions and topological systems, J. T. Denniston, A. Melton, and S. E. Rodabaugh introduced lattice-valued institutions, and showed that lattice-valued topological systems provide their particular instance. A. Sernadas, C. Sernadas, and J. M. Valença introduced crisp topological institutions based in topological systems, the slogan being that the central concept is the theory, not the formula. The purpose of this talk is to show that a suitably generalized concept of topological system provides a setting for elementary institutions of A. Sernadas, C. Sernadas, and J. M. Valença.
14 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 7/34 Algebraic preliminaries Ω-algebras and Ω-homomorphisms Definition 1 Let Ω = (n λ ) λ Λ be a family of cardinal numbers, which is indexed by a (possibly proper or empty) class Λ. An Ω-algebra is a pair (A, (ω A λ ) λ Λ), comprising a set A and a family of maps A n λ ωa λ A (n λ -ary primitive operations on A). An Ω-homomorphism (A 1, (ω A 1 λ ) λ Λ) ϕ (A 2, (ω A 2 λ ) λ Λ) is a ϕ map A 1 A2 such that ϕ ω A 1 λ = ωa 2 λ ϕn λ for every λ Λ. Alg(Ω) is the construct of Ω-algebras and Ω-homomorphisms.
15 Algebraic preliminaries Varieties and algebras Definition 2 Let M (resp. E) be the class of Ω-homomorphisms with injective (resp. surjective) underlying maps. A variety of Ω-algebras is a full subcategory of Alg(Ω), which is closed under the formation of products, M-subobjects and E-quotients, and whose objects (resp. morphisms) are called algebras (resp. homomorphisms). Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 8/34
16 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 9/34 Algebraic preliminaries Examples of varieties Example 3 1 CSLat( ) is the variety of -semilattices, and CSLat( ) is the variety of -semilattices. 2 Frm is the variety of frames. 3 CBAlg is the variety of complete Boolean algebras. 4 CSL is the variety of closure semilattices, i.e., -semilattices, with the singled out bottom element.
17 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 10/34 Affine spaces Affine spaces The following extends the notion of affine set of Y. Diers. Definition 4 Given a functor X T B op, where B is a variety of algebras, AfSpc(T ) is the concrete category over X, whose objects (T -affine spaces or T -spaces) are pairs (X, τ), where X is an X-object and τ is a subalgebra of TX ; morphisms (T -affine morphisms or T -morphisms) (X 1, τ 1 ) (X 2, τ 2 ) are X-morphisms X 1 f X2 with the property that (Tf ) op (α) τ 1 for every α τ 2. The concrete category (AfSpc(T ), ) is topological over X. f
18 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 10/34 Affine spaces Affine spaces The following extends the notion of affine set of Y. Diers. Definition 4 Given a functor X T B op, where B is a variety of algebras, AfSpc(T ) is the concrete category over X, whose objects (T -affine spaces or T -spaces) are pairs (X, τ), where X is an X-object and τ is a subalgebra of TX ; morphisms (T -affine morphisms or T -morphisms) (X 1, τ 1 ) (X 2, τ 2 ) are X-morphisms X 1 f X2 with the property that (Tf ) op (α) τ 1 for every α τ 2. The concrete category (AfSpc(T ), ) is topological over X. f
19 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 10/34 Affine spaces Affine spaces The following extends the notion of affine set of Y. Diers. Definition 4 Given a functor X T B op, where B is a variety of algebras, AfSpc(T ) is the concrete category over X, whose objects (T -affine spaces or T -spaces) are pairs (X, τ), where X is an X-object and τ is a subalgebra of TX ; morphisms (T -affine morphisms or T -morphisms) (X 1, τ 1 ) (X 2, τ 2 ) are X-morphisms X 1 f X2 with the property that (Tf ) op (α) τ 1 for every α τ 2. The concrete category (AfSpc(T ), ) is topological over X. f
20 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 11/34 Affine spaces Examples Example 5 Given a variety B, every subcategory S of B op induces a functor Set S P S B op (f,ϕ), P S ((X 1, B 1 ) (X 2, B 2 )) = B X P 1 S (f,ϕ) 1 B X 2 2, where (P S (f, ϕ)) op (α) = ϕ op α f. Example 6 1 If B = Frm, then AfSpc(P 2 ) = Top (topological spaces). 2 If B = CSL, then AfSpc(P 2 ) = Cls (closure spaces). 3 AfSpc(P B ) is the category AfSet(B) of affine sets of Y. Diers. 4 If B = Frm, then AfSpc(P S ) = S-Top (variable-basis latticevalued topological spaces of S. E. Rodabaugh).
21 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 11/34 Affine spaces Examples Example 5 Given a variety B, every subcategory S of B op induces a functor Set S P S B op (f,ϕ), P S ((X 1, B 1 ) (X 2, B 2 )) = B X P 1 S (f,ϕ) 1 B X 2 2, where (P S (f, ϕ)) op (α) = ϕ op α f. Example 6 1 If B = Frm, then AfSpc(P 2 ) = Top (topological spaces). 2 If B = CSL, then AfSpc(P 2 ) = Cls (closure spaces). 3 AfSpc(P B ) is the category AfSet(B) of affine sets of Y. Diers. 4 If B = Frm, then AfSpc(P S ) = S-Top (variable-basis latticevalued topological spaces of S. E. Rodabaugh).
22 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 12/34 Affine systems Affine systems Definition 7 Given a functor X T B op, AfSys(T ) is the comma category (T 1 B op), concrete over the product category X B op, whose objects (T -affine systems or T -systems) are triples (X, κ, B), made by B op -morphisms TX κ B; morphisms (T -affine morphisms or T -morphisms) (X 1, κ 1, B 1 ) (X 1, B 1 ) (f,ϕ) (f,ϕ) (X 2, κ 2, B 2 ) are X B op -morphisms (X 2, B 2 ), making the next diagram commute TX 1 Tf TX 2 κ 1 B 1 ϕ κ 2 B 2.
23 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 13/34 Affine systems Examples Example 8 1 If B = Frm, then AfSys(P 2 ) = TopSys (topological systems of S. Vickers). 2 If B = Set, then AfSys(P B ) = Chu B (Chu spaces over a set B of P.-H. Chu). Definition 9 A T -system (X, κ, B) is called separated provided that TX κ B is an epimorphism in B op. AfSys s (T ) is the full subcategory of AfSys(T ) of separated T -systems. Example 10 For B=CSL, AfSys s (P 2 )=SP (state property systems of D. Aerts).
24 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 13/34 Affine systems Examples Example 8 1 If B = Frm, then AfSys(P 2 ) = TopSys (topological systems of S. Vickers). 2 If B = Set, then AfSys(P B ) = Chu B (Chu spaces over a set B of P.-H. Chu). Definition 9 A T -system (X, κ, B) is called separated provided that TX κ B is an epimorphism in B op. AfSys s (T ) is the full subcategory of AfSys(T ) of separated T -systems. Example 10 For B=CSL, AfSys s (P 2 )=SP (state property systems of D. Aerts).
25 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 13/34 Affine systems Examples Example 8 1 If B = Frm, then AfSys(P 2 ) = TopSys (topological systems of S. Vickers). 2 If B = Set, then AfSys(P B ) = Chu B (Chu spaces over a set B of P.-H. Chu). Definition 9 A T -system (X, κ, B) is called separated provided that TX κ B is an epimorphism in B op. AfSys s (T ) is the full subcategory of AfSys(T ) of separated T -systems. Example 10 For B=CSL, AfSys s (P 2 )=SP (state property systems of D. Aerts).
26 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 14/34 Affine spatialization procedure Affine spatialization procedure Theorem 11 1 AfSpc(T ) E AfSys(T ), E((X 1, τ 1 ) (X 1, e op τ 1, τ 1 ) f (X 2, τ 2 )) = (f,ϕ) (X 2, e op τ 2, τ 2 ) is a full embedding, with e τi the inclusion τ i TX i and ϕ op the restriction τ 2 (Tf ) op τ 1 τ 2 τ1. 2 E has a right-adjoint-left-inverse AfSys(T ) Spat AfSpc(T ), (f,ϕ) Spat((X 1, κ 1, B 1 ) (X 2, κ 2, B 2 )) = (X 1, κ op 1 (B f 1)) (X 2, κ op 2 (B 2)). 3 AfSpc(T ) is isomorphic to a full (regular mono)-coreflective subcategory of AfSys(T ).
27 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 15/34 Affine spatialization procedure Consequences Theorem 12 E and Spat restrict to AfSpc(T ) E AfSys s (T ) and AfSys s (T ) Spat AfSpc(T ), providing an equivalence between the categories AfSpc(T ) and AfSys s (T ) such that Spat E = 1 AfSpc(T ). Corollary 13 AfSpc(T ) is the amnestic modification of AfSys s (T ). Example 14 1 Top is isomorphic to a full (regular mono)-coreflective subcategory of TopSys (system spatialization procedure of S. Vickers). 2 The categories Cls and SP are equivalent.
28 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 15/34 Affine spatialization procedure Consequences Theorem 12 E and Spat restrict to AfSpc(T ) E AfSys s (T ) and AfSys s (T ) Spat AfSpc(T ), providing an equivalence between the categories AfSpc(T ) and AfSys s (T ) such that Spat E = 1 AfSpc(T ). Corollary 13 AfSpc(T ) is the amnestic modification of AfSys s (T ). Example 14 1 Top is isomorphic to a full (regular mono)-coreflective subcategory of TopSys (system spatialization procedure of S. Vickers). 2 The categories Cls and SP are equivalent.
29 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 15/34 Affine spatialization procedure Consequences Theorem 12 E and Spat restrict to AfSpc(T ) E AfSys s (T ) and AfSys s (T ) Spat AfSpc(T ), providing an equivalence between the categories AfSpc(T ) and AfSys s (T ) such that Spat E = 1 AfSpc(T ). Corollary 13 AfSpc(T ) is the amnestic modification of AfSys s (T ). Example 14 1 Top is isomorphic to a full (regular mono)-coreflective subcategory of TopSys (system spatialization procedure of S. Vickers). 2 The categories Cls and SP are equivalent.
30 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 16/34 Affine localification procedure Affine localification procedure Proposition 15 AfSys(T ) Loc B op (f,ϕ), Loc((X 1, κ 1, B 1 ) (X 2, κ 2, B 2 )) = B 1 B 2 is a functor. ϕ Theorem 16 Given a functor X T B op, the following are equivalent. 1 There exists an adjoint situation (η, ε) : T Pt : B op X. 2 There exists a full embedding B op E AfSys(T ) such that Loc is a left-adjoint-left-inverse to E. B op is then isomorphic to a full reflective subcategory of AfSys(T ).
31 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 16/34 Affine localification procedure Affine localification procedure Proposition 15 AfSys(T ) Loc B op (f,ϕ), Loc((X 1, κ 1, B 1 ) (X 2, κ 2, B 2 )) = B 1 B 2 is a functor. ϕ Theorem 16 Given a functor X T B op, the following are equivalent. 1 There exists an adjoint situation (η, ε) : T Pt : B op X. 2 There exists a full embedding B op E AfSys(T ) such that Loc is a left-adjoint-left-inverse to E. B op is then isomorphic to a full reflective subcategory of AfSys(T ).
32 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 17/34 Affine localification procedure Examples Remark 17 P B Every functor Set B op has a right adjoint B op Pt B Set, ϕ Pt B (B 1 B2 ) = B(B 1, B) Pt Bϕ B(B 2, B), (Pt B ϕ)(p) = p ϕ op. Example 18 Loc is isomorphic to a full reflective subcategory of TopSys, which gives the system localification procedure of S. Vickers. B op is isomorphic to a full reflective subcategory of AfSys(P B ).
33 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 17/34 Affine localification procedure Examples Remark 17 P B Every functor Set B op has a right adjoint B op Pt B Set, ϕ Pt B (B 1 B2 ) = B(B 1, B) Pt Bϕ B(B 2, B), (Pt B ϕ)(p) = p ϕ op. Example 18 Loc is isomorphic to a full reflective subcategory of TopSys, which gives the system localification procedure of S. Vickers. B op is isomorphic to a full reflective subcategory of AfSys(P B ).
34 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 18/34 Affine theories Affine theories One could like to study the properties of the categories AfSys(T ) and AfSpc(T ) through the properties of the functor X T B op. Definition 19 An affine theory is a functor X T B op with B a variety of algebras.
35 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 18/34 Affine theories Affine theories One could like to study the properties of the categories AfSys(T ) and AfSpc(T ) through the properties of the functor X T B op. Definition 19 An affine theory is a functor X T B op with B a variety of algebras.
36 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 19/34 Affine theories Category of affine theories Definition 20 AfTh is the category given by the following data: objects are affine theories X T B op ; (F,Φ,η) morphisms T 1 T 2 (shortened to η) comprise two functors F Φ X 1 X2, B 1 B2 and a natural transformation T 2 F η Φ op T 1, X 1 T 1 B op 1 F X 2 η Φ op T 2 B op 2 η 1 η 2 composition of two affine theories T 1 T2, T 2 T3 is η 2 η 1 T 3 F 2 F 1 Φ op 2 Φop 1 T η 2F1 1=T 3 F 2 F 1 Φ op 2 T Φ op 2 2F η 1 1 Φ op 2 Φop 1 T 1; identity on a theory T is the identity natural transformation T 1 T T.
37 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 20/34 Affine theories Models of affine theories Definition 21 AfStm is the category, whose objects are categories of the form AfSys(T ) and whose morphisms are functors between them. Theorem 22 AfTh AfSys AfStm, AfSys(T 1 η T2 ) = AfSys(T 1 ) AfSysη (f,ϕ) AfSys(T 2 ), AfSysη((X, κ, B) (X, κ, B )) = (FX, Φ op κ η X, Φ op B) (Ff,Φop ϕ) (FX, Φ op κ η X, Φ op B ) is a functor. The respective functor for affine spaces requires more effort.
38 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 20/34 Affine theories Models of affine theories Definition 21 AfStm is the category, whose objects are categories of the form AfSys(T ) and whose morphisms are functors between them. Theorem 22 AfTh AfSys AfStm, AfSys(T 1 η T2 ) = AfSys(T 1 ) AfSysη (f,ϕ) AfSys(T 2 ), AfSysη((X, κ, B) (X, κ, B )) = (FX, Φ op κ η X, Φ op B) (Ff,Φop ϕ) (FX, Φ op κ η X, Φ op B ) is a functor. The respective functor for affine spaces requires more effort.
39 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 20/34 Affine theories Models of affine theories Definition 21 AfStm is the category, whose objects are categories of the form AfSys(T ) and whose morphisms are functors between them. Theorem 22 AfTh AfSys AfStm, AfSys(T 1 η T2 ) = AfSys(T 1 ) AfSysη (f,ϕ) AfSys(T 2 ), AfSysη((X, κ, B) (X, κ, B )) = (FX, Φ op κ η X, Φ op B) (Ff,Φop ϕ) (FX, Φ op κ η X, Φ op B ) is a functor. The respective functor for affine spaces requires more effort.
40 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 21/34 Institutions and their morphisms Institutions Definition 23 An institution I consists of: a category Sign of signatures, Σ denoting an arbitrary object, a functor Sign Mod Cat op giving Σ-models and Σ-morphisms, a functor Sign Sen Cat giving Σ-sentences and Σ-proofs, a satisfaction relation = Σ Ob(ModΣ) Ob(SenΣ) for every Σ Ob(Sign) such that satisfaction: m = Σ Senφ(s) iff Modφ(m ) = Σ s for every m Ob(ModΣ ), s Ob(SenΣ), Σ φ Σ in Sign, soundness: m = Σ s and s s in SenΣ imply m = Σ s for m Ob(ModΣ).
41 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 22/34 Institutions and their morphisms Institution morphisms Definition 24 An institution morphism I (Φ,α,β) I comprises a functor Sign Φ Sign, natural transformations Sen Φ α Sen and Mod β Mod Φ, Sign Sen Cat α Φ Sign Cat Sen Sign Mod Cat op such that the following satisfaction condition holds m = Σ α Σ (s ) iff β Σ (m) = ΦΣ s Φ Sign β Mod Cat op for every Σ-model m from I and every ΦΣ-sentence s from I.
42 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 23/34 Institutions and their morphisms Elementary institutions Definition 25 An institution is called elementary provided that the category Cat is replaced with the category Set. Inst (resp. ElInst) is the category of (resp. elementary) institutions and their morphisms.
43 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 24/34 Topological institutions and their morphisms Topological institutions and their morphisms Definition 26 A topological institution is a functor Sign T TopSys op, where Sign is a category of (abstract) signatures. A topological institution morphism (Sign, T ) (Φ,α) (Sign, T ) consists of a functor Sign Φ Sign and a natural transformation T α T Φ. TpInst is the category of topological institutions and their morphisms.
44 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 25/34 Affine institutions and their morphisms Affine institutions and their morphisms Definition 27 An affine institution is a functor S I AfSys(T ), where S is a category of (abstract) signatures. An affine institution morphism (S 1, I 1, T 1 ) (Φ,α,η) (S 2, I 2, T 2 ) comprises a functor S 1 Φ S2, an affine theory morphism T 1 η T 2, and a natural transformation AfSysηI 1 α I2 Φ, S 1 I 1 AfSys(T 1 ) Φ S 2 α AfSysη I 2 AfSys(T 2 ). AfInst is the category of affine institutions and their morphisms.
45 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 26/34 Affine institutions and their morphisms Examples of affine institutions Definition 28 Given an affine theory T, AfInst(T ) stands for the subcategory of AfInst consisting of affine institutions (S, I, T ) (shortened to (S, I )) and their respective morphisms (Φ, α, 1 T ) (shortened to (Φ, α)). Example 29 1 For B = Frm, AfInst(P 2 ) is a modification of TpInst. 2 Set P 2 Set op := Set P 2 CBAlg op op Set op gives the category AfInst( P 2 ), which is a modification of ElInst.
46 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 26/34 Affine institutions and their morphisms Examples of affine institutions Definition 28 Given an affine theory T, AfInst(T ) stands for the subcategory of AfInst consisting of affine institutions (S, I, T ) (shortened to (S, I )) and their respective morphisms (Φ, α, 1 T ) (shortened to (Φ, α)). Example 29 1 For B = Frm, AfInst(P 2 ) is a modification of TpInst. 2 Set P 2 Set op := Set P 2 CBAlg op op Set op gives the category AfInst( P 2 ), which is a modification of ElInst.
47 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 27/34 Affine institution spatialization procedure Spatial affine institutions Definition 30 Let T be an affine theory. A spatial affine T -institution is a functor S I AfSpc(T ), where S is a category of (abstract) signatures. A spatial affine T -institution morphism (S 1, I 1 ) (Φ,α) (S 2, I 2 ) Φ comprises a functor S 1 S2 and a natural transformation α I 1 I2 Φ. SAfInst(T ) is the category of spatial affine T -institutions and their morphisms.
48 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 28/34 Affine institution spatialization procedure Affine institution spatialization procedure Theorem 31 1 SAfInst(T ) IE AfInst(T ), IE((S 1, I 1 ) (Φ,α) (S 2, I 2 )) = (S 1, EI 1 ) (Φ,Eα) (S 2, EI 2 ) is a full embedding. 2 AfInst(T ) ISpat SAfInst(T ), ISpat((S 1, I 1 ) (Φ,α) (S 2, I 2 )) = (Φ,Spatα) (S 2, SpatI 2 ) is a right-adjoint-left- (S 1, SpatI 1 ) inverse to IE. 3 SAfInst(T ) is isomorphic to a full coreflective subcategory of AfInst(T ). This answers the question on spatialization construction for topological institutions of A. Sernadas, C. Sernadas, and J. M. Valença.
49 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 28/34 Affine institution spatialization procedure Affine institution spatialization procedure Theorem 31 1 SAfInst(T ) IE AfInst(T ), IE((S 1, I 1 ) (Φ,α) (S 2, I 2 )) = (S 1, EI 1 ) (Φ,Eα) (S 2, EI 2 ) is a full embedding. 2 AfInst(T ) ISpat SAfInst(T ), ISpat((S 1, I 1 ) (Φ,α) (S 2, I 2 )) = (Φ,Spatα) (S 2, SpatI 2 ) is a right-adjoint-left- (S 1, SpatI 1 ) inverse to IE. 3 SAfInst(T ) is isomorphic to a full coreflective subcategory of AfInst(T ). This answers the question on spatialization construction for topological institutions of A. Sernadas, C. Sernadas, and J. M. Valença.
50 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 29/34 Affine institution localification procedure Localic affine institutions Definition 32 Let X T B op be an affine theory. A localic affine T -institution is a functor S I B op, where S is a category of (abstract) signatures. A localic affine T -institution morphism (S 1, I 1 ) (Φ,α) (S 2, I 2 ) Φ comprises a functor S 1 S2 and a natural transformation α I 1 I2 Φ. LAfInst(T ) is the category of localic affine T -institutions and their morphisms.
51 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 30/34 Affine institution localification procedure Affine institution localification procedure Theorem 33 Let T be an affine theory such that there exists an adjoint situation (η, ε) : T Pt : B op X. 1 LAfInst(T ) IE AfInst(T ), IE((S 1, I 1 ) (Φ,α) (S 2, I 2 )) = (S 1, EI 1 ) (Φ,Eα) (S 2, EI 2 ) is a full embedding. 2 IE has a left-adjoint-left-inverse AfInst(T ) ILoc LAfInst(T ), ILoc((S 1, I 1 ) (S (Φ,α) 2, I 2 )) = (S 1, LocI 1 ) (S (Φ,Locα) 2, LocI 2 ). 3 LAfInst(T ) is isomorphic to a full reflective subcategory of AfInst(T ).
52 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 31/34 Final remarks Conclusion Following the concept of topological institution, we introduced the notion of affine institution and showed its respective spatialization and localification procedures. Affine institutions seem to provide a good framework for elementary institutions and topological institutions, since they do not require the employed algebraic structures to be frames. While A. Sernadas, C. Sernadas, and J. M. Valença. impose the frame structure on the set of theories (certain closed subsets of the set of sentences) of a given signature, which results in technical difficulties, we suggest the use of an arbitrary algebraic structure, which could be determined in each concrete case.
53 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 31/34 Final remarks Conclusion Following the concept of topological institution, we introduced the notion of affine institution and showed its respective spatialization and localification procedures. Affine institutions seem to provide a good framework for elementary institutions and topological institutions, since they do not require the employed algebraic structures to be frames. While A. Sernadas, C. Sernadas, and J. M. Valença. impose the frame structure on the set of theories (certain closed subsets of the set of sentences) of a given signature, which results in technical difficulties, we suggest the use of an arbitrary algebraic structure, which could be determined in each concrete case.
54 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 31/34 Final remarks Conclusion Following the concept of topological institution, we introduced the notion of affine institution and showed its respective spatialization and localification procedures. Affine institutions seem to provide a good framework for elementary institutions and topological institutions, since they do not require the employed algebraic structures to be frames. While A. Sernadas, C. Sernadas, and J. M. Valença. impose the frame structure on the set of theories (certain closed subsets of the set of sentences) of a given signature, which results in technical difficulties, we suggest the use of an arbitrary algebraic structure, which could be determined in each concrete case.
55 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 32/34 References References I J. Adámek, H. Herrlich, and G. E. Strecker, Abstract and Concrete Categories: The Joy of Cats, Dover Publications, D. Aerts, E. Colebunders, A. van der Voorde, and B. van Steirteghem, State property systems and closure spaces: a study of categorical equivalence, Int. J. Theor. Phys. 38 (1999), no. 1, J. T. Denniston, A. Melton, and S. E. Rodabaugh, Lattice-valued institutions, Abstracts of the 35th Linz Seminar on Fuzzy Set Theory (T. Flaminio, L. Godo, S. Gottwald, and E. P. Klement, eds.), Johannes Kepler Universität, Linz, 2014, pp Y. Diers, Categories of algebraic sets, Appl. Categ. Struct. 4 (1996), no. 2-3,
56 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 33/34 References References II J. A. Goguen and R. M. Burstall, Introducing institutions, Logics of Programs (Pittsburgh, Pa., 1983), Lecture Notes in Comput. Sci., vol. 164, Springer, Berlin, 1984, pp A. Sernadas, C. Sernadas, and J. M. Valença, A topological view on institutions, Tech. report, CLC, Department of Mathematics, Instituto Superior Técnico, Lisboa, Portugal, A. Sernadas, C. Sernadas, and J. M. Valença, A theory-based topological notion of institution, Recent Trends in Data Type Specification (E. Astesiano, G. Reggio, and A. Tarlecki, eds.), Springer Berlin Heidelberg, 1995, pp S. Vickers, Topology via Logic, Cambridge University Press, 1989.
57 Using topological systems to create a framework for institutions Sergejs Solovjovs Brno University of Technology 34/34 Thank you for your attention!
Categorical lattice-valued topology Lecture 1: powerset and topological theories, and their models
Categorical lattice-valued topology Lecture 1: powerset and topological theories, and their models Sergejs Solovjovs Department of Mathematics and Statistics, Faculty of Science, Masaryk University Kotlarska
More informationOn morphisms of lattice-valued formal contexts
On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 1/37 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Department of Mathematics and Statistics, Faculty
More informationCATEGORICALLY-ALGEBRAIC TOPOLOGY AND ITS APPLICATIONS
Iranian Journal of Fuzzy Systems Vol. 12, No. 3, (2015) pp. 57-94 57 CATEGORICALLY-ALGEBRAIC TOPOLOGY AND ITS APPLICATIONS S. A. SOLOVYOV Abstract. This paper introduces a new approach to topology, based
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 informationOn complete objects in the category of T 0 closure spaces
@ Applied General Topology c Universidad Politécnica de Valencia Volume 4, No. 1, 2003 pp. 25 34 On complete objects in the category of T 0 closure spaces D. Deses, E. Giuli and E. Lowen-Colebunders Abstract.
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 informationarxiv: v1 [math.ct] 28 Oct 2017
BARELY LOCALLY PRESENTABLE CATEGORIES arxiv:1710.10476v1 [math.ct] 28 Oct 2017 L. POSITSELSKI AND J. ROSICKÝ Abstract. We introduce a new class of categories generalizing locally presentable ones. The
More informationOn injective constructions of S-semigroups. Jan Paseka Masaryk University
On injective constructions of S-semigroups Jan Paseka Masaryk University Joint work with Xia Zhang South China Normal University BLAST 2018 University of Denver, Denver, USA Jan Paseka (MU) 10. 8. 2018
More informationON THE UNIFORMIZATION OF L-VALUED FRAMES
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 09 42 ON THE UNIFORMIZATION OF L-VALUED FRAMES J. GUTIÉRREZ GARCÍA, I. MARDONES-PÉREZ, JORGE PICADO AND M. A. DE PRADA
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 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 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 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 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 informationCategory Theory (UMV/TK/07)
P. J. Šafárik University, Faculty of Science, Košice Project 2005/NP1-051 11230100466 Basic information Extent: 2 hrs lecture/1 hrs seminar per week. Assessment: Written tests during the semester, written
More informationThe Essentially Equational Theory of Horn Classes
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
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 informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
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 informationON SOME BASIC CONSTRUCTIONS IN CATEGORIES OF QUANTALE-VALUED SUP-LATTICES. 1. Introduction
Math. Appl. 5 (2016, 39 53 DOI: 10.13164/ma.2016.04 ON SOME BASIC CONSTRUCTIONS IN CATEGORIES OF QUANTALE-VALUED SUP-LATTICES RADEK ŠLESINGER Abstract. If the standard concepts of partial-order relation
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 informationA topological duality for posets
A topological duality for posets RAMON JANSANA Universitat de Barcelona join work with Luciano González TACL 2015 Ischia, June 26, 2015. R. Jansana 1 / 20 Introduction In 2014 M. A. Moshier and P. Jipsen
More information(IC)LM-FUZZY TOPOLOGICAL SPACES. 1. Introduction
Iranian Journal of Fuzzy Systems Vol. 9, No. 6, (2012) pp. 123-133 123 (IC)LM-FUZZY TOPOLOGICAL SPACES H. Y. LI Abstract. The aim of the present paper is to define and study (IC)LM-fuzzy topological spaces,
More informationSPECTRAL-LIKE DUALITY FOR DISTRIBUTIVE HILBERT ALGEBRAS WITH INFIMUM
SPECTRAL-LIKE DUALITY FOR DISTRIBUTIVE HILBERT ALGEBRAS WITH INFIMUM SERGIO A. CELANI AND MARÍA ESTEBAN Abstract. Distributive Hilbert Algebras with infimum, or DH -algebras, are algebras with implication
More informationNotes about Filters. Samuel Mimram. December 6, 2012
Notes about Filters Samuel Mimram December 6, 2012 1 Filters and ultrafilters Definition 1. A filter F on a poset (L, ) is a subset of L which is upwardclosed and downward-directed (= is a filter-base):
More informationA note on separation and compactness in categories of convergence spaces
@ Applied General Topology c Universidad Politécnica de Valencia Volume 4, No. 1, 003 pp. 1 13 A note on separation and compactness in categories of convergence spaces Mehmet Baran and Muammer Kula Abstract.
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 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 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 informationReflexive cum Coreflexive Subcategories in Topology*
Math. Ann. 195, 168--174 (1972) ~) by Springer-Verlag 1972 Reflexive cum Coreflexive Subcategories in Topology* V. KANNAN The notions of reflexive and coreflexive subcategories in topology have received
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 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 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 informationPointless Topology. Seminar in Analysis, WS 2013/14. Georg Lehner ( ) May 3, 2015
Pointless Topology Seminar in Analysis, WS 2013/14 Georg Lehner (1125178) May 3, 2015 Starting with the motivating example of Stone s representation theorem that allows one to represent Boolean algebras
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 informationPOWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
Iranian Journal of Fuzzy Systems Vol. 8, No. 2, (2011) pp. 1-46 1 POWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES S. A. SOLOVYOV Abstract. The paper sets forth in detail categorically-algebraic
More informationPartially ordered monads and powerset Kleene algebras
Partially ordered monads and powerset Kleene algebras Patrik Eklund 1 and Werner Gähler 2 1 Umeå University, Department of Computing Science, SE-90187 Umeå, Sweden peklund@cs.umu.se 2 Scheibenbergstr.
More informationAlgebraic 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 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 informationEmbedding locales and formal topologies into positive topologies
Embedding locales and formal topologies into positive topologies Francesco Ciraulo Giovanni Sambin Department of Mathematics, University of Padova Via Trieste 63, 35121 Padova, Italy ciraulo@math.unipd.it,
More informationarxiv: v2 [math.ct] 27 Dec 2014
ON DIRECT SUMMANDS OF HOMOLOGICAL FUNCTORS ON LENGTH CATEGORIES arxiv:1305.1914v2 [math.ct] 27 Dec 2014 ALEX MARTSINKOVSKY Abstract. We show that direct summands of certain additive functors arising 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 informationAn embedding of ChuCors in L-ChuCors
Proceedings of the 10th International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2010 27 30 June 2010. An embedding of ChuCors in L-ChuCors Ondrej Krídlo 1,
More informationA Grothendieck site is a small category C equipped with a Grothendieck topology T. A Grothendieck topology T consists of a collection of subfunctors
Contents 5 Grothendieck topologies 1 6 Exactness properties 10 7 Geometric morphisms 17 8 Points and Boolean localization 22 5 Grothendieck topologies A Grothendieck site is a small category C equipped
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 informationMathematical Foundations for Conceptual Blending
Mathematical Foundations for Conceptual Blending Răzvan Diaconescu Simion Stoilow Institute of Mathematics of the Romanian Academy FROM 2017 Part I Conceptual Blending: from Fauconnier and Turner to Goguen
More informationDuality for first order logic
Duality for first order logic Dion Coumans Radboud University Nijmegen Aio-colloquium, June 2010 Outline 1 Introduction to logic and duality theory 2 Algebraic semantics for classical first order logic:
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationMetric spaces and textures
@ Appl. Gen. Topol. 18, no. 1 (2017), 203-217 doi:10.4995/agt.2017.6889 c AGT, UPV, 2017 Metric spaces and textures Şenol Dost Hacettepe University, Department of Mathematics and Science Education, 06800
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 informationOn hyperconnected topological spaces
An. Ştiinţ. Univ. Al. I. Cuza Iaşi Mat. (N.S.) Tomul LXII, 2016, f. 2, vol. 1 On hyperconnected topological spaces Vinod Kumar Devender Kumar Kamboj Received: 4.X.2012 / Accepted: 12.XI.2012 Abstract It
More informationCanonical extension of coherent categories
Canonical extension of coherent categories Dion Coumans Radboud University Nijmegen Topology, Algebra and Categories in Logic (TACL) Marseilles, July 2011 1 / 33 Outline 1 Canonical extension of distributive
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 informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationIII A Functional Approach to General Topology
III A Functional Approach to General Topology Maria Manuel Clementino, Eraldo Giuli and Walter Tholen In this chapter we wish to present a categorical approach to fundamental concepts of General Topology,
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 informationarxiv: v1 [math.gm] 20 Apr 2017
arxiv:1704.08112v1 [math.gm] 20 Apr 2017 Categorical Accommodation of Graded Fuzzy Topological System, Graded Frame and Fuzzy Topological Space with Graded inclusion Purbita Jana a,, Mihir.K. Chakraborty
More informationThe prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce
The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada
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 informationNabla Algebras and Chu Spaces
Nabla Algebras and Chu Spaces Alessandra Palmigiano and Yde Venema Universiteit van Amsterdam, ILLC Plantage Muidergracht 24 1018 TV Amsterdam, Netherlands Abstract. This paper is a study into some properties
More informationCategorical relativistic quantum theory. Chris Heunen Pau Enrique Moliner Sean Tull
Categorical relativistic quantum theory Chris Heunen Pau Enrique Moliner Sean Tull 1 / 15 Idea Hilbert modules: naive quantum field theory Idempotent subunits: base space in any category Support: where
More informationCLOSURE, INTERIOR AND NEIGHBOURHOOD IN A CATEGORY
CLOSURE, INTERIOR AND NEIGHBOURHOOD IN A CATEGORY DAVID HOLGATE AND JOSEF ŠLAPAL Abstract. While there is extensive literature on closure operators in categories, less has been done in terms of their dual
More informationElementary (ha-ha) Aspects of Topos Theory
Elementary (ha-ha) Aspects of Topos Theory Matt Booth June 3, 2016 Contents 1 Sheaves on topological spaces 1 1.1 Presheaves on spaces......................... 1 1.2 Digression on pointless topology..................
More informationOn the normal completion of a Boolean algebra
Journal of Pure and Applied Algebra 181 (2003) 1 14 www.elsevier.com/locate/jpaa On the normal completion of a Boolean algebra B. Banaschewski a, M.M. Ebrahimi b, M. Mahmoudi b; a Department of Mathematics
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 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 informationLecture 4. Algebra. Section 1:. Signature, algebra in a signature. Isomorphisms, homomorphisms, congruences and quotient algebras.
V. Borschev and B. Partee, September 18, 2001 p. 1 Lecture 4. Algebra. Section 1:. Signature, algebra in a signature. Isomorphisms, homomorphisms, congruences and quotient algebras. CONTENTS 0. Why algebra?...1
More informationIntermediate Model Theory
Intermediate Model Theory (Notes by Josephine de la Rue and Marco Ferreira) 1 Monday 12th December 2005 1.1 Ultraproducts Let L be a first order predicate language. Then M =< M, c M, f M, R M >, an L-structure
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 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 information848 Jyung Ryun Seo and Chang Koo Lee that NFrm is complete, cocomplete and study permanence properties of important subcategories of NFrm. Furthermore
Comm. Korean Math. Soc. 13 (1998), No. 4, pp. 847{854 CATEGORIES OF NEARNESS FRAMES Jyung Ryun Seo and Chang Koo Lee Abstract. We investigate categorical properties of the category NFrm of nearness frames
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 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 informationQuotient Structure of Interior-closure Texture Spaces
Filomat 29:5 (2015), 947 962 DOI 10.2298/FIL1505947D Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Quotient Structure of Interior-closure
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 informationMaps and Monads for Modal Frames
Robert Goldblatt Maps and Monads for Modal Frames Dedicated to the memory of Willem Johannes Blok. Abstract. The category-theoretic nature of general frames for modal logic is explored. A new notion of
More informationFrom Wikipedia, the free encyclopedia
Monomorphism - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/monomorphism 1 of 3 24/11/2012 02:01 Monomorphism From Wikipedia, the free encyclopedia In the context of abstract algebra or
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 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 informationINTUITIONISTIC TEXTURES REVISITED
Hacettepe Journal of Mathematics and Statistics Volume 34 S (005), 115 130 Doğan Çoker Memorial Issue INTUITIONISTIC TEXTURES REVISITED Şenol Dost and Lawrence M. Brown Received 9 : 04 : 005 : Accepted
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 informationCategory Theory. Travis Dirle. December 12, 2017
Category Theory 2 Category Theory Travis Dirle December 12, 2017 2 Contents 1 Categories 1 2 Construction on Categories 7 3 Universals and Limits 11 4 Adjoints 23 5 Limits 31 6 Generators and Projectives
More informationSJÄLVSTÄNDIGA ARBETEN I MATEMATIK
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Equivariant Sheaves on Topological Categories av Johan Lindberg 2015 - No 7 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET,
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 informationThe Logic of Partitions
The Logic of Partitions Introduction to the Dual of "Propositional" Logic David Ellerman Philosophy U. of California/Riverside U. of Ljubljana, Sept. 8, 2015 David Ellerman Philosophy U. of California/Riverside
More informationTopological clones. Michael Pinsker. Technische Universität Wien / Univerzita Karlova v Praze. Funded by Austrian Science Fund (FWF) grant P27600
Technische Universität Wien / Univerzita Karlova v Praze Funded by Austrian Science Fund (FWF) grant P27600 TACL 2015 Outline I: Algebras, function clones, abstract clones, Birkhoff s theorem II:, Topological
More informationPART II.2. THE!-PULLBACK AND BASE CHANGE
PART II.2. THE!-PULLBACK AND BASE CHANGE Contents Introduction 1 1. Factorizations of morphisms of DG schemes 2 1.1. Colimits of closed embeddings 2 1.2. The closure 4 1.3. Transitivity of closure 5 2.
More informationOn k-groups and Tychonoff k R -spaces (Category theory for topologists, topology for group theorists, and group theory for categorical topologists)
On k-groups and Tychonoff k R -spaces 0 On k-groups and Tychonoff k R -spaces (Category theory for topologists, topology for group theorists, and group theory for categorical topologists) Gábor Lukács
More informationWhen does a semiring become a residuated lattice?
When does a semiring become a residuated lattice? Ivan Chajda and Helmut Länger arxiv:1809.07646v1 [math.ra] 20 Sep 2018 Abstract It is an easy observation that every residuated lattice is in fact a semiring
More informationTopological algebra based on sorts and properties as free and cofree universes
Topological algebra based on sorts and properties as free and cofree universes Vaughan Pratt Stanford University BLAST 2010 CU Boulder June 2 MOTIVATION A well-structured category C should satisfy WS1-5.
More informationtp(c/a) tp(c/ab) T h(m M ) is assumed in the background.
Model Theory II. 80824 22.10.2006-22.01-2007 (not: 17.12) Time: The first meeting will be on SUNDAY, OCT. 22, 10-12, room 209. We will try to make this time change permanent. Please write ehud@math.huji.ac.il
More informationThe variety of commutative additively and multiplicatively idempotent semirings
Semigroup Forum (2018) 96:409 415 https://doi.org/10.1007/s00233-017-9905-2 RESEARCH ARTICLE The variety of commutative additively and multiplicatively idempotent semirings Ivan Chajda 1 Helmut Länger
More informationGeneralized Matrix Artin Algebras. International Conference, Woods Hole, Ma. April 2011
Generalized Matrix Artin Algebras Edward L. Green Department of Mathematics Virginia Tech Blacksburg, VA, USA Chrysostomos Psaroudakis Department of Mathematics University of Ioannina Ioannina, Greece
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 informationCentre for Mathematical Structures! Exploring Mathematical Structures across Mathematics, Computer Science, Physics, Biology, and other disciplines!
! Centre for Mathematical Structures! Exploring Mathematical Structures across Mathematics, Computer Science, Physics, Biology, and other disciplines!! DUALITY IN NON-ABELIAN ALGEBRA I. FROM COVER RELATIONS
More informationSkew Boolean algebras
Skew Boolean algebras Ganna Kudryavtseva University of Ljubljana Faculty of Civil and Geodetic Engineering IMFM, Ljubljana IJS, Ljubljana New directions in inverse semigroups Ottawa, June 2016 Plan of
More informationCompleteness and zero-dimensionality arising from the duality between closures and lattices. Didier Deses
Completeness and zero-dimensionality arising from the duality between closures and lattices Didier Deses Preface Before beginning the mathematical part of this work, I would like to express my gratitude
More informationDistributive Lattices with Quantifier: Topological Representation
Chapter 8 Distributive Lattices with Quantifier: Topological Representation Nick Bezhanishvili Department of Foundations of Mathematics, Tbilisi State University E-mail: nickbezhanishvilli@netscape.net
More informationOn some properties of T 0 ordered reflection
@ Appl. Gen. Topol. 15, no. 1 (2014), 43-54 doi:10.4995/agt.2014.2144 AGT, UPV, 2014 On some properties of T 0 ordered reflection Sami Lazaar and Abdelwaheb Mhemdi Department of Mathematics, Faculty of
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 information