Projects
Reading
People
Chat
SU\G
(𝔸)
/K·U
Projects
Reading
People
Chat
Sign Up
Light
Dark
System
Paweł Waszkiewicz
Follow
Share
Generating author description...
All published works
Action
Title
Year
Authors
+
PDF
Chat
A duality of quantale-enriched categories
2012
Dirk Hofmann
Paweł Waszkiewicz
+
A duality of generalized metric spaces
2011
Sylwia Antoniuk
Paweł Waszkiewicz
+
Approximation in quantale-enriched categories
2011
Dirk Hofmann
Paweł Waszkiewicz
+
A Duality of Quantale-Enriched Categories
2010
Dirk Hofmann
Paweł Waszkiewicz
+
The formal ball model for -categories
2010
MATEUSZ KOSTANEK
Paweł Waszkiewicz
+
Approximation in quantale-enriched categories
2010
Dirk Hofmann
Paweł Waszkiewicz
+
The limit–colimit coincidence theorem for -categories
2010
MATEUSZ KOSTANEK
Paweł Waszkiewicz
+
Common Patterns for Metric and Ordered Fixed Point Theorems.
2010
Paweł Waszkiewicz
+
A Duality of Quantale-Enriched Categories
2010
Dirk Hofmann
Paweł Waszkiewicz
+
Approximation in quantale-enriched categories
2010
Dirk Hofmann
Paweł Waszkiewicz
+
Partial metrisability of continuous posets
2006
Paweł Waszkiewicz
+
Completeness and Compactness of Quantitative Domains
2005
Paweł Waszkiewicz
+
PDF
Chat
The local triangle axiom in topology and domain theory
2003
Paweł Waszkiewicz
+
None
2003
Paweł Waszkiewicz
+
How Do Domains Model Topologies?
2003
Paweł Waszkiewicz
+
Distance and Measurement in Domain Theory
2001
Paweł Waszkiewicz
Common Coauthors
Coauthor
Papers Together
Dirk Hofmann
6
Mateusz Kostanek
2
Sylwia Antoniuk
1
Commonly Cited References
Action
Title
Year
Authors
# of times referenced
+
Metric, topology and multicategory—a common approach
2003
Maria Manuel Clementino
Walter Tholen
7
+
PDF
Chat
One Setting for All: Metric, Topology, Uniformity, Approach Structure
2004
Maria Manuel Clementino
Dirk Hofmann
Walter Tholen
7
+
Quantales and continuity spaces
1997
Robert C. Flagg
7
+
A computational model for metric spaces
1998
Abbas Edalat
Reinhold Heckmann
7
+
PDF
Chat
None
2003
Maria Manuel Clementino
Dirk Hofmann
7
+
A foundation for computation
2000
Keye Martin
Michael Mislove
6
+
NOTES ON ENRICHED CATEGORIES WITH COLIMITS OF SOME CLASS
2005
G. M. Kelly
Victor Schmitt
6
+
Partial Metrics, Valuations, and Domain Theory
1996
Sean O’Neill
6
+
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
1998
Marcello Bonsangue
Franck van Breugel
J.J.M.M. Rutten
6
+
Metric spaces, generalized logic, and closed categories
1973
F. William Lawvere
6
+
None
1999
Reinhold Heckmann
6
+
Topological theories and closed objects
2007
Dirk Hofmann
5
+
Basic concepts of enriched category theory
1982
G. M. Kelly
5
+
Flatness, preorders and general metric spaces
2003
Vincent Schmitt
5
+
Elements of generalized ultrametric domain theory
1996
Jan Rutten
4
+
Monads for which structures are adjoint to units
1995
Anders Kock
4
+
Localic completion of generalized metric spaces I
2005
Steven Vickers
4
+
Continuous categories and exponentiable toposes
1982
Peter Johnstone
André Joyal
4
+
Spaces of maximal points
1997
Jimmie Lawson
4
+
Towards “dynamic domains”: Totally continuous cocomplete <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="script">Q</mml:mi></mml:math>-categories
2007
Isar Stubbe
4
+
Complete and directed complete <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>Ω</mml:mi></mml:math>-categories
2007
Hongliang Lai
Dexue Zhang
4
+
Weighted Quasi‐Metrics
1994
Hans-Peter A. Künzi
V. Vajner
4
+
Continuous categories
1986
Jürgen Koslowski
4
+
On the Yoneda completion of a quasi-metric space
2002
H.-P. A. Künzi
Michel Schellekens
4
+
ON THE MONADICITY OF CATEGORIES WITH CHOSEN COLIMITS
2000
G. M. Kelly
Stephen Lack
Walter Tholen
4
+
None
2003
Paweł Waszkiewicz
4
+
The essence of ideal completion in quantitative form
2002
Robert C. Flagg
Philipp Sünderhauf
4
+
PDF
Chat
Lawvere Completeness in Topology
2008
Maria Manuel Clementino
Dirk Hofmann
3
+
Generalized Metric Spaces
1984
Gary Gruenhage
3
+
Liminf convergence in Ω-categories
1997
Kim Ritter Wagner
3
+
The formal ball model for -categories
2010
MATEUSZ KOSTANEK
Paweł Waszkiewicz
3
+
Distance and Measurement in Domain Theory
2001
Paweł Waszkiewicz
3
+
Completeness of Quasi-Uniform and Syntopological Spaces
1994
Michael B. Smyth
3
+
PDF
Chat
Distance functions and the metrization problem
1937
Alexander Frink
3
+
Relative injectivity as cocompleteness for a class of distributors
2008
Maria Manuel Clementino
Dirk Hofmann
3
+
Weighted colimits and formal balls in generalized metric spaces
1998
J.J.M.M. Rutten
3
+
A quantitative computational model for complete partial metric spaces via formal balls
2009
Salvador Romaguera
Óscar Valero
3
+
Two Topologies are Better Than One
1995
Simon John O'Neill
3
+
Notes on enriched categories with colimits of some class
2005
G. M. Kelly
Vincent Schmitt
3
+
The space of formal balls and models of quasi-metric spaces
2009
Mahdi Ali‐Akbari
B. Honari
Massoud Pourmahdian
M. M. Rezaii
3
+
PDF
Chat
Elements of generalized ultrametric domain theory
1996
J.J.M.M. Rutten
3
+
PDF
Chat
The local triangle axiom in topology and domain theory
2003
Paweł Waszkiewicz
2
+
Encyclopedia of Mathematics and its Applications.
1982
Y. L. L.
William B. Jones
W. J. Thron
2
+
A characterization of partial metrizability: domains are quantifiable
2003
Michel Schellekens
2
+
PDF
Chat
A subdirect-union representation for completely distributive complete lattices
1953
George N. Raney
2
+
PDF
Chat
Domain theory and integration
1995
Abbas Edalat
2
+
Totally bounded spaces and compact ordered spaces as domains of computation
1991
Michael B. Smyth
2
+
On the minimum monochromatic or multicolored subgraph partition problems
2007
Xueliang Li
Xiaoyan Zhang
2
+
The Measurement Process in Domain Theory
2000
Keye Martin
2
+
The regular spaces with countably based models
2003
Keye Martin
2