From aeabc2f3b8099f4845bc7958de5ff7555d5e5f8c Mon Sep 17 00:00:00 2001 From: Rahul Chhabra Date: Thu, 17 Oct 2024 01:02:50 +0530 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c63b5f3..31bb3de 100644 --- a/README.md +++ b/README.md @@ -13,4 +13,4 @@ Notable results include : Current formalisation targets include : * Uniform families of PERs indexed by assemblies form a small and complete fibration -* The category of assemblies is exactly the category of double negation stable objects of the realizability topos +* The category of assemblies is exactly the category of double negation separated objects of the realizability topos