Found 177 Documents (Results 1–100)
Duality for positive opetopes and positive zoom complexes. (English) Zbl 1537.18029
Reviewer: Hirokazu Nishimura (Tsukuba)
MacNeille completions of subordination algebras. (English) Zbl 1541.18012
Reviewer: Partha Ghosh (Johannesburg)
An analogue of Stone duality via support. (English) Zbl 1531.18009
Reviewer: Hirokazu Nishimura (Tsukuba)
MSC:
18F70
Degrees of join-distributivity via Bruns-Lakser towers. arXiv:2409.04894
Preprint, arXiv:2409.04894 [math.LO] (2024).
Generalizing \(\beta\)- and \(\lambda\)-maps. arXiv:2407.16941
Preprint, arXiv:2407.16941 [math.GN] (2024).
The DeMorganization of a locale. arXiv:2406.12486
Preprint, arXiv:2406.12486 [math.GN] (2024).
Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness. arXiv:2405.19171
Preprint, arXiv:2405.19171 [math.GN] (2024).
Raney extensions of frames: topological aspects. arXiv:2405.13437
Preprint, arXiv:2405.13437 [math.CT] (2024).
Raney extensions of frames: algebraic aspects. arXiv:2405.02990
Preprint, arXiv:2405.02990 [math.CT] (2024).
Subfitness in distributive (semi)lattices. arXiv:2404.06071
Preprint, arXiv:2404.06071 [math.GN] (2024).
Topoi with enough points. arXiv:2403.15338
Preprint, arXiv:2403.15338 [math.CT] (2024).
Stone duality between condensed mathematics and algebraic geometry. arXiv:2401.02568
Preprint, arXiv:2401.02568 [math.AG] (2024).
Local compactness in MT-algebras. arXiv:2401.01015
Preprint, arXiv:2401.01015 [math.GN] (2024).
A new proof of the Joyal-Tierney theorem. (English. French summary) Zbl 1529.18008
Reviewer: Joaquín Luna-Torres (Cartagena)
Deriving dualities in pointfree topology from Priestley duality. (English) Zbl 1523.18010
Reviewer: Hirokazu Nishimura (Tsukuba)
McKinsey-Tarski algebras: an alternative pointfree approach to topology. (English) Zbl 1525.18013
Reviewer: Joaquín Luna-Torres (Cartagena)
The spectrum of a well-generated tensor-triangulated category. (English) Zbl 1525.18017
Reviewer: Xuexing Lu (Hefei)
Stone duality for topological convexity spaces. (English) Zbl 1523.18011
Reviewer: Joaquín Luna-Torres (Cartagena)
A generalization of de Vries duality to closed relations between compact Hausdorff spaces. (English) Zbl 1528.54005
Reviewer: Xiaoquan Xu (Zhangzhou)
Photonic mode in a space-time with a causal loop: comparison of D-CTC and S-CTC models. (English) Zbl 1530.83060
On the categorical behaviour of locales and \(D\)-localic maps. (English) Zbl 1523.18009
Reviewer: Hirokazu Nishimura (Tsukuba)
Measurable functions on \(\sigma\)-frames. (English) Zbl 1536.06006
Reviewer: Partha Ghosh (Johannesburg)
Frame presentations of compact hedgehogs and their properties. (English) Zbl 1533.06005
Reviewer: Partha Ghosh (Johannesburg)
Stone duality for spectral sheaves and the patch monad. (English) Zbl 1508.18006
Reviewer: Hirokazu Nishimura (Tsukuba)
Sheaf representation of monoidal categories. (English) Zbl 1506.18018
Reviewer: Hirokazu Nishimura (Tsukuba)
\(L\)-algebras and topology. (English) Zbl 07657679
Reviewer: Lavinia Ciungu (Brooklyn)
The gravito-Maxwell equations of general relativity in the local reference frame of a GR-noninertial observer. (English) Zbl 1518.83015
Johnstone-Gleason covers for partially ordered sets. (English) Zbl 1517.54009
Reviewer: Jorge Picado (Coimbra)
Approach theory and pointfree convergence. (English) Zbl 1510.54002
Reviewer: Jorge Picado (Coimbra)
Bounded distributive lattices with strict implication and weak difference. arXiv:2312.10873
Preprint, arXiv:2312.10873 [math.LO] (2023).
The Fundamental Theorem of Calculus point-free, with applications to exponentials and logarithms. arXiv:2312.05228
Preprint, arXiv:2312.05228 [math.CT] (2023).
Non-archimedean topological monoids. arXiv:2311.09187
Preprint, arXiv:2311.09187 [math.GN] (2023).
Ordered semirings and subadditive morphisms. arXiv:2311.03862
Preprint, arXiv:2311.03862 [math.CT] (2023).
Synthetic approach to the Quillen model structure on topological spaces. arXiv:2310.14235
Preprint, arXiv:2310.14235 [math.AT] (2023).
A Classifying groupoid for compact Hausdorff locales. arXiv:2310.07785
Preprint, arXiv:2310.07785 [math.CT] (2023).
Vietoris endofunctor for closed relations and its de Vries dual. arXiv:2308.16823
Preprint, arXiv:2308.16823 [math.GN] (2023).
A Point-Free Look at Ostrowski’s Theorem and Absolute Values. arXiv:2308.14758
Preprint, arXiv:2308.14758 [math.NT] (2023).
Arrow algebras. arXiv:2308.14096
Preprint, arXiv:2308.14096 [math.CT] (2023).
On the structure of modal and tense operators on a boolean algebra. arXiv:2308.08664
Preprint, arXiv:2308.08664 [math.LO] (2023).
Algebraic Frames in Priestley duality. arXiv:2306.06745
Preprint, arXiv:2306.06745 [math.GN] (2023).
The Geometric Completion of a Doctrine. arXiv:2304.07539
Preprint, arXiv:2304.07539 [math.CT] (2023).
Pointfree topology and constructive mathematics. arXiv:2304.06000
Preprint, arXiv:2304.06000 [math.GN] (2023).
Heyting frames and Esakia duality. arXiv:2302.07913
Preprint, arXiv:2302.07913 [math.LO] (2023).
Some Properties of Internal Locale Morphisms Externalised. arXiv:2301.00961
Preprint, arXiv:2301.00961 [math.AG] (2023).
A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras. (English) Zbl 07632520
Representations of bornologies. (English) Zbl 1508.54012
Reviewer: Olivier Olela Otafudu (Johannesburg)
The assembly of a pointfree bispace and its two variations. (English) Zbl 1502.18024
Reviewer: Joaquín Luna-Torres (Cartagena)
Uniform continuity of pointfree real functions via farness and related Galois connections. (English) Zbl 07604512
Concerning strongly divisible, strongly fixed, and strongly \(z\)-ideals in \(\mathcal{R}L\). (English) Zbl 1511.06003
Reviewer: Partha Ghosh (Johannesburg)
Extensions of the Stone duality to the category of Boolean spaces and continuous maps. (English) Zbl 1498.18004
Reviewer: Joaquín Luna-Torres (Cartagena)
Uniformities and a quantale structure on localic groups. (English) Zbl 1497.06010
Reviewer: Partha Ghosh (Johannesburg)
A categorical approach to graded fuzzy topological system and fuzzy geometric logic with graded consequence. (English) Zbl 1487.54017
Reviewer: Sergejs Solovjovs (Praha)
A new diagonal separation and its relations with the Hausdorff property. (English) Zbl 1487.18008
Reviewer: Joaquín Luna-Torres (Cartagena)
Adjoint maps between implicative semilattices and continuity of localic maps. (English) Zbl 1495.06004
Reviewer: Sergejs Solovjovs (Praha)
Duality for powerset coalgebras. (English) Zbl 07471716
On fraction-dense algebraic frames. (English) Zbl 1515.18008
Reviewer: Jorge Picado (Coimbra)
On the Cantor and Hilbert cube frames and the Alexandroff-Hausdorff theorem. (English) Zbl 1507.06015
Reviewer: Jorge Picado (Coimbra)
On joins of complemented sublocales. (English) Zbl 1477.18023
Reviewer: Joaquín Luna-Torres (Cartagena)
Towards higher topology. (English) Zbl 1470.18014
Reviewer: Hirokazu Nishimura (Tsukuba)
Deriving Priestley duality and its generalizations from Pontryagin duality for semilattices. arXiv:2207.13938
Preprint, arXiv:2207.13938 [math.LO] (2022).
Generalized point-free spaces, pointwise. arXiv:2206.01113
Preprint, arXiv:2206.01113 [math.CT] (2022).
Interor and h operators on the category of locales. arXiv:2204.13795
Preprint, arXiv:2204.13795 [math.CT] (2022).
Congruence frames of frames and \(\kappa\)-frames. arXiv:2201.08897
Preprint, arXiv:2201.08897 [math.RA] (2022).
Quantalic spectra of semirings. arXiv:2201.06408
Preprint, arXiv:2201.06408 [math.RA] (2022).
Algebraic representation of frame-valued continuous lattices via the open filter monad. (English) Zbl 1522.18011
Notes on point-free topology. (English) Zbl 1486.18018
Clementino, Maria Manuel (ed.) et al., New perspectives in algebra, topology and categories. Summer school, Louvain-la-Neuve, Belgium, September 12–15, 2018 and September 11–14, 2019. Cham: Springer. Coimbra Math. Texts 1, 173-223 (2021).
Reviewer: Joaquín Luna-Torres (Cartagena)
Topo-logie. (English) Zbl 1477.18008
Anel, Mathieu (ed.) et al., New spaces in mathematics. Formal and conceptual reflections. Cambridge: Cambridge University Press. 155-257 (2021).
Reviewer: Hirokazu Nishimura (Tsukuba)
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies. (English) Zbl 1482.03015
Reviewer: Joaquín Luna-Torres (Cartagena)
Morita equivalence of pseudogroups. (English) Zbl 1474.18020
Reviewer: Sergejs Solovjovs (Praha)
Mapping ideals to sublocales. (English) Zbl 1479.06001
Reviewer: Sergejs Solovjovs (Praha)
Functoriality of groupoid quantales. II. (English) Zbl 1468.18008
Reviewer: Hirokazu Nishimura (Tsukuba)
A realizability semantics for inductive formal topologies, Church’s thesis and axiom of choice. (English) Zbl 1535.03295
Filter Results by …
Document Type
- Journal Articles (130)
- Collection Articles (12)
- Books (2)
- arXiv Preprints (33)
all
top 5
Author
- Picado, Jorge (22)
- Bezhanishvili, Guram (19)
- Pultr, Aleš (14)
- Dube, Themba Andrew (12)
- Banaschewski, Bernhard (11)
- Arrieta, Igor (10)
- Carai, Luca (9)
- Gutiérrez García, Javier (8)
- Suarez, Anna Laura (8)
- Morandi, Patrick J. (6)
- Avilez, Ana Belén (5)
- Sioen, Mark (5)
- Manuell, Graham R. (4)
- Moshier, M. Andrew (4)
- Resende, Pedro (4)
- Sambin, Giovanni (4)
- Stephen, Dorca Nyamusi (4)
- Walters-Wayland, Joanne (4)
- Abbadini, Marco (3)
- Abedi, Mostafa (3)
- Kawai, Tatsuji (3)
- Kubiak, Tomasz (3)
- Vickers, Steven (3)
- Cederquist, Jan (2)
- Ciraulo, Francesco (2)
- Coquand, Thierry (2)
- Dashiell, Frederick K. jun. (2)
- Di Liberti, Ivan (2)
- Estaji, Ali Akbar (2)
- Hemelaer, Jens (2)
- Henry, Simon (2)
- Holgate, David B. (2)
- Jakl, Tomáš (2)
- Katsumata, Shin-ya (2)
- Komorida, Yuichi (2)
- Krause, Henning (2)
- Luna-Torres, Joaquín (2)
- Maietti, Maria Emilia (2)
- Maschio, Samuele (2)
- Melzer, Sebastian (2)
- Moshier, Andrew (2)
- Mynard, Frédéric (2)
- Negri, Sara (2)
- Niefield, Susan B. (2)
- Nishizawa, Koki (2)
- Quijano, Juan Pablo (2)
- Raviprakash, Ranjitha (2)
- Townsend, Christopher F. (2)
- Wrigley, Joshua L. (2)
- Yue, Yueli (2)
- Abashidze, Vakhtang (1)
- Anel, Mathieu (1)
- Aoki, Ko (1)
- Ávila, F. (1)
- Ball, Richard N. (1)
- Berger, Clemens (1)
- Bernardes, Raquel (1)
- Bhattacharjee, Papiya (1)
- Borlido, Célia (1)
- Botero, William Zuluaga (1)
- Brandenburg, Martin (1)
- Briet, Marcus (1)
- Carbin, Michael (1)
- Carrera, Ricardo E. (1)
- Celani, Sergio Arturo (1)
- Chakraborty, Mihir Kumar (1)
- Chen, Ruiyuan (1)
- Cvetko-Vah, Karin (1)
- Das, Litan Kumar (1)
- Dimov, Georgi D. (1)
- Ebel, Sterling (1)
- Ebrahimi, Mohammad Mehdi (1)
- Erné, Marcel (1)
- Faul, Peter F. (1)
- Ferreira, Maria João (1)
- Frosoni, Giulia (1)
- Fujii, Soichiro (1)
- Gabelaia, David (1)
- Gambino, Nicola (1)
- Gehrke, Mai (1)
- Goubault-Larrecq, Jean (1)
- Gregorič, Rok (1)
- Harding, John (1)
- Heunen, Chris (1)
- Hong, Sung Sa (1)
- Ighedo, Oghenetega (1)
- Il’ichov, Leonid V. (1)
- Ivanova-Dimova, Elza (1)
- Jana, Purbita (1)
- Jibladze, Mamuka A. (1)
- Joyal, André (1)
- Jung, Achim (1)
- Kapulkin, Krzysztof (1)
- Karimi Feizabadi, A. (1)
- Karimi Feizabadi, Abolghasem (1)
- Karimi, Feizabadi A. Gh. (1)
- Kenney, Toby (1)
- Kivunga, Grace Wakesho (1)
- Kornell, Andre (1)
- Lawson, Mark Verus (1)
- and 57 more Authors
all
top 5
Serial
- Topology Appl. (20)
- J. Pure Appl. Algebra (19)
- Appl. Categ. Struct. (16)
- Algebra Univers. (8)
- Theory Appl. Categ. (7)
- Quaest. Math. (6)
- Cah. Topol. Géom. Différ. Catég. (4)
- Log. Methods Comput. Sci. (4)
- Categ. Gen. Algebr. Struct. Appl. (4)
- Kyungpook Math. J. (3)
- Fuzzy Sets Syst. (2)
- J. Algebra (2)
- J. Log. Anal. (2)
- Classical Quantum Gravity (1)
- Houston J. Math. (1)
- Adv. Math. (1)
- Arch. Math. (Brno) (1)
- Bull. Lond. Math. Soc. (1)
- J. Symb. Log. (1)
- Math. Slovaca (1)
- Math. Stud. (1)
- Math. Z. (1)
- Synthese (1)
- Acta Math. Hung. (1)
- Ann. Pure Appl. Logic (1)
- Order (1)
- Forum Math. (1)
- Arch. Math. Logic (1)
- J. Appl. Non-Class. Log. (1)
- Topol. Proc. (1)
- Bull. Belg. Math. Soc. - Simon Stevin (1)
- Ann. Math. Artif. Intell. (1)
- Soft Comput. (1)
- J. Math. Log. (1)
- J. Nonlinear Convex Anal. (1)
- Gravit. Cosmol. (1)
- Log. Log. Philos. (1)
- C. R., Math., Acad. Sci. Paris (1)
- J. Algebra Appl. (1)
- Ann. N. Y. Acad. Sci. (1)
- Log. Univers. (1)
- Appl. Gen. Topol. (1)
- J. Math. Ext. (1)
- Casp. J. Math. Sci. (1)
- J. Log. Algebr. Methods Program. (1)
- Front. Math. (1)
- J. Algebr. Syst. (1)