From 006c57fdeb81d97b1ee222d14346e3844df343f5 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Wed, 13 Jul 2022 23:06:05 +0200 Subject: Chyba poprawiony dowod 4.4 --- uwagi_29_06_22.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'uwagi_29_06_22.txt') diff --git a/uwagi_29_06_22.txt b/uwagi_29_06_22.txt index 805fb21..0f1ef2c 100644 --- a/uwagi_29_06_22.txt +++ b/uwagi_29_06_22.txt @@ -144,7 +144,7 @@ n and without the loss of generality we may assume that - [x] Po 4.4 powinien być wniosek, że kanoniczna amalgamacja+whp dają konkluzję 4.4, a potem z tego, że wolna amalgamacja daje 4.4 -- [ ] W sekcji 4.3 brakuje założeń. +- [x] W sekcji 4.3 brakuje założeń. - [x] Jak przekształcenie naturalne jest izomorfizmem, to ten składowe też są izomorfizmami (w dwie strony) @@ -156,7 +156,7 @@ n and without the loss of generality we may assume that - [x] Dodać uwagę, że jak piszę (\Pi, \sigma) to chodzi mi o co innego niż jak piszę \Pi -- [ ] "Odmętnić" początek dowódu 3.23 +- [x] "Odmętnić" początek dowódu 3.23 - [x] Poprawić wielkości liter przy theorem, facts itd -- cgit v1.2.3