On morphisms of lattice-valued formal contexts
|
|
- Howard Evans
- 5 years ago
- Views:
Transcription
1 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 of Science, Masaryk University Kotlarska 2, Brno, Czech Republic web page: solovjovs The 4th Novi Sad Algebraic Conference in conjunction with the workshop Semigroups and Applications 2013 Novi Sad, Serbia June 5-9, 2013
2 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 2/37 Acknowledgements The author gratefully acknowledges the support of the ESF project CZ.1.07/2.3.00/ Algebraic methods in Quantum Logic of the Masaryk University in Brno, Czech Republic.
3 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 3/37 Outline 1 Introduction 2 Preliminaries on powerset operators 3 Categories of lattice-valued formal contexts 4 Properties of the categories of lattice-valued formal contexts 5 Conclusion
4 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 4/37 Formal Concept Analysis Formal Concept Analysis Formal Concept Analysis (FCA) has taken its origin as an attempt to restructure mathematics, e.g., lattice theory. Since then, FCA has been developed as a subfield of applied mathematics, based in mathematization of concept hierarchies. The aim of FCA is to support the rational communication of humans by mathematically developing appropriate conceptual structures, which can be logically activated.
5 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 4/37 Formal Concept Analysis Formal Concept Analysis Formal Concept Analysis (FCA) has taken its origin as an attempt to restructure mathematics, e.g., lattice theory. Since then, FCA has been developed as a subfield of applied mathematics, based in mathematization of concept hierarchies. The aim of FCA is to support the rational communication of humans by mathematically developing appropriate conceptual structures, which can be logically activated.
6 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 4/37 Formal Concept Analysis Formal Concept Analysis Formal Concept Analysis (FCA) has taken its origin as an attempt to restructure mathematics, e.g., lattice theory. Since then, FCA has been developed as a subfield of applied mathematics, based in mathematization of concept hierarchies. The aim of FCA is to support the rational communication of humans by mathematically developing appropriate conceptual structures, which can be logically activated.
7 Formal Concept Analysis Formal contexts One of the main building blocks of FCA provide formal contexts. Definition 1 A formal context is a triple (G, M, I ), which comprises a set of objects G, a set of attributes M, and a binary incidence relation I between G and M, where g I m means object g has attribute m. On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 5/37
8 Formal Concept Analysis Formal contexts One of the main building blocks of FCA provide formal contexts. Definition 1 A formal context is a triple (G, M, I ), which comprises a set of objects G, a set of attributes M, and a binary incidence relation I between G and M, where g I m means object g has attribute m. On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 5/37
9 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 6/37 Formal Concept Analysis Formal context morphisms There exist at least three (different) ways of defining a morphism between two formal contexts (G 1, M 1, I 1 ) and (G 2, M 2, I 2 ). 1 The theory of FCA employs pairs of maps G 1 α G2, M 1 β M2 such that g I 1 m iff α(g) I 2 β(m) for every g G 1, m M 1. 2 The theory of Chu spaces uses pairs of maps G 1 α G2, M 2 β M 1 such that g I 1 β(m) iff α(g) I 2 m for every g G 1, m M 2.
10 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 6/37 Formal Concept Analysis Formal context morphisms There exist at least three (different) ways of defining a morphism between two formal contexts (G 1, M 1, I 1 ) and (G 2, M 2, I 2 ). 1 The theory of FCA employs pairs of maps G 1 α G2, M 1 β M2 such that g I 1 m iff α(g) I 2 β(m) for every g G 1, m M 1. 2 The theory of Chu spaces uses pairs of maps G 1 α G2, M 2 β M 1 such that g I 1 β(m) iff α(g) I 2 m for every g G 1, m M 2.
11 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 6/37 Formal Concept Analysis Formal context morphisms There exist at least three (different) ways of defining a morphism between two formal contexts (G 1, M 1, I 1 ) and (G 2, M 2, I 2 ). 1 The theory of FCA employs pairs of maps G 1 α G2, M 1 β M2 such that g I 1 m iff α(g) I 2 β(m) for every g G 1, m M 1. 2 The theory of Chu spaces uses pairs of maps G 1 α G2, M 2 β M 1 such that g I 1 β(m) iff α(g) I 2 m for every g G 1, m M 2.
12 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 7/37 Formal Concept Analysis Formal context morphisms 3 The theory of Galois connections relies on the pairs of maps P(G 1 ) α P(G 2 ), P(M 2 ) β P(M 1 ), where P(X ) stands for the powerset of X, such that the diagrams P(G 1 ) α P(G 2 ) and P(M 1 ) β P(M 2 ) H 1 H 2 P(M 1 ) P(M 2 ) β K 1 P(G 1 ) α K 2 P(G 2 ) commute, where H j (S) = {m M j s I j m for every s S} and K j (T ) = {g G j g I j t for every t T } (Birkhoff operators).
13 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 8/37 Lattice-valued Formal Concept Analysis Lattice-valued formal contexts J. T. Denniston, A. Melton, and S. E. Rodabaugh compared the approaches of items (2) and (3) by considering their respective categories of lattice-valued formal contexts (in the sense of R. Bělohlávek) over a fixed commutative quantale Q, and constructing an embedding of each category into its counterparts. They finally arrived at the conclusion that the two viewpoints on formal context morphisms were not categorically isomorphic.
14 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 8/37 Lattice-valued Formal Concept Analysis Lattice-valued formal contexts J. T. Denniston, A. Melton, and S. E. Rodabaugh compared the approaches of items (2) and (3) by considering their respective categories of lattice-valued formal contexts (in the sense of R. Bělohlávek) over a fixed commutative quantale Q, and constructing an embedding of each category into its counterparts. They finally arrived at the conclusion that the two viewpoints on formal context morphisms were not categorically isomorphic.
15 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 9/37 Lattice-valued Formal Concept Analysis Lattice-valued formal contexts This talk compares all three of the above-mentioned approaches to morphisms in the framework of lattice-valued formal contexts over a category of not necessarily commutative quantales. We construct a number of embeddings between their respective categories of formal contexts, showing that the approach of item (3) falls out of the FCA setting in the lattice-valued case.
16 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 9/37 Lattice-valued Formal Concept Analysis Lattice-valued formal contexts This talk compares all three of the above-mentioned approaches to morphisms in the framework of lattice-valued formal contexts over a category of not necessarily commutative quantales. We construct a number of embeddings between their respective categories of formal contexts, showing that the approach of item (3) falls out of the FCA setting in the lattice-valued case.
17 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 10/37 Quantales -semilattices Definition 2 CSLat( ) is the variety of -semilattices, i.e., partially ordered sets (posets), which have arbitrary joins. Every ϕ -semilattice homomorphism A 1 A2 has the upper adjoint map A 2 A 1 given by ϕ (a 2 ) = {a 1 A 1 ϕ(a 1 ) a 2 ϕ }.
18 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 10/37 Quantales -semilattices Definition 2 CSLat( ) is the variety of -semilattices, i.e., partially ordered sets (posets), which have arbitrary joins. Every ϕ -semilattice homomorphism A 1 A2 has the upper adjoint map A 2 A 1 given by ϕ (a 2 ) = {a 1 A 1 ϕ(a 1 ) a 2 ϕ }.
19 Quantales Quantales Definition 3 1 Quant is the variety of quantales, i.e., triples (Q,, ), where (Q, ) is a -semilattice; (Q, ) is a semigroup; distributes across from both sides. 2 UQuant is the variety of unital quantales, i.e., quantales Q, which have an element 1 Q such that (Q,, 1 Q ) is a monoid. A quantale Q has two residuations, which are given by q 1 l q 2 = {q Q q q1 q 2 } and q 1 r q 2 = {q Q q 1 q q 2 }. On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 11/37
20 Quantales Quantales Definition 3 1 Quant is the variety of quantales, i.e., triples (Q,, ), where (Q, ) is a -semilattice; (Q, ) is a semigroup; distributes across from both sides. 2 UQuant is the variety of unital quantales, i.e., quantales Q, which have an element 1 Q such that (Q,, 1 Q ) is a monoid. A quantale Q has two residuations, which are given by q 1 l q 2 = {q Q q q1 q 2 } and q 1 r q 2 = {q Q q 1 q q 2 }. On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 11/37
21 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 12/37 Powerset operators Crisp forward powerset operator Definition 4 f Given a map X 1 X2, the forward powerset operator w.r.t. f is the map P(X 1 ) f P(X 2 ), which is defined by f (S) = {f (s) s S}.
22 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 13/37 Powerset operators Lattice-valued forward powerset operators I Theorem 5 1 Given a variety L, which extends CSLat( ), every subcategory S of L provides a functor Set S ( ) CSLat( ), which (f,ϕ) is defined by ((X 1, L 1 ) (X 2, L 2 )) = L X (f,ϕ) 1 1 L X 2 2, where ((f, ϕ) (α))(x 2 ) = ϕ( f (x 1 )=x 2 α(x 1 )). 2 Let L be a variety, which extends CSLat( ), and let S be a subcategory of L op ϕ such that for every S-morphism L 1 L2, ϕ the map L op 1 L 2 is -preserving. Then there exists a functor Set S ( ) CSLat( ) defined by ((X 1, L 1 ) (f,ϕ) (f,ϕ) (X 2, L 2 )) = L X 1 1 L X 2 2, where ((f, ϕ) (α))(x 2 ) = ϕ op ( f (x 1 )=x 2 α(x 1 )).
23 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 14/37 Powerset operators Lattice-valued forward powerset operators II Theorem 6 1 Given a variety L, which extends CSLat( ), every subcategory S of L op provides a functor Set op S ( ) o (CSLat( )) op (f,ϕ) ((f,ϕ) o ) op with ((X 1, L 1 ) (X 2, L 2 )) o = L X 1 1 L X 2 2, where ((f, ϕ) o (α))(x 1 ) = ϕ op ( f op (x 2 )=x 1 α(x 2 )). 2 Let L be a variety, which extends CSLat( ), and let S be ϕ a subcategory of L such that for every S-morphism L 1 ϕ L 2, the map L 2 L 1 is -preserving. Then there exists a functor Set op S ( ) o (CSLat( )) op defined by (f,ϕ) ((f,ϕ) o ) op ((X 1, L 1 ) (X 2, L 2 )) o = L X 1 1 L X 2 2, where ((f, ϕ) o (α))(x 1 ) = ϕ ( f op (x 2 )=x 1 α(x 2 )).
24 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 15/37 Galois connections Galois connections Definition 7 A tuple ((X 1, ), f, g, (X 2, )) is an order-reversing Galois connec- f tion provided that (X 1, ), (X 2, ) are posets, and X 1 X 2 are g maps with x 1 g(x 2 ) iff x 2 f (x 1 ) for every x 1 X 1, x 2 X 2.
25 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 16/37 Lattice-valued formal contexts Formal contexts as Chu spaces Definition 8 Let L be a variety, which extends Quant, and let S be a subcategory of L op. S-FC C is the category, which comprises the following data. Objects: tuples K = (G, M, L, I ) ((lattice-valued) formal contexts), where G is the set of context objects, M is the set of context attributes, L is an S-object, and G M I L is a map, which is called the context incidence relation. f Morphisms: K 1 K2 ((lattice-valued) formal context morphisms) are triples (G 1, M 1, L 1 ) f =(α,β,ϕ) (G 2, M 2, L 2 ) in Set Set op S with I 1 (g, β op (m)) = ϕ op I 2 (α(g), m) for every g G 1, m M 2.
26 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 17/37 Lattice-valued formal contexts Modified formal contexts as Chu spaces Definition 9 Let L be a variety, which extends Quant, and let S be a subcategory of L. S-FC C m is the category, which comprises the following data. Objects: (lattice-valued) formal contexts. f =(α,β,ϕ) f Morphisms: K 1 K2 are triples (G 1, M 1, L 1 ) (G 2, M 2, L 2 ) in Set Set op S with ϕ I 1 (g, β op (m)) = I 2 (α(g), m) for every g G 1, m M 2.
27 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 18/37 Lattice-valued formal contexts Formal contexts of B. Ganter and R. Wille Definition 10 Let L be a variety, which extends Quant, and let S be a subcategory of L op. S-FC GW is the category, which comprises the following data. Objects: (lattice-valued) formal contexts. f =(α,β,ϕ) f Morphisms: K 1 K2 are triples (G 1, M 1, L 1 ) (G 2, M 2, L 2 ) in Set Set S with I 1 (g, m) = ϕ op I 2 (α(g), β(m)) for every g G 1, m M 1.
28 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 19/37 Lattice-valued formal contexts Modified formal contexts of B. Ganter and R. Wille Definition 11 Let L be a variety, which extends Quant, and let S be a subcategory of L. S-FC GW m is the category, which comprises the following data. Objects: (lattice-valued) formal contexts. f =(α,β,ϕ) f Morphisms: K 1 K2 are triples (G 1, M 1, L 1 ) (G 2, M 2, L 2 ) in Set Set S with ϕ I 1 (g, m) = I 2 (α(g), β(m)) for every g G 1, m M 1.
29 Lattice-valued formal contexts Lattice-valued Birkhoff operators Definition 12 Every lattice-valued formal context K provides the following (latticevalued) Birkhoff operators: 1 L G H L M given by (H(s))(m) = g G (s(g) l I (g, m)); 2 L M K L G given by (K(t))(g) = m M (t(m) r I (g, m)). Theorem 13 For every lattice-valued context K, (L G, H, K, L M ) is an orderreversing Galois connection. On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 20/37
30 Lattice-valued formal contexts Lattice-valued Birkhoff operators Definition 12 Every lattice-valued formal context K provides the following (latticevalued) Birkhoff operators: 1 L G H L M given by (H(s))(m) = g G (s(g) l I (g, m)); 2 L M K L G given by (K(t))(g) = m M (t(m) r I (g, m)). Theorem 13 For every lattice-valued context K, (L G, H, K, L M ) is an orderreversing Galois connection. On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 20/37
31 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 21/37 Lattice-valued formal contexts Crisp Birkhoff operators Example 14 Every crisp context K provides the maps 1 P(G) H P(M), H(S) = {m M s I m for every s S}; 2 P(M) K P(G), K(T ) = {g G g I t for every t T }; which are the classical Birkhoff operators of a binary relation.
32 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 22/37 Lattice-valued formal contexts Formal contexts of J. T. Denniston et al. Definition 15 Given a variety L, which extends Quant, and a subcategory S of L, S-FC DMR is the category, concrete over the product category Set Set op, which comprises the following data. Objects: lattice-valued formal contexts K with L an object of S. f =(α,β) Morphisms: K 1 K 2 are Set Set op -morphisms (L G 1 1, LM 1 1 ) (α,β) (L G 2 2, LM 2 2 ), making the next diagrams commute L G 1 1 α L G 2 2 L M 1 1 β op L M 2 2 H 1 H 2 L M 1 1 β op L M 2 2 K 1 L G 1 1 α L G 2 K 2 2.
33 Formal contexts as Galois connections Relations versus Birkhoff operators There is a one-to-one correspondence between relations I G M and order-reversing Galois connections on (P(G), P(M)). What about the lattice-valued case? Definition 16 Given a -semilattice L and a set X, every S X and every a L provide the map X χa S L, which is defined by { χ a S (x) = a, x S L, otherwise. On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 23/37
34 Formal contexts as Galois connections Relations versus Birkhoff operators There is a one-to-one correspondence between relations I G M and order-reversing Galois connections on (P(G), P(M)). What about the lattice-valued case? Definition 16 Given a -semilattice L and a set X, every S X and every a L provide the map X χa S L, which is defined by { χ a S (x) = a, x S L, otherwise. On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 23/37
35 Formal contexts as Galois connections Relations versus Birkhoff operators There is a one-to-one correspondence between relations I G M and order-reversing Galois connections on (P(G), P(M)). What about the lattice-valued case? Definition 16 Given a -semilattice L and a set X, every S X and every a L provide the map X χa S L, which is defined by { χ a S (x) = a, x S L, otherwise. On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 23/37
36 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 24/37 Formal contexts as Galois connections Lattice-valued relations versus Birkhoff operators Theorem 17 Let G, M be sets and let L be a unital quantale. For every orderreversing Galois connection (L G, α, β, L M ), equivalent are: 1 There exists a map G M I L such that α = H and β = K. 2 For every g G, m M, a L, it follows that (a) (α(χ 1 L {g} ))(m) = (β(χ1 L {m} ))(g); (b) (α(a χ 1 L {g} ))(m) = a l (α(χ 1 L {g} ))(m); (c) (β(χ 1 L {m} a))(g) = a r (β(χ 1 L {m} ))(g). 3 For every g G, m M, a L, it follows that (a) (α(a χ 1 L {g} ))(m) = a l (β(χ 1 L {m} ))(g); (b) (β(χ 1 L {m} a))(g) = a r (α(χ 1 L {g} ))(m).
37 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 25/37 Formal contexts as Galois connections Consequences Every map G M I L gives rise to an order-reversing Galois connection, but the converse way needs additional requirements. Counterexample Let L be the unit interval I = ([0, 1],,, 1), and let both G and M be singletons. One can assume that both I G and I M is I. The order-reversing involution map I α I, α(a) = 1 a is a part of the order-reversing Galois connection (I, α, α, I). The condition of, e.g., Theorem 17(3)(a) gives α(a) = a α(1) for every a I. However, for a = 1 2, one obtains that α( 1 2 ) = = = 1 2 α(1).
38 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 25/37 Formal contexts as Galois connections Consequences Every map G M I L gives rise to an order-reversing Galois connection, but the converse way needs additional requirements. Counterexample Let L be the unit interval I = ([0, 1],,, 1), and let both G and M be singletons. One can assume that both I G and I M is I. The order-reversing involution map I α I, α(a) = 1 a is a part of the order-reversing Galois connection (I, α, α, I). The condition of, e.g., Theorem 17(3)(a) gives α(a) = a α(1) for every a I. However, for a = 1 2, one obtains that α( 1 2 ) = = = 1 2 α(1).
39 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 26/37 Relationships between the categories of lattice-valued formal contexts From S-FC C to S-FC DMR Definition 18 S-FC C is a subcategory of S-FC C, with the same objects, and f α whose morphisms K 1 K2 have surjective maps G 1 G2, β op ϕ M 1, and an S-isomorphism L 1 L2. M 2 Let L extend UQuant. S-FC C (resp. S-FC C ) is a full subcategory of S-FC C, whose objects K = (G, M, L, I ) have non-empty G (resp. M) and, moreover, 1 L L. Theorem 19 There exists a functor S-FC C H CD S-FC DMR, which is given by f ((α,ϕ) H CD (K 1 K2 ) = K,((β,ϕ) o ) op ) 1 K 2. Its restriction to S-FC C (resp. S-FC C ) is a (non-full) embedding.
40 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 26/37 Relationships between the categories of lattice-valued formal contexts From S-FC C to S-FC DMR Definition 18 S-FC C is a subcategory of S-FC C, with the same objects, and f α whose morphisms K 1 K2 have surjective maps G 1 G2, β op ϕ M 1, and an S-isomorphism L 1 L2. M 2 Let L extend UQuant. S-FC C (resp. S-FC C ) is a full subcategory of S-FC C, whose objects K = (G, M, L, I ) have non-empty G (resp. M) and, moreover, 1 L L. Theorem 19 There exists a functor S-FC C H CD S-FC DMR, which is given by f ((α,ϕ) H CD (K 1 K2 ) = K,((β,ϕ) o ) op ) 1 K 2. Its restriction to S-FC C (resp. S-FC C ) is a (non-full) embedding.
41 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 27/37 Relationships between the categories of lattice-valued formal contexts From S-FC C m to S-FC DMR Definition 20 S-FC C m is a subcategory of S-FC C m, with the same objects, and f α whose morphisms K 1 K2 have surjective maps G 1 G2, β op ϕ M 1, and an S-isomorphism L 1 L2. M 2 Let L extend UQuant. S-FC C m (resp. S-FC C m ) is a full subcategory of S-FC C m, whose objects K = (G, M, L, I ) have non-empty G (resp. M) and, moreover, 1 L L. Theorem 21 There exists a functor S-FC C H CmD m S-FC DMR, which is given by f ((α,ϕ) H CmD (K 1 K2 ) = K,((β,ϕ) o ) op ) 1 K 2. Its restriction to S-FC C m (resp. S-FC C m ) is a (non-full) embedding.
42 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 27/37 Relationships between the categories of lattice-valued formal contexts From S-FC C m to S-FC DMR Definition 20 S-FC C m is a subcategory of S-FC C m, with the same objects, and f α whose morphisms K 1 K2 have surjective maps G 1 G2, β op ϕ M 1, and an S-isomorphism L 1 L2. M 2 Let L extend UQuant. S-FC C m (resp. S-FC C m ) is a full subcategory of S-FC C m, whose objects K = (G, M, L, I ) have non-empty G (resp. M) and, moreover, 1 L L. Theorem 21 There exists a functor S-FC C H CmD m S-FC DMR, which is given by f ((α,ϕ) H CmD (K 1 K2 ) = K,((β,ϕ) o ) op ) 1 K 2. Its restriction to S-FC C m (resp. S-FC C m ) is a (non-full) embedding.
43 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 28/37 Relationships between the categories of lattice-valued formal contexts Formal concepts, protoconcepts, and preconcepts Definition 22 Let K be a lattice-valued formal context, and let s L G, t L M. The pair (s, t) is called a (lattice-valued) formal concept of K provided that H(s) = t and K(t) = s; (lattice-valued) formal protoconcept of K provided that K H(s) = K(t) (equivalently, H K(t) = H(s)); (lattice-valued) formal preconcept of K provided that s K(t) (equivalently, t H(s)).
44 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 29/37 Relationships between the categories of lattice-valued formal contexts From S-FC DMR to S-FC C Definition 23 Given an L-algebra L, L-FC DMR i is a subcategory of L-FC DMR, f with the same objects, and whose morphisms K 1 K2 have injective maps L G α 1 L G 2, L M β op 2 L M 1. An L-algebra L is called quasi-strictly right-sided (qsrs-algebra) provided that a ( L l a) L for every a L. Theorem 24 There exists a functor L-FC DMR H i DC i S-FC C, which is given by H i DC (K 1 f K 2 ) = (L G 1, L M 1, L, Î 1 ) (α,β,1 L) (L G 2, L M 2, L, Î 2 ), where Î j (s, t) = L if (s, t) is a formal concept of K j, and L otherwise. If L is a qsrs-algebra, then H i DC is a (non-full) embedding.
45 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 29/37 Relationships between the categories of lattice-valued formal contexts From S-FC DMR to S-FC C Definition 23 Given an L-algebra L, L-FC DMR i is a subcategory of L-FC DMR, f with the same objects, and whose morphisms K 1 K2 have injective maps L G α 1 L G 2, L M β op 2 L M 1. An L-algebra L is called quasi-strictly right-sided (qsrs-algebra) provided that a ( L l a) L for every a L. Theorem 24 There exists a functor L-FC DMR H i DC i S-FC C, which is given by H i DC (K 1 f K 2 ) = (L G 1, L M 1, L, Î 1 ) (α,β,1 L) (L G 2, L M 2, L, Î 2 ), where Î j (s, t) = L if (s, t) is a formal concept of K j, and L otherwise. If L is a qsrs-algebra, then H i DC is a (non-full) embedding.
46 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 30/37 Relationships between the categories of lattice-valued formal contexts From S-FC DMR to S-FC C Definition 25 Given an L-algebra L, L-FC DMR rfp is a subcategory of L-FC DMR, with f the same objects, and whose morphisms K 1 K2 have maps L G α 1 β op L G 2, L M 2 L M 1 such that K 2 H 2 α(s) = α(s) implies K 1 H 1 (s) = s, and H 1 K 1 β op (t) = β op (t) implies H 2 K 2 (t) = t, for every s L G 1 1, t LM 2 2. Theorem 26 There exists a functor L-FC DMR rfp H rfp DC S-FC C, which is given by H rfp DC (K 1 f K 2 ) = (L G 1, L M 1, L, Î 1 ) (α,β,1 L) (L G 2, L M 2, L, Î 2 ), where Î j (s, t) = L if (s, t) is a formal concept of K j, and L otherwise. If L is a qsrs-algebra, then the functor is a (non-full) embedding.
47 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 30/37 Relationships between the categories of lattice-valued formal contexts From S-FC DMR to S-FC C Definition 25 Given an L-algebra L, L-FC DMR rfp is a subcategory of L-FC DMR, with f the same objects, and whose morphisms K 1 K2 have maps L G α 1 β op L G 2, L M 2 L M 1 such that K 2 H 2 α(s) = α(s) implies K 1 H 1 (s) = s, and H 1 K 1 β op (t) = β op (t) implies H 2 K 2 (t) = t, for every s L G 1 1, t LM 2 2. Theorem 26 There exists a functor L-FC DMR rfp H rfp DC S-FC C, which is given by H rfp DC (K 1 f K 2 ) = (L G 1, L M 1, L, Î 1 ) (α,β,1 L) (L G 2, L M 2, L, Î 2 ), where Î j (s, t) = L if (s, t) is a formal concept of K j, and L otherwise. If L is a qsrs-algebra, then the functor is a (non-full) embedding.
48 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 31/37 Relationships between the categories of lattice-valued formal contexts From S-FC DMR to S-FC C Definition 27 Given an L-algebra L, L-FC DMR orp is a subcategory of L-FC DMR, with f the same objects, and whose morphisms K 1 K2 have orderpreserving maps L G α 1 L G 2, L M β op 2 L M 1. Theorem 28 There exists a functor L-FC DMR orp H orp DC S-FC C, which is given by H orp DC (K 1 f K 2 ) = (L G 1, L M 1, L, Î1) (α,β,1 L) (L G 2, L M 2, L, Î 2 ), where Î j (s, t) = L if (s, t) is a formal preconcept of K j, and L otherwise. If L is a qsrs-algebra, then the functor is a (non-full) embedding.
49 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 31/37 Relationships between the categories of lattice-valued formal contexts From S-FC DMR to S-FC C Definition 27 Given an L-algebra L, L-FC DMR orp is a subcategory of L-FC DMR, with f the same objects, and whose morphisms K 1 K2 have orderpreserving maps L G α 1 L G 2, L M β op 2 L M 1. Theorem 28 There exists a functor L-FC DMR orp H orp DC S-FC C, which is given by H orp DC (K 1 f K 2 ) = (L G 1, L M 1, L, Î1) (α,β,1 L) (L G 2, L M 2, L, Î 2 ), where Î j (s, t) = L if (s, t) is a formal preconcept of K j, and L otherwise. If L is a qsrs-algebra, then the functor is a (non-full) embedding.
50 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 32/37 Relationships between the categories of lattice-valued formal contexts From S-FC DMR to S-FC C Theorem 29 There exists a functor L-FC DMR H DC S-FC C, which is given by f H DC (K 1 K2 ) = (L G 1, L M 1, L, Î 1 ) (α,β,1 L) (L G 2, L M 2, L, Î 2 ), where Î j (s, t) = L if (s, t) is a formal protoconcept of K j, and L otherwise. If L is a qsrs-algebra, then H DC is a (non-full) embedding.
51 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 33/37 Conclusion Final remarks This talk considered some approaches to morphisms of latticevalued formal contexts of Formal Context Analysis (FCA). We constructed several categories, whose objects are latticevalued analogues of formal contexts of FCA, and whose morphisms reflect the crisp setting of Chu spaces, the lattice-valued setting of J. T. Denniston, A. Melton, and S. E. Rodabaugh, as well as the many-valued setting of B. Ganter and R. Wille. We considered a number of functors between the categories of formal contexts, embedding each of them into its counterparts.
52 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 33/37 Conclusion Final remarks This talk considered some approaches to morphisms of latticevalued formal contexts of Formal Context Analysis (FCA). We constructed several categories, whose objects are latticevalued analogues of formal contexts of FCA, and whose morphisms reflect the crisp setting of Chu spaces, the lattice-valued setting of J. T. Denniston, A. Melton, and S. E. Rodabaugh, as well as the many-valued setting of B. Ganter and R. Wille. We considered a number of functors between the categories of formal contexts, embedding each of them into its counterparts.
53 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 33/37 Conclusion Final remarks This talk considered some approaches to morphisms of latticevalued formal contexts of Formal Context Analysis (FCA). We constructed several categories, whose objects are latticevalued analogues of formal contexts of FCA, and whose morphisms reflect the crisp setting of Chu spaces, the lattice-valued setting of J. T. Denniston, A. Melton, and S. E. Rodabaugh, as well as the many-valued setting of B. Ganter and R. Wille. We considered a number of functors between the categories of formal contexts, embedding each of them into its counterparts.
54 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 34/37 Open problem FCA without relations The difference between the settings of relations and Galois connections in the lattice-valued case, motivates the following problem. Problem 30 Is it possible to build a lattice-valued approach to FCA, which is based in order-reversing Galois connections on lattice-valued powersets, which are not generated by lattice-valued relations on their respective sets of objects and their attributes?
55 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 34/37 Open problem FCA without relations The difference between the settings of relations and Galois connections in the lattice-valued case, motivates the following problem. Problem 30 Is it possible to build a lattice-valued approach to FCA, which is based in order-reversing Galois connections on lattice-valued powersets, which are not generated by lattice-valued relations on their respective sets of objects and their attributes?
56 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 35/37 References References I J. Adámek, H. Herrlich, and G. E. Strecker, Abstract and Concrete Categories: The Joy of Cats, Dover Publications, G. Birkhoff, Lattice Theory, American Mathematical Society Publications, R. Bělohlávek, Fuzzy Relational Systems. Foundations and Principles, Kluwer Academic Publishers, J. T. Denniston, A. Melton, and S. E. Rodabaugh, Formal concept analysis and lattice-valued Chu systems, Fuzzy Sets Syst. 216 (2013), B. Ganter and R. Wille, Formale Begriffsanalyse. Mathematische Grundlagen, Berlin: Springer, 1996.
57 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 36/37 References References II D. Kruml and J. Paseka, Algebraic and Categorical Aspects of Quantales, Handbook of Algebra (M. Hazewinkel, ed.), vol. 5, Elsevier, 2008, pp J. M. McDill, A. C. Melton, and G. E. Strecker, A category of Galois connections, Lect. Notes Comput. Sci. 283 (1987), V. Pratt, Chu spaces, Coimbra: Universidade de Coimbra, Departamento de Matemática. Textos Mat., Sér. B. 21 (1999), S. Solovyov, Lattice-valued topological systems as a framework for lattice-valued Formal Concept Analysis, Journal of Mathematics 2013 (2013), 33 pages, Article ID ,
58 On morphisms of lattice-valued formal contexts Sergejs Solovjovs Masaryk University 37/37 Thank you for your attention!
Using 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 informationCategorical 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 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 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 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 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 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 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 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 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 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 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 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 information1. Introduction and preliminaries
Quasigroups and Related Systems 23 (2015), 283 295 The categories of actions of a dcpo-monoid on directed complete posets Mojgan Mahmoudi and Halimeh Moghbeli-Damaneh Abstract. In this paper, some categorical
More informationSTRATIFIED (L, M)-FUZZY Q-CONVERGENCE SPACES
Iranian Journal of Fuzzy Systems Vol. 13, No. 4, (2016) pp. 95-111 95 STRATIFIED (L, M)-FUZZY Q-CONVERGENCE SPACES B. PANG AND Y. ZHAO Abstract. This paper presents the concepts of (L, M)-fuzzy Q-convergence
More informationThe quantale of Galois connections
The quantale of Galois connections Jorge Picado Mathematics Department - University of Coimbra PORTUGAL June 2005 II Conference on Algebraic and Topological Methods in Non-Classical Logics 1 GALOIS CONNECTIONS
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 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 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 informationResearch Article Relationship of Algebraic Theories to Powerset Theories and Fuzzy Topological Theories for Lattice-Valued Mathematics
Hindawi Publishing Corporation International Journal of Mathematics and Mathematical Sciences Volume 2007, Article ID 43645, 71 pages doi:10.1155/2007/43645 Research Article Relationship of Algebraic Theories
More informationKleene algebras with implication
Kleene algebras with implication Hernán Javier San Martín CONICET Departamento de Matemática, Facultad de Ciencias Exactas, UNLP September 2016 Hernán Javier San Martín (UNLP) PC September 2016 1 / 16
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 informationCategorical quantum channels
Attacking the quantum version of with category theory Ian T. Durham Department of Physics Saint Anselm College 19 March 2010 Acknowledgements Some of this work has been the result of some preliminary collaboration
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 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 informationSequential product on effect logics
Sequential product on effect logics Bas Westerbaan bas@westerbaan.name Thesis for the Master s Examination Mathematics at the Radboud University Nijmegen, supervised by prof. dr. B.P.F. Jacobs with second
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 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 informationChu Spaces, Concept Lattices, and Domains
Electronic Notes in Theoretical Computer Science 83 (2004) URL: http://www.elsevier.nl/locate/entcs/volume83.html 17 pages Chu Spaces, Concept Lattices, and Domains Guo-Qiang 1 Department of Electrical
More informationState Transitions as Morphisms for Complete Lattices
State Transitions as Morphisms for Complete attices Bob Coecke FUND-DWIS, Free University of Brussels, Pleinlaan 2, B-1050 Brussels, Belgium. bocoecke@vub.ac.be Isar Stubbe AGE-MAPA, Université Catholique
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 informationLinking L-Chu correspondences and completely lattice L-ordered sets
Linking L-Chu correspondences and completely lattice L-ordered sets Ondrej Krídlo 1 and Manuel Ojeda-Aciego 2 1 University of Pavol Jozef Šafárik, Košice, Slovakia 2 Dept. Matemática Aplicada, Univ. Málaga,
More informationThe category of L-Chu correspondences and the structure of L-bonds
Fundamenta Informaticae XX (2011) 1 26 1 IOS Press The category of L-Chu correspondences and the structure of L-bonds Ondrej Krídlo Dept. of Computer Science Univ. P.J. Šafárik, Košice Slovakia Manuel
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 informationFUZZY ACTS OVER FUZZY SEMIGROUPS AND SHEAVES
Iranian Journal of Fuzzy Systems Vol. 11, No. 4, (2014) pp. 61-73 61 FUZZY ACTS OVER FUZZY SEMIGROUPS AND SHEAVES M. HADDADI Abstract. Although fuzzy set theory and sheaf theory have been developed and
More informationAlgebraic Properties of the Category of Q-P Quantale Modules. LIANG Shaohui [a],*
Progress in Applied Mathematics Vol. 6, No. 1, 2013, pp. [54 63] DOI: 10.3968/j.pam.1925252820130601.409 ISSN 1925-251X [Print] ISSN 1925-2528 [Online] www.cscanada.net www.cscanada.org Algebraic Properties
More informationThe Class CAT of Locally Small Categories as a Functor-Free Framework for Foundations and Philosophy
The Class CAT of Locally Small Categories as a Functor-Free Framework for Foundations and Philosophy Vaughan Pratt Stanford University Logic Colloquium UC Berkeley April 27, 2018 Vaughan Pratt Stanford
More informationFormal Topology, Chu Space and Approximable Concept
Formal Topology, Chu Space and Approximable Concept Xueyou Chen Qingguo Li Xueyou Chen 2 and Qingguo Li 1 (College of Mathematics and Economics, Hunan University, 1 College of Chang Mathematics Sha, Hunan
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 informationarxiv: v1 [math.lo] 30 Aug 2018
arxiv:1808.10324v1 [math.lo] 30 Aug 2018 Real coextensions as a tool for constructing triangular norms Thomas Vetterlein Department of Knowledge-Based Mathematical Systems Johannes Kepler University Linz
More informationImplications from data with fuzzy attributes vs. scaled binary attributes
Implications from data with fuzzy attributes vs. scaled binary attributes Radim Bělohlávek, Vilém Vychodil Dept. Computer Science, Palacký University, Tomkova 40, CZ-779 00, Olomouc, Czech Republic Email:
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 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 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 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 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 informationAPPROXIMABLE CONCEPTS, CHU SPACES, AND INFORMATION SYSTEMS
Theory and Applications of Categories, Vol. 17, No. 5, 2006, pp. 80 102. APPROXIMABLE CONCEPTS, CHU SPACES, AND INFORMATION SYSTEMS GUO-QIANG ZHANG AND GONGQIN SHEN Abstract. This paper serves to bring
More informationA categorical model for a quantum circuit description language
A categorical model for a quantum circuit description language Francisco Rios (joint work with Peter Selinger) Department of Mathematics and Statistics Dalhousie University CT July 16th 22th, 2017 What
More informationRESEARCH ARTICLE. On the L-fuzzy generalization of Chu correspondences
International Journal of Computer Mathematics Vol. 00, No. 00, June 2009, 1 11 RESEARCH ARTICLE On the L-fuzzy generalization of Chu correspondences Ondrej Krídlo a and M. Ojeda-Aciego b a Institute of
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 informationSolving weakly linear inequalities for matrices over max-plus semiring and applications to automata theory
Solving weakly linear inequalities for matrices over max-plus semiring and applications to automata theory Nada Damljanović University of Kragujevac, Faculty of Technical Sciences in Čačak, Serbia nada.damljanovic@ftn.kg.ac.rs
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 informationarxiv:math/ v1 [math.ct] 4 Oct 1998
arxiv:math/9810017v1 [math.ct] 4 Oct 1998 Basic Bicategories Tom Leinster Department of Pure Mathematics, University of Cambridge Email: leinster@dpmms.cam.ac.uk Web: http://www.dpmms.cam.ac.uk/ leinster
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 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 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 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 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 informationREPRESENTATION THEOREMS FOR IMPLICATION STRUCTURES
Wojciech Buszkowski REPRESENTATION THEOREMS FOR IMPLICATION STRUCTURES Professor Rasiowa [HR49] considers implication algebras (A,, V ) such that is a binary operation on the universe A and V A. In particular,
More informationVarieties of Heyting algebras and superintuitionistic logics
Varieties of Heyting algebras and superintuitionistic logics Nick Bezhanishvili Institute for Logic, Language and Computation University of Amsterdam http://www.phil.uu.nl/~bezhanishvili email: N.Bezhanishvili@uva.nl
More informationOn local properties of non- Archimedean analytic spaces.
On local properties of non- Archimedean analytic spaces. Michael Temkin (talk at Muenster Workshop, April 4, 2000) Plan: 1. Introduction. 2. Category bir k. 3. The reduction functor. 4. Main result. 5.
More informationIsotone L-bonds. 1 Introduction. Jan Konecny 1 and Manuel Ojeda-Aciego 2
Isotone L-bonds Jan Konecny 1 and Manuel Ojeda-Aciego 2 1 University Palacky Olomouc, Czech Republic 2 Dept. Matemática Aplicada, Univ. Málaga, Spain Abstract. L-bonds represent relationships between formal
More informationJoin Preserving Maps and Various Concepts
Int. J. Contemp. Math. Sciences, Vol. 5, 010, no. 5, 43-51 Join Preserving Maps and Various Concepts Yong Chan Kim Department of Mathematics, Gangneung-Wonju University Gangneung, Gangwondo 10-70, Korea
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 informationThe Properties of Various Concepts
International Journal of Fuzzy Logic and Intelligent Systems, vol. 10, no. 3, September 2010, pp.247-252 DOI : 10.5391/IJFIS.2010.10.3.247 The Properties of Various Concepts Yong Chan Kim and Jung Mi Ko
More informationA DUALITY BETWEEN FUZZY DOMAINS AND STRONGLY COMPLETELY DISTRIBUTIVE L-ORDERED SETS
Iranian Journal of Fuzzy Systems Vol. 11, No. 4, (2014) pp. 23-43 23 A DUALITY BETWEEN FUZZY DOMAINS AND STRONGLY COMPLETELY DISTRIBUTIVE L-ORDERED SETS W. YAO AND B. ZHAO Abstract. The aim of this paper
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 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 informationCOURSE NOTES: HOMOLOGICAL ALGEBRA
COURSE NOTES: HOMOLOGICAL ALGEBRA AMNON YEKUTIELI Contents 1. Introduction 1 2. Categories 2 3. Free Modules 13 4. Functors 18 5. Natural Transformations 23 6. Equivalence of Categories 29 7. Opposite
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 informationBases as Coalgebras. Bart Jacobs
Bases as Coalgebras Bart Jacobs Institute for Computing and Information Sciences (icis), Radboud University Nijmegen, The Netherlands. Webaddress: www.cs.ru.nl/b.jacobs Abstract. The free algebra adjunction,
More informationA NOTE ON ENRICHED CATEGORIES
U.P.B. Sci. Bull., Series A, Vol. 72, Iss. 4, 2010 ISSN 1223-7027 A NOTE ON ENRICHED CATEGORIES Adriana Balan 1 În această lucrare se arată că o categorie simetrică monoidală închisă bicompletă V cu biproduse
More informationStructural Ramsey Theory from the Point of View of Category Theory
Structural Ramsey Theory from the Point of View of Category Theory Dragan Mašulović Department of Mathematics and Informatics University of Novi Sad, Serbia Unifying Themes in Ramsey Theory BIRS, Banff,
More informationFuzzy M-solid subvarieties
International Journal of Algebra, Vol. 5, 2011, no. 24, 1195-1205 Fuzzy M-Solid Subvarieties Bundit Pibaljommee Department of Mathematics, Faculty of Science Khon kaen University, Khon kaen 40002, Thailand
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 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 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 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 informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
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 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 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 informationOn the embedding of convex spaces in stratified L convex spaces
DOI 10.1186/s40064-016-3255-5 RESEARCH Open Access On the embedding of convex spaces in stratified L convex spaces Qiu Jin and Lingqiang Li * *Correspondence: lilingqiang0614@163.com Department of Mathematics,
More informationNotes on Semigroups. Uday S. Reddy. March 14, 2014
Notes on Semigroups Uday S. Reddy March 14, 2014 Semigroups are everywhere. Groups are semigroups with a unit and inverses. Rings are double semigroups: an inner semigroup that is required to be a commutative
More informationCategory theory and set theory: algebraic set theory as an example of their interaction
Category theory and set theory: algebraic set theory as an example of their interaction Brice Halimi May 30, 2014 My talk will be devoted to an example of positive interaction between (ZFC-style) set theory
More informationConstructive version of Boolean algebra
Constructive version of Boolean algebra Francesco Ciraulo, Maria Emilia Maietti, Paola Toto Abstract The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean
More informationLattice Theory Lecture 5. Completions
Lattice Theory Lecture 5 Completions John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Completions Definition A completion of a poset P
More informationOn the Structure of Rough Approximations
On the Structure of Rough Approximations (Extended Abstract) Jouni Järvinen Turku Centre for Computer Science (TUCS) Lemminkäisenkatu 14 A, FIN-20520 Turku, Finland jjarvine@cs.utu.fi Abstract. We study
More informationFrom Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus. Peter Höfner. Report Juli 2005
Universität Augsburg From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus Peter Höfner Report 2005-5 Juli 2005 Institut für Informatik D-86135 Augsburg Copyright c Peter
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 informationINSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. Katětov functors. Wiesław Kubiś Dragan Mašulović
INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES Katětov functors Wiesław Kubiś Dragan Mašulović Preprint No. 2-2016 PRAHA 2016 Katětov functors Wies law Kubiś Dragan Mašulović Jan Kochanowski University
More informationIntroduction to Restriction Categories
Introduction to Restriction Categories Robin Cockett Department of Computer Science University of Calgary Alberta, Canada robin@cpsc.ucalgary.ca Estonia, March 2010 Defining restriction categories Examples
More informationOn the connection of Hypergraph Theory with Formal Concept Analysis and Rough Set Theory 1
On the connection of Hypergraph Theory with Formal Concept Analysis and Rough Set Theory 1 Gianpiero Cattaneo and Giampiero Chiaselotti o and Davide Ciucci and Tommaso Gentile o Department of Informatics,
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 informationDominions, zigzags and epimorphisms for partially ordered semigroups
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 18, Number 1, June 2014 Available online at http://acutmmathutee Dominions, zigzags and epimorphisms for partially ordered semigroups
More informationFrom a Possibility Theory View of Formal Concept Analysis to the Possibilistic Handling of Incomplete and Uncertain Contexts
From a Possibility Theory View of Formal Concept Analysis to the Possibilistic Handling of Incomplete and Uncertain Contexts Zina Ait-Yakoub 1, Yassine Djouadi 2, Didier Dubois 2, and Henri Prade 2 1 Department
More informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More information