Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Bitopology and Four-valued Logic
- Tomás Jakl, A. Jung, A. Pultr
- Computer Science, Mathematics
- MFPS
- 5 October 2016
TLDR
Tightness relative to some (co)reflections in topology
- R. Ball, B. Banaschewski, Tomás Jakl, A. Pultr, J. Walters-Wayland
- Mathematics
- 23 May 2016
Abstract We address what might be termed the reverse reflection problem: given a monoreflection from a category A onto a subcategory B, when is a given object B ∈ B the reflection of a proper… Expand
Free constructions and coproducts of d-frames
- Tomás Jakl, A. Jung
- Mathematics, Computer Science
- CALCO
- 13 April 2017
TLDR
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
- M. Gehrke, Tomás Jakl, Luca Reggio
- Computer Science, Mathematics
- ArXiv
- 30 July 2020
TLDR
University of Birmingham Free constructions and coproducts of d-frames
- Tomás Jakl, A. Jung
- 2017
A general theory of presentations for d-frames does not yet exist. We review the difficulties and give sufficient conditions for when they can be overcome. As an application we prove that the… Expand
Quotients of d-Frames
- Tomás Jakl, A. Jung, A. Pultr
- Mathematics, Computer Science
- Appl. Categorical Struct.
- 1 June 2019
TLDR
Classification of finite semigroups and categories using computational methods
- Wesley Fussner, Najwa Ghannoum, Tomás Jakl, C. Simpson
- Computer Science
- 13 September 2020
TLDR
University of Birmingham Quotients of d-Frames
- Tomás Jakl, Achim Jung Aleš Pultr
- 2017
It is shown that every d-frame admits a complete lattice of quotients. Quotienting may be triggered by a binary relation on one of the two constituent frames, or by changes to the consistency or… Expand
d-Frames as algebraic duals of bitopological spaces
- Tomás Jakl
- Mathematics, Computer Science
- 20 February 2018
TLDR