Found 346 Documents (Results 1–100)
Epimorphic quantum subgroups and coalgebra codominions. (English) Zbl 1539.18001
Reviewer: Blas Torrecillas (Almería)
Reconstructing quantum theory from its possibilistic operational formalism. (English) Zbl 1543.81016
Some properties on compactness involving lower topology. (English) Zbl 07800539
Reviewer: Xiaodong Jia (Changsha)
The reflective hulls of some subcategories in the category of all \(T_0\) spaces. (English) Zbl 07800537
Deriving dualities in pointfree topology from Priestley duality. (English) Zbl 1523.18010
Reviewer: Hirokazu Nishimura (Tsukuba)
Ideals and continuity for quantaloid-enriched categories. (English) Zbl 1518.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
Topological representations of Lawson compact algebraic L-domains and Scott domains. (English) Zbl 07722303
Frame presentations of compact hedgehogs and their properties. (English) Zbl 1533.06005
Reviewer: Partha Ghosh (Johannesburg)
Formal balls of \(\mathsf{Q}\)-categories. (English) Zbl 1520.18006
Reviewer: Hirokazu Nishimura (Tsukuba)
On the geometry of physical measurements: topological and algebraic aspects. (English) Zbl 1519.81040
Duality theory for enriched Priestley spaces. (English) Zbl 1498.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
\(K\)-completions of \(T_0\)-spaces. (English. Russian original) Zbl 1515.18007
Algebra Logic 61, No. 3, 177-187 (2022); translation from Algebra Logika 61, No. 3, 263-279 (2022).
Polyadic sets and homomorphism counting. (English) Zbl 1499.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
Continuity and directed completion of topological spaces. (English) Zbl 1527.54007
Reviewer: Xiaoquan Xu (Zhangzhou)
Special groups and quadratic forms over rings with non-zero-divisor coefficients. (English) Zbl 1501.11055
Reviewer: Adam Chapman (Tel Hai)
Probability monads as codensity monads. (English) Zbl 1536.18004
Reviewer: Hirokazu Nishimura (Tsukuba)
Adjoint maps between implicative semilattices and continuity of localic maps. (English) Zbl 1495.06004
Reviewer: Sergejs Solovjovs (Praha)
Separated and prime compactifications. (English) Zbl 1507.54009
Reviewer: Minani Iragi (Johannesburg)
Abstractly constructed prime spectra. (English) Zbl 1485.18007
Reviewer: Robert Dawson (Halifax)
A representation of FS-domains by formal concept analysis. (English) Zbl 1480.18004
Reviewer: Partha Ghosh (Johannesburg)
Algebraic representation of frame-valued continuous lattices via the open filter monad. (English) Zbl 1522.18011
Quantale-valued Cauchy tower spaces and completeness. (English) Zbl 1508.54016
Reviewer: Javier Gutiérrez García (Bilbao)
Manifestation of fuzzy topology in other fuzzy mathematical structures. (English) Zbl 1498.54013
Reviewer: Francisco Gallego Lupiáñez (Madrid)
Probability, valuations, hyperspace: three monads on Top and the support as a morphism. (English) Zbl 1495.18009
Reviewer: Hirokazu Nishimura (Tsukuba)
A monad for probabilistic point processes. (English) Zbl 1477.60074
Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 19-32 (2021).
From noncommutative diagrams to anti-elementary classes. (English) Zbl 1474.18004
Reviewer: Michel Hébert (Al-Qāhira)
The saturated prefilter monad. (English) Zbl 1481.18005
Reviewer: Joaquín Luna-Torres (Cartagena)
Two types of Galois correspondences over quantaloid-typed sets. (English) Zbl 1475.54005
Reviewer: Sergejs Solovjovs (Praha)
New representations of algebraic domains and algebraic L-domains via closure systems. (English) Zbl 1508.06004
K-reflections of product spaces. (English) Zbl 1458.54024
Reviewer: Sergejs Solovjovs (Praha)
The continuous weak order. (English) Zbl 1446.18004
Reviewer: Sergejs Solovjovs (Praha)
Dynamic game semantics. (English) Zbl 1495.68128
The order-sobrification monad. (English) Zbl 1460.18001
Hausdorff coalgebras. (English) Zbl 1464.18009
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
Combining probabilistic and non-deterministic choice via weak distributive laws. (English) Zbl 1502.68171
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 454-464 (2020).
On the reflective and coreflective subcategory of stratified \(L\)-Čech closure spaces. (English) Zbl 1452.18012
Cartesian closedness of a category of non-frame valued complete fuzzy orders. (English) Zbl 1452.18006
Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains. (English) Zbl 1457.54013
Reviewer: Joaquín Luna-Torres (Cartagena)
On generalized equilogical spaces. (English) Zbl 1442.54001
Reviewer: Sami Lazaar (Sidi Daoued)
Stochastic order on metric spaces and the ordered Kantorovich monad. (English) Zbl 1437.18005
Reviewer: Eigil Rischel (København)
Precoherent quantale completions of partially ordered semigroups. (English) Zbl 1444.06011
Reviewer: Sergejs Solovjovs (Praha)
The Vietoris monad and weak distributive laws. (English) Zbl 1442.18010
MSC:
18C15
A direct approach to \(K\)-reflections of \(T_0\) spaces. (English) Zbl 1434.54007
Reviewer: Hans Peter Künzi (Rondebosch)
Cevian operations on distributive lattices. (English) Zbl 1442.06004
Reviewer: Daniele Mundici (Firenze)
Codensity, profiniteness and algebras of semiring-valued measures. (English) Zbl 1428.18006
Reviewer: K. P. Hart (Delft)
Quantale-valued uniformizations of quantale-valued generalizations of approach groups. (English) Zbl 1504.06013
Lattices of irreducibly-derived closed sets. (English) Zbl 07513482
Jung, Achim (ed.) et al., Proceedings of the 8th international symposium on domain theory and its applications, ISDT 2019, Yangzhou, China, June 14–17, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 345, 233-247 (2019).
A Cartesian closed category of domains with almost algebraic bases. (English) Zbl 07513478
Jung, Achim (ed.) et al., Proceedings of the 8th international symposium on domain theory and its applications, ISDT 2019, Yangzhou, China, June 14–17, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 345, 143-168 (2019).
Algebras of the extended probabilistic powerdomain monad. (English) Zbl 07513471
Jung, Achim (ed.) et al., Proceedings of the 8th international symposium on domain theory and its applications, ISDT 2019, Yangzhou, China, June 14–17, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 345, 37-61 (2019).
The categories of lattice-valued maps, equalities, free objects, and \(\mathcal{C}\)-reticulation. (English) Zbl 1468.06041
Quotients of d-frames. (English) Zbl 1423.18008
The answer to a problem posed by Zhao and Ho. (English) Zbl 1411.54008
Reviewer: Hans Peter Künzi (Rondebosch)
A probability monad as the colimit of spaces of finite samples. (English) Zbl 1410.60007
Reviewer: Hirokazu Nishimura (Tsukuba)
Extending set functors to generalised metric spaces. (English) Zbl 1408.18005
Reviewer: Hirokazu Nishimura (Tsukuba)
Tensor products and regularity properties of Cuntz semigroups. (English) Zbl 1414.46035
Memoirs of the American Mathematical Society 1199. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2797-9/print; 978-1-4704-4282-8/ebook). viii, 196 p. (2018).
\(T_0\) topological spaces and \(T_0\) posets in the topos of \(M\)-Sets. (English) Zbl 1404.18006
Reviewer: Ali Madanshekaf (Semnan)
\(L\)-convex systems and the categorical isomorphism to Scott-hull operators. (English) Zbl 1398.06005
Stratified \((L,M)\)-fuzzy derived spaces. (English) Zbl 1400.54027
MSC:
54A40
18B30
Convergence and quantale-enriched categories. (English) Zbl 1407.18002
Reviewer: Luciano Stramaccia (Perugia)
Scott approach distance on metric spaces. (English) Zbl 1444.18008
Reviewer: Willian Ribeiro (Coimbra)
Categories of locally hypercompact spaces and quasicontinuous posets. (English) Zbl 1441.06003
Reviewer: Xiaoquan Xu (Zhangzhou)
Computability in basic quantum mechanics. (English) Zbl 1451.18016
Reviewer: Hirokazu Nishimura (Tsukuba)
Enriched Stone-type dualities. (English) Zbl 1446.03107
Filter Results by …
Document Type
- Journal Articles (317)
- Collection Articles (28)
- Books (1)
all
top 5
Author
- Li, Qingguo (20)
- Zhang, Dexue (16)
- Hager, Anthony W. (13)
- Hofmann, Dirk (12)
- Erné, Marcel (11)
- Solovyov, Sergey A. (11)
- Martinez, Jorge (8)
- Jacobs, Bart (7)
- Zhao, Bin (7)
- Jäger, Gunther (6)
- Lai, Hongliang (6)
- Kou, Hui (5)
- Liu, Min (5)
- Nora, Pedro (5)
- Pultr, Aleš (5)
- Shi, Fu-Gui (5)
- Zhang, Zhongxi (5)
- Ahsanullah, T. M. G. (4)
- Bezhanishvili, Guram (4)
- Ho, Weng Kin (4)
- Hötzel Escardó, Martín (4)
- Jia, Xiaodong (4)
- Jung, Achim (4)
- Keimel, Klaus (4)
- Plotkin, Gordon D. (4)
- Reggio, Luca (4)
- Stubbe, Isar (4)
- Wang, Longchun (4)
- Xi, Xiaoyong (4)
- Yildiz, Filiz (4)
- Yue, Yueli (4)
- Ball, Richard N. (3)
- Cagliari, Francesca (3)
- Caramello, Olivia (3)
- Diers, Yves (3)
- Fang, Jinming (3)
- Fritz, Tobias (3)
- Goubault-Larrecq, Jean (3)
- Huth, Michael R. A. (3)
- Jipsen, Peter (3)
- Li, Yongming (3)
- Lu, Jing (3)
- Mantovani, Sandra (3)
- Marra, Vincenzo (3)
- Moshier, M. Andrew (3)
- Niefield, Susan B. (3)
- Perrone, Paolo (3)
- Simmons, Harold (3)
- Šostak, Alexander P. (3)
- Sousa, Lurdes (3)
- Tholen, Walter (3)
- van Gool, Samuel Jacob (3)
- Wang, Kaiyun (3)
- Waszkiewicz, Paweł (3)
- Xu, Xiaoquan (3)
- Yao, Wei (3)
- Zhao, Haoran (3)
- Zhou, Xiangnan (3)
- Abbadini, Marco (2)
- Antoine, Ramon (2)
- Bahamonde, Antonio (2)
- Banaschewski, Bernhard (2)
- Bauer, Andrej (2)
- Bonsangue, Marcello Maria (2)
- Brown, Lawrence Michael (2)
- Buffenoir, Eric (2)
- Carrera, Ricardo E. (2)
- Carvalho, Margarida (2)
- Demirci, Mustafa (2)
- Ershov, Yuriĭ Leonidovich (2)
- Gehrke, Mai (2)
- Gierz, Gerhard (2)
- Guo, Lankun (2)
- Gutiérrez García, Javier (2)
- Han, Sang-Eon (2)
- Hasuo, Ichiro (2)
- Huang, Mengqiao (2)
- Johnstone, Peter T. (2)
- Kizanis, Ann (2)
- Lawson, Jimmie Don (2)
- Li, Jibo (2)
- Li, Lingqiang (2)
- Li, Wei (2)
- Maruyama, Yoshihiro (2)
- Mislove, Michael W. (2)
- Morandi, Patrick J. (2)
- Mynard, Frédéric (2)
- Nykyforchyn, Oleh R. (2)
- Paseka, Jan (2)
- Perera, Francesc (2)
- Picado, Jorge (2)
- Reichman, Jack Z. (2)
- Rodabaugh, Stephen Ernest (2)
- Rump, Wolfgang (2)
- Russo, Anna Carla (2)
- Scott, Dana Stewart (2)
- Seal, Gavin J. (2)
- Shen, Chong (2)
- Sichler, Jiří Jan (2)
- Simpson, Alex K. (2)
- and 221 more Authors
all
top 5
Serial
- Fuzzy Sets Syst. (39)
- Topology Appl. (35)
- Appl. Categ. Struct. (32)
- J. Pure Appl. Algebra (30)
- Theor. Comput. Sci. (20)
- Algebra Univers. (17)
- Theory Appl. Categ. (9)
- Cah. Topologie Géom. Différ. Catégoriques (8)
- Math. Struct. Comput. Sci. (8)
- Quaest. Math. (7)
- Adv. Math. (6)
- Ann. Pure Appl. Logic (6)
- Order (6)
- J. Algebra (5)
- Iran. J. Fuzzy Syst. (4)
- Log. Methods Comput. Sci. (4)
- Categ. Gen. Algebr. Struct. Appl. (4)
- Algebra Logic (3)
- Semigroup Forum (3)
- Stud. Log. (3)
- Inf. Comput. (3)
- Acta Math. Sin., Engl. Ser. (3)
- Cah. Topol. Géom. Différ. Catég. (3)
- J. Intell. Fuzzy Syst. (3)
- Commun. Algebra (2)
- Houston J. Math. (2)
- Manuscr. Math. (2)
- Math. Slovaca (2)
- Trans. Am. Math. Soc. (2)
- Arch. Math. Logic (2)
- Abstr. Appl. Anal. (2)
- New Math. Nat. Comput. (2)
- Appl. Gen. Topol. (2)
- Quantum Stud. Math. Found. (2)
- Arch. Ration. Mech. Anal. (1)
- Comput. Math. Appl. (1)
- Int. J. Theor. Phys. (1)
- Rocky Mt. J. Math. (1)
- J. Geom. Phys. (1)
- Fundam. Math. (1)
- Inf. Sci. (1)
- J. Comput. Syst. Sci. (1)
- J. Number Theory (1)
- Kybernetika (1)
- Math. Z. (1)
- Mem. Am. Math. Soc. (1)
- Proc. Am. Math. Soc. (1)
- Rend. Semin. Mat. Univ. Padova (1)
- Math. Soc. Sci. (1)
- Chin. Ann. Math., Ser. B (1)
- Acta Math. Hung. (1)
- Forum Math. (1)
- Chin. Sci. Bull. (1)
- J. Appl. Non-Class. Log. (1)
- Topol. Proc. (1)
- J. Math. Sci., New York (1)
- J. Egypt. Math. Soc. (1)
- Filomat (1)
- Bull. Symb. Log. (1)
- Soft Comput. (1)
- Algebr. Represent. Theory (1)
- J. Math. Log. (1)
- J. Aust. Math. Soc. (1)
- Bull. Malays. Math. Sci. Soc. (2) (1)
- Log. Univers. (1)
- Tbil. Math. J. (1)
- TWMS J. Pure Appl. Math. (1)
- Carpathian Math. Publ. (1)
- J. Math. (1)
- J. Log. Algebr. Methods Program. (1)
- High. Struct. (1)
all
top 5
Year of Publication
- 2024 (4)
- 2023 (16)
- 2022 (14)
- 2021 (14)
- 2020 (20)
- 2019 (18)
- 2018 (21)
- 2017 (24)
- 2016 (19)
- 2015 (14)
- 2014 (16)
- 2013 (12)
- 2012 (13)
- 2011 (9)
- 2010 (6)
- 2009 (11)
- 2008 (6)
- 2007 (13)
- 2006 (9)
- 2005 (6)
- 2004 (5)
- 2003 (1)
- 2002 (6)
- 2001 (3)
- 2000 (1)
- 1999 (1)
- 1998 (5)
- 1997 (2)
- 1996 (3)
- 1995 (1)
- 1994 (6)
- 1993 (4)
- 1992 (7)
- 1991 (4)
- 1990 (5)
- 1989 (1)
- 1988 (2)
- 1987 (3)
- 1986 (1)
- 1985 (6)
- 1983 (4)
- 1982 (4)
- 1981 (2)
- 1980 (1)
- 1978 (1)
- 1977 (1)
- 1973 (1)