Home
Program
| 09:00 am |
Opening |
| 09:15 am |
I. STUBBE: Quantaloid-enriched categories for multi-valued logic and other purposes |
| 10:30 am |
Coffee Break |
| 11:00 am |
J. HARDING, C. WALKER, E. WALKER: Categories of fuzzy sets and relations |
| 12:00 pm | Lunch |
| 02:00 pm |
H. HEYMANS: Sheaves on involutive quantales: Grothendieck quantales |
| 03:30 pm |
Coffee Break |
| 04:00 pm |
N. GALATOS, J. GIL-FÉREZ: Closure operators on modules over quantaloids: Applications to algebraic logic |
| 05:00 pm |
ROUND TABLE: Enriched category theory and non-classical logics |
| 09:00 am |
D. ZHANG: Quantale-valued preorders as enriched categories |
| 10:30 am |
Coffee Break |
| 11:00 am |
H. LAI, D. ZHANG: Globalization of Cauchy complete preordered sets valued in a divisible quantale |
| 11:45 am |
Y. YUE: Convergence and compactness in fuzzy metric spaces |
| 12:30 pm | Lunch |
| 02:00 pm |
U. HÖHLE: Topology based on premultiplicative quantaloids: A common base for many-valued and non-commutative topology |
| 03:30 pm |
Coffee Break |
| 04:00 pm |
J. T. DENNISTON, A. MELTON, S. E. RODABAUGH: Enriched topological systems and variable-basis enriched functors |
| 05:00 pm |
ROUND TABLE: Enriched category theory and many-valued topology |
| 09:00 am |
S. MATTHEWS, M. BUKATIN, R. KOPPERMAN: Discrete partial metric spaces |
| 10:30 am |
Coffee Break |
| 11:00 am |
M. BUKATIN, R. KOPPERMAN, S. MATTHEWS: On the nature of correspondence between partial metrics and fuzzy equalities |
| 11:45 am |
M. STEHLÍK: Category theory in statistical learning? |
| 12:30 pm |
Lunch |
| 02:00 pm | Excursion: "On the traces of Johannes Kepler in Linz" |
| 07:00 pm |
Conference Dinner (Bildungszentrum St. Magdalena) |
| 09:00 am |
P. EKLUND, M. A. GALÁN, R. HELGESSON, J. KORTELAINEN: |
| 09:45 am |
F.-G. SHI, B. PANG: Categories isomorphic to L-fuzzy closure system spaces |
| 10:30 am |
Coffee Break |
| 11:00 am |
A. ŠOSTAK: Variable range categories of approximate systems |
| 11:30 am |
M. DEMIRCI: A Stone-type adjunction for fixed-basis fuzzy topological spaces in abstract categories and its applications |
| 12:30 pm |
Lunch |
| 02:30 pm |
E. P. KLEMENT, A. KOLESÁROVA, R. MESIAR, A. STUPÑANOVA: Level dependent capacities and integrals |
| 03:30 pm |
Coffee Break |
| 04:00 pm |
S. JENEI, F. MONTAGNA: Two new classification theorems on residuated monoids |
| 05:00 pm |
ROUND TABLE: Enriched category theory and fuzzy sets |
| 09:00 am |
C. WALKER, E. WALKER: Type-2 operations on finite chains |
| 10:00 am |
Coffee Break |
| 10:30 am |
T. VETTERLEIN: On the characterization of regular left-continuous t-norms |
| 11:30 am |
Closing |
| 12:00 pm |
Lunch |