Kristóf Kanalas, Ph.D. MSc

Basic information

Type

Total number of publications: 2

2025

Every theory is eventually of presheaf type

ESPINDOLA ZAMORA Christian Rubén KANALAS Kristóf

Article in Periodical

THEORY AND APPLICATIONS OF CATEGORIES, year: 2025, volume: 44, edition: 12
Sh(B)-Valued Models of (\kappa ,\kappa )-Coherent Categories

KANALAS Kristóf

Article in Periodical

Applied Categorical Structures, year: 2025, volume: 33, edition: 2, DOI