Recent Talks (selected)

• A new diagonal separation property in the category of locales
  (joint work with I. Arrieta and A. Pultr)
  65th SAMS Congress
  Stellenbosch, South Africa, December 2022.
  pdf file
  
  
• The geometry of localic maps
  (joint work with M. Erné and A. Pultr)
  2022 Topology, Algebra and Category Theory Conference
  Zwartkops Mountains, South Africa, September 2022.
  pdf file
  
  
• Frames and locales: topology without points (mini-course)
  Summer School in Algebra and Topology
  Louvain-la-Neuve, Belgium, September 2019.
  Slides
  
  
• Axiom T_D and the relation between sublocales and subspaces of a space
  (joint work with A. Pultr)
  TACL 2019 - Conference on Topology, Algebra, and Categories in Logic
  Nice, France, June 2019.
  pdf file
  
  
• Sublocales and a Boolean extension of a frame
  (joint work with A. Pultr)
  TACL 2017 - Conference on Topology, Algebra, and Categories in Logic
  Prague, Czech Republic, June 2017.
  pdf file
  
  
• Real-valued functions in Pointfree Topology: semicontinuity
  (joint work with J. Gutiérrez García)
  Seminar, Shaanxi Normal University
  Xian, China, May 2017.
  pdf file
  
  
• Hausdorff mapping invariance theorems with sublocales
  (invited talk, parts of it are joint work with J. Gutiérrez García, T. Kubiak and A. Pultr)
  TACL 2015 - Conference on Topology, Algebra, and Categories in Logic
  Ischia, Italy, June 2015.
  pdf file
  
  
• On the completion of pointfree function rings as function rings
  (invited talk, joint work with J. Gutiérrez García and I. Mozo Carollo)
  IV International Workshop on Topological Methods in Logic,
  Tbilisi, Georgia, June 2014.
  pdf file
  
  
• Non-symmetric generalized nearness and subfitness
  (joint work with A. Pultr)
  BLAST 2013 - Conference on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set-Theory, Set-Theoretical Topology and Pointfree Topology
  Chapman University, California, USA, August 2013.
  pdf file
  
  
• Variants of normality and their duals: a pointfree unification of insertion and extension theorems for real-valued functions
  (joint work with J. Gutiérrez García)
  TACL 2013 - Topology, Algebra, and Categories in Logic,
  Vanderbilt University, Nashville, USA, July 2013.
  pdf file
  
  
• Perfectness in frames
  (invited talk, joint work with J. Gutiérrez García)
  TACT 2012 - Topology, Algebra and Category Theory,
  UNISA, Pretoria, South Africa, September 2012.
  pdf file
  
  
• Extended real functions in pointfree topology
  (joint work with B. Banaschewski and J. Gutiérrez García)
  26th Summer Topology Conference,
  CUNY, New York, USA, July 2011.
  pdf file
  
  
• On (binary) localic products and localic groups
  (plenary talk, joint work with A. Pultr)
  CT2011-International Category Theory Conference,
  UBC, Vancouver, Canada, July 2011.
  pdf file
  
  
• Strict insertion of continuous real functions in pointfree topology
  (invited talk, joint work with J. Gutiérrez García)
  VII Italian-Spanish Conference on General Topology and its Applications,
  Universidad de Extremadura, Badajoz, Spain, September 2010.
  pdf file
  
  
• Rings of (extended) real functions in frames
  (invited talk, joint work with J. Gutiérrez García)
  Workshop on Frames: Algebra vs. Topology,
  University of Florida, Gainesville, USA, December 2009.
  pdf file
  
  
• Describing asymmetric frame uniformities with pairs of covers
  (invited talk, joint work with A. Pultr)
  IV Workshop on Aspects of Contemporary Topology,
  Antwerp, Belgium, December 2009.
  pdf file (slides of the second part of the talk)
  
  
• Complete normality and complete regularity in the category of locales via real-valued functions
  (joint work with J. Gutiérrez García)
  CT2009 - International Conference on Category Theory,
  Cape Town, South Africa, June-July 2009.
  pdf file
  
  
• Insertion of continuous real functions on spaces, bispaces, ordered spaces and point-free spaces -- a common root
  (joint work with M. J. Ferreira and J. Gutiérrez García)
  1st BLAST Conference (on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set-Theory, Set-Theoretical Topology and Pointfree Topology),
  Denver, USA, August 2008.
  pdf file
  
  
• Localic real-valued functions
  (invited talk, joint work with J. Gutiérrez García and T. Kubiak)
  III Workshop on Aspects of Contemporary Topology,
  Antwerp, Belgium, December 2007.
  pdf file
  
  
• Semicontinuity in pointfree topology: monotonization and regularization
  (joint work with J. Gutiérrez García and T. Kubiak)
  XXII Summer Conference on Topology and its Applications,
  Castellon, Spain, July 2007.
  pdf file
  
  
• Semicontinuous real functions pointfreely
  CMUC Workshop,
  (invited talk)
  Coimbra, September 2006.
  pdf file
  
  
• Point-finite families of sublocales
  II Workshop on Aspects of Contemporary Topology,
  (invited talk)
  Antwerp, Belgium, December 2005.
  pdf file
  
  
• The quantale of Galois connections
  II Conference on Algebraic and Topological Methods in Non-Classical Logics,
  Barcelona, Spain, June 2005.
  pdf file
  
  
• On the localic Katetov-Tong interpolation theorem
  XVI Summer Conference on Topology and its Applications,
  Cape Town, South Africa, July 2004.
  pdf file
  
  
• Interior-preserving covers, spectrum covers and semicontinuous real functions in frames
  (invited talk)
  Workshop on Aspects of Contemporary Topology,
  Antwerp, Belgium, December 2003.
  pdf file
  
  
• A pointfree extension of the Fletcher construction
  V Iberoamerican Conference on Topology and its Applications
  Lorca, Spain, June 2003.
  pdf file