Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Kristóf Kanalas
Follow
Activity
Upvotes
Folders
Articles
6
Pure maps are strict monomorphisms
18 July 2024 by
Kristóf Kanalas
Category Theory
,
Logic
Boolean-valued models of
(κ,κ)
-coherent categories
21 June 2024 by
Kristóf Kanalas
Category Theory
Every theory is eventually of presheaf type
19 December 2023 by
Christian Espíndola
and
Kristóf Kanalas
Category Theory
Positive model theory of interpretations
26 November 2022 by
Kristóf Kanalas
Category Theory
A (2,1)-model structure for conceptual completeness
16 February 2022 by
Kristóf Kanalas
Category Theory
Generic countably infinite groups
29 October 2021 by
Márton Elekes
and
others
Logic
,
General Topology
The (2,1)-category of small coherent categories
27 April 2021 by
Kristóf Kanalas
Category Theory
This is an AI-generated summary
Key points
Topics
Category Theory
Logic
General Topology
Group Theory