intrinsic schreier split extensions
play

Intrinsic Schreier split extensions Andrea Montoli Diana Rodelo - PowerPoint PPT Presentation

Jun 29, 2023 •12 likes •1.1k views

Intrinsic Schreier split extensions Andrea Montoli Diana Rodelo Tim van der Linden Centre for Mathematics of the University of Coimbra University of Algarve, Portugal CT2019 Intrinsic Schreier split extnesions 1 / 14 Schreier (split)

  1. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I s Imaginary addition - II K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 4 / 14

  2. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I non-commutative s Imaginary addition - II K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 4 / 14

  3. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I D q non-commutative s Imaginary addition - II � ❴ ❴ ❴ K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 4 / 14

  4. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I D q non-commutative s Imaginary addition - II � ❴ ❴ ❴ K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I (S1) x “ kq p x q ` sf p x q , @ x P X Properties - II Main results (S2) q p k p a q ` s p y qq “ a , @ a P K, y P Y Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 4 / 14

  5. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I D q non-commutative s Imaginary addition - II � ❴ ❴ ❴ K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I (S1) x “ kq p x q ` sf p x q , @ x P X Properties - II Schreier retraction Main results (S2) q p k p a q ` s p y qq “ a , @ a P K, y P Y ( qk “ 1 K ) Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 4 / 14

  6. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I D q non-commutative s Imaginary addition - II � ❴ ❴ ❴ K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I (S1) x “ kq p x q ` sf p x q , @ x P X Properties - II Schreier retraction Main results (S2) q p k p a q ` s p y qq “ a , @ a P K, y P Y ( qk “ 1 K ) Cohomological flavour p S1 q ¨ Schreier split epi ñ p k, s q jointly extremal-epimorphic pair ô p f, s q strong point ñ Schreier split extension CT2019 Intrinsic Schreier split extnesions – 4 / 14

  7. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I D q non-commutative s Imaginary addition - II � ❴ ❴ ❴ K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I (S1) x “ kq p x q ` sf p x q , @ x P X Properties - II Schreier retraction Main results (S2) q p k p a q ` s p y qq “ a , @ a P K, y P Y ( qk “ 1 K ) Cohomological flavour p S1 q ¨ Schreier split epi ñ p k, s q jointly extremal-epimorphic pair ô p f, s q strong point ñ Schreier split extension ¨ Categorically: - How to define q ? CT2019 Intrinsic Schreier split extnesions – 4 / 14

  8. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I D q non-commutative s Imaginary addition - II � ❴ ❴ ❴ K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I (S1) x “ kq p x q ` sf p x q , @ x P X Properties - II Schreier retraction Main results (S2) q p k p a q ` s p y qq “ a , @ a P K, y P Y ( qk “ 1 K ) Cohomological flavour p S1 q ¨ Schreier split epi ñ p k, s q jointly extremal-epimorphic pair ô p f, s q strong point ñ Schreier split extension ¨ Categorically: - How to define q ? ( not a morphism ) CT2019 Intrinsic Schreier split extnesions – 4 / 14

  9. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I D q non-commutative s Imaginary addition - II � ❴ ❴ ❴ K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I (S1) x “ kq p x q ` sf p x q , @ x P X Properties - II Schreier retraction Main results (S2) q p k p a q ` s p y qq “ a , @ a P K, y P Y ( qk “ 1 K ) Cohomological flavour p S1 q ¨ Schreier split epi ñ p k, s q jointly extremal-epimorphic pair ô p f, s q strong point ñ Schreier split extension ¨ Categorically: - How to define q ? ( not a morphism ) - What diagrams give (S1) and (S2) ? CT2019 Intrinsic Schreier split extnesions – 4 / 14

  10. � Towards intrinsic Schreier split epis ¨ This categorical approach for S -protomodularity is not so categorical for Schreier (split) exts of monoids S = Schreier split epis in Mon or J´ onsson–Tarski variety V S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ Definition of Schreier split epi depends on elements [BM-FMS] Unital categories Imaginary addition - I D q non-commutative s Imaginary addition - II � ❴ ❴ ❴ K ✤ � � p X, ` , 0 q � � Y Schreier split epi Intrinsic Schreier split k f epis Properties - I (S1) x “ kq p x q ` sf p x q , @ x P X Properties - II Schreier retraction Main results (S2) q p k p a q ` s p y qq “ a , @ a P K, y P Y ( qk “ 1 K ) Cohomological flavour p S1 q ¨ Schreier split epi ñ p k, s q jointly extremal-epimorphic pair ô p f, s q strong point ñ Schreier split extension ¨ Categorically: - How to define q ? ( not a morphism ) ( recover Mon { V ) - What diagrams give (S1) and (S2) ? CT2019 Intrinsic Schreier split extnesions – 4 / 14

  11. Imaginary morphisms - I ¨ [BJ] Imaginary morphisms Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 5 / 14

  12. Imaginary morphisms - I morphism � K q : X function � ¨ [BJ] Imaginary morphisms ù P p X q K ❴ ❴ ❴ Schreier (split) exts of monoids r x s ÞÝ Ñ q p x q S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 5 / 14

  13. Imaginary morphisms - I morphism � K q : X function � ¨ [BJ] Imaginary morphisms ù P p X q K ❴ ❴ ❴ Schreier (split) exts of monoids r x s ÞÝ Ñ q p x q S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I ¨ C regular cat w/ enough projectives Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 5 / 14

  14. Imaginary morphisms - I morphism � K q : X function � ¨ [BJ] Imaginary morphisms ù P p X q K ❴ ❴ ❴ Schreier (split) exts of monoids r x s ÞÝ Ñ q p x q S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I ¨ C regular cat w/ enough projectives Imaginary morphisms - II Unital categories projective ε X � � X Imaginary addition - I - P p X q regular epi Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 5 / 14

  15. Imaginary morphisms - I morphism � K q : X function � ¨ [BJ] Imaginary morphisms ù P p X q K ❴ ❴ ❴ Schreier (split) exts of monoids r x s ÞÝ Ñ q p x q S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I ¨ C regular cat w/ enough projectives Imaginary morphisms - II Unital categories projective ε X � � X Imaginary addition - I - P p X q regular epi Imaginary addition - II Intrinsic Schreier split epis - @ f : X Ñ Y , fε X “ ε Y P p f q Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 5 / 14

  16. Imaginary morphisms - I morphism � K q : X function � ¨ [BJ] Imaginary morphisms ù P p X q K ❴ ❴ ❴ Schreier (split) exts of monoids r x s ÞÝ Ñ q p x q S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I ¨ C regular cat w/ enough projectives Imaginary morphisms - II Unital categories projective ε X � � X Imaginary addition - I - P p X q regular epi Imaginary addition - II Intrinsic Schreier split epis - @ f : X Ñ Y , fε X “ ε Y P p f q Properties - I Properties - II - p P : C Ñ C , δ : P ñ P 2 , ε : P ñ 1 C q comonad Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 5 / 14

  17. Imaginary morphisms - I morphism � K q : X function � ¨ [BJ] Imaginary morphisms ù P p X q K ❴ ❴ ❴ Schreier (split) exts of monoids r x s ÞÝ Ñ q p x q S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I ¨ C regular cat w/ enough projectives Imaginary morphisms - II Unital categories projective C has functorial ε X � � X Imaginary addition - I - P p X q regular epi Imaginary addition - II (comonadic) Intrinsic Schreier split epis - @ f : X Ñ Y , fε X “ ε Y P p f q projective covers Properties - I Properties - II - p P : C Ñ C , δ : P ñ P 2 , ε : P ñ 1 C q comonad Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 5 / 14

  18. Imaginary morphisms - I morphism � K q : X function � ¨ [BJ] Imaginary morphisms ù P p X q K ❴ ❴ ❴ Schreier (split) exts of monoids r x s ÞÝ Ñ q p x q S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I ¨ C regular cat w/ enough projectives Imaginary morphisms - II Unital categories projective C has functorial ε X � � X Imaginary addition - I - P p X q regular epi Imaginary addition - II (comonadic) Intrinsic Schreier split epis - @ f : X Ñ Y , fε X “ ε Y P p f q projective covers Properties - I Properties - II - p P : C Ñ C , δ : P ñ P 2 , ε : P ñ 1 C q comonad Main results Cohomological flavour ¨ Def. An imaginary morphism from X to Y , denoted X ��� Y , is a real morphism P p X q Ñ Y CT2019 Intrinsic Schreier split extnesions – 5 / 14

  19. � Imaginary morphisms - I morphism � K q : X function � ¨ [BJ] Imaginary morphisms ù P p X q K ❴ ❴ ❴ Schreier (split) exts of monoids r x s ÞÝ Ñ q p x q S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I ¨ C regular cat w/ enough projectives Imaginary morphisms - II Unital categories projective C has functorial ε X � � X Imaginary addition - I - P p X q regular epi Imaginary addition - II (comonadic) Intrinsic Schreier split epis - @ f : X Ñ Y , fε X “ ε Y P p f q projective covers Properties - I Properties - II - p P : C Ñ C , δ : P ñ P 2 , ε : P ñ 1 C q comonad Main results Cohomological flavour ¨ Def. An imaginary morphism from X to Y , denoted X ��� Y , is a real morphism P p X q Ñ Y s K ✤ � � X f � � Y in C k � P P P P q P p X q imaginary (Schreier) retraction CT2019 Intrinsic Schreier split extnesions – 5 / 14

  20. � Imaginary morphisms - II f f f � Y ) ε X � � X � Y ¨ X real ù imaginary ( P p X q X Y ❴ ❴ ❴ Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 6 / 14

  21. � � Imaginary morphisms - II f f f � Y ) ε X � � X � Y ¨ X real ù imaginary ( P p X q X Y ❴ ❴ ❴ Schreier (split) exts of monoids S -protomodularity 1 Y 1 Y ε Y � � Y Towards intrinsic � Y real ù imaginary ( P p Y q ) Y Y Y ❴ ❴ ❴ Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 6 / 14

  22. � � � � Imaginary morphisms - II f f f � Y ) ε X � � X � Y ¨ X real ù imaginary ( P p X q X Y ❴ ❴ ❴ Schreier (split) exts of monoids S -protomodularity 1 Y 1 Y ε Y � � Y Towards intrinsic � Y real ù imaginary ( P p Y q ) Y Y Y ❴ ❴ ❴ Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I f g f g � Z � Y � Z ¨ X ù P p X q Imaginary addition - II Y ❴ ❴ ❴ P ❯ ❩ ❴ ❞ ✐ ♥ Intrinsic Schreier split epis g ˝ f Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 6 / 14

  23. � � � � � � � Imaginary morphisms - II f f f � Y ) ε X � � X � Y ¨ X real ù imaginary ( P p X q X Y ❴ ❴ ❴ Schreier (split) exts of monoids S -protomodularity 1 Y 1 Y ε Y � � Y Towards intrinsic � Y real ù imaginary ( P p Y q ) Y Y Y ❴ ❴ ❴ Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I f g f g � Z � Y � Z ¨ X ù P p X q Imaginary addition - II Y ❴ ❴ ❴ P ❯ ❩ ❴ ❞ ✐ ♥ Intrinsic Schreier split epis g ˝ f Properties - I Properties - II P p h q � P p X q Main results f f h � Y P p W q W X Y ù ❴ ❴ ❴ Cohomological flavour ◗ ❱ ❩ ❴ ❞ ❤ ♠ f ˝ h CT2019 Intrinsic Schreier split extnesions – 6 / 14

  24. � � � � � � � � Imaginary morphisms - II f f f � Y ) ε X � � X � Y ¨ X real ù imaginary ( P p X q X Y ❴ ❴ ❴ Schreier (split) exts of monoids S -protomodularity 1 Y 1 Y ε Y � � Y Towards intrinsic � Y real ù imaginary ( P p Y q ) Y Y Y ❴ ❴ ❴ Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I f g f g � Z � Y � Z ¨ X ù P p X q Imaginary addition - II Y ❴ ❴ ❴ P ❯ ❩ ❴ ❞ ✐ ♥ Intrinsic Schreier split epis g ˝ f Properties - I Properties - II P p h q � P p X q Main results f f h � Y P p W q W X Y ù ❴ ❴ ❴ Cohomological flavour ◗ ❱ ❩ ❴ ❞ ❤ ♠ f ˝ h f � � Y s ¨ X regular epi ô D imaginary splitting Y X ❴ ❴ ❴ CT2019 Intrinsic Schreier split extnesions – 6 / 14

  25. � � � � � � � � � Imaginary morphisms - II f f f � Y ) ε X � � X � Y ¨ X real ù imaginary ( P p X q X Y ❴ ❴ ❴ Schreier (split) exts of monoids S -protomodularity 1 Y 1 Y ε Y � � Y Towards intrinsic � Y real ù imaginary ( P p Y q ) Y Y Y ❴ ❴ ❴ Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I f g f g � Z � Y � Z ¨ X ù P p X q Imaginary addition - II Y ❴ ❴ ❴ P ❯ ❩ ❴ ❞ ✐ ♥ Intrinsic Schreier split epis g ˝ f Properties - I Properties - II P p h q � P p X q Main results f f h � Y P p W q W X Y ù ❴ ❴ ❴ Cohomological flavour ◗ ❱ ❩ ❴ ❞ ❤ ♠ f ˝ h f � � Y s ¨ X regular epi ô D imaginary splitting Y X ❴ ❴ ❴ f � Y f � Y s � s � ( ) Y X ❴ ❴ P p Y q X � � ❘ ❧ ❴ fs “ εY f ˝ s “ 1 Y CT2019 Intrinsic Schreier split extnesions – 6 / 14

  26. Unital categories ¨ Mon unital category Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 7 / 14

  27. Unital categories ¨ Mon unital category ù J´ onsson–Tarski variety ( x ` 0 “ x “ 0 ` x ) Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 7 / 14

  28. Unital categories ¨ Mon unital category ù J´ onsson–Tarski variety ( x ` 0 “ x “ 0 ` x ) Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis ¨ C pointed + regular + binary coproducts is unital Imaginary morphisms - I Imaginary morphisms - II v 1 0 w iff @ r A,B “ : A ` B ։ A ˆ B regular epi Unital categories 0 1 Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 7 / 14

  29. Unital categories ¨ Mon unital category ù J´ onsson–Tarski variety ( x ` 0 “ x “ 0 ` x ) Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis ¨ C pointed + regular + binary coproducts is unital Imaginary morphisms - I Imaginary morphisms - II v 1 0 w iff @ r A,B “ : A ` B ։ A ˆ B regular epi Unital categories 0 1 Imaginary addition - I D t A,B � r A,B � � A ˆ B Imaginary addition - II iff D imaginary splitting P p A ˆ B q A ` B Intrinsic Schreier split � � epis ( + projs ) p˚q Properties - I Properties - II r A,B t A,B “ ε A ˆ B Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 7 / 14

  30. Unital categories ¨ Mon unital category ù J´ onsson–Tarski variety ( x ` 0 “ x “ 0 ` x ) Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis ¨ C pointed + regular + binary coproducts is unital Imaginary morphisms - I Imaginary morphisms - II v 1 0 w iff @ r A,B “ : A ` B ։ A ˆ B regular epi Unital categories 0 1 Imaginary addition - I D t A,B � r A,B � � A ˆ B Imaginary addition - II iff D imaginary splitting P p A ˆ B q A ` B Intrinsic Schreier split � � epis ( + projs ) p˚q Properties - I Properties - II r A,B t A,B “ ε A ˆ B Main results Cohomological flavour ¨ V J´ onsson–Tarski variety ù D t A,B : P p A ˆ B q Ñ A ` B rp a, b qs ÞÑ a ` b CT2019 Intrinsic Schreier split extnesions – 7 / 14

  31. Unital categories ¨ Mon unital category ù J´ onsson–Tarski variety ( x ` 0 “ x “ 0 ` x ) Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis ¨ C pointed + regular + binary coproducts is unital Imaginary morphisms - I Imaginary morphisms - II v 1 0 w iff @ r A,B “ : A ` B ։ A ˆ B regular epi Unital categories 0 1 Imaginary addition - I D t A,B � r A,B � � A ˆ B Imaginary addition - II iff D imaginary splitting P p A ˆ B q A ` B Intrinsic Schreier split � � epis ( + projs ) p˚q Properties - I Properties - II r A,B t A,B “ ε A ˆ B Main results Cohomological flavour ¨ V J´ onsson–Tarski variety ù D t A,B : P p A ˆ B q Ñ A ` B rp a, b qs ÞÑ a ` b CT2019 Intrinsic Schreier split extnesions – 7 / 14

  32. Unital categories ¨ Mon unital category ù J´ onsson–Tarski variety ( x ` 0 “ x “ 0 ` x ) Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis ¨ C pointed + regular + binary coproducts is unital Imaginary morphisms - I Imaginary morphisms - II v 1 0 w iff @ r A,B “ : A ` B ։ A ˆ B regular epi Unital categories 0 1 Imaginary addition - I D t A,B � r A,B � � A ˆ B Imaginary addition - II iff D imaginary splitting P p A ˆ B q A ` B Intrinsic Schreier split � � epis ( + projs ) p˚q Properties - I Properties - II r A,B t A,B “ ε A ˆ B Main results Cohomological flavour ¨ V J´ onsson–Tarski variety ù D t A,B : P p A ˆ B q Ñ A ` B rp a, b qs ÞÑ a ` b natural transformation CT2019 Intrinsic Schreier split extnesions – 7 / 14

  33. Unital categories ¨ Mon unital category ù J´ onsson–Tarski variety ( x ` 0 “ x “ 0 ` x ) Schreier (split) exts of monoids S -protomodularity Towards intrinsic Schreier split epis ¨ C pointed + regular + binary coproducts is unital Imaginary morphisms - I Imaginary morphisms - II v 1 0 w iff @ r A,B “ : A ` B ։ A ˆ B regular epi Unital categories 0 1 Imaginary addition - I D t A,B � r A,B � � A ˆ B Imaginary addition - II iff D imaginary splitting P p A ˆ B q A ` B Intrinsic Schreier split � � epis ( + projs ) p˚q Properties - I Properties - II r A,B t A,B “ ε A ˆ B Main results Cohomological flavour ¨ V J´ onsson–Tarski variety ù D t A,B : P p A ˆ B q Ñ A ` B rp a, b qs ÞÑ a ` b natural transformation ¨ natural imaginary splitting: t : P pp¨qˆp¨qq ñ p¨q`p¨q sth (*) in C CT2019 Intrinsic Schreier split extnesions – 7 / 14

  34. Imaginary addition - I ù µ X : X ˆ X ��� X ¨ t natural imaginary addition Schreier (split) exts of monoids S -protomodularity t X,X � X ` X p 1 1 q � X Towards intrinsic P p X ˆ X q Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 8 / 14

  35. � � � � � Imaginary addition - I ù µ X : X ˆ X ��� X ¨ t natural imaginary addition Schreier (split) exts of monoids S -protomodularity t X,X � X ` X p 1 1 q � X Towards intrinsic P p X ˆ X q Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I µ X ˝x 1 , 0 y“ 1 X Imaginary addition - II ❵ ❴ ❴ ¨ X ❫ ❪ ❬ ❨ ❲ ❘ ❍ Intrinsic Schreier split ❙ ❙ epis x 1 , 0 y ❙ Properties - I ❙ µ X Properties - II X ˆ X X ❴ ❴ ❴ ❴ Main results ❦ ❦ ❦ Cohomological flavour ❝ ❡ ❤ ❧ ✈ x 0 , 1 y ❦ ❦ ❦ X ❛ ❫ ❴ ❴ ❵ µ X ˝x 0 , 1 y“ 1 X CT2019 Intrinsic Schreier split extnesions – 8 / 14

  36. � � � � � Imaginary addition - I ù µ X : X ˆ X ��� X ¨ t natural imaginary addition Schreier (split) exts of monoids S -protomodularity t X,X � X ` X p 1 1 q � X Towards intrinsic P p X ˆ X q Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I µ X ˝x 1 , 0 y“ 1 X Imaginary addition - II ❵ ❴ ❴ ¨ X ❫ ❪ ❬ ❨ ❲ ❘ ❍ Intrinsic Schreier split ❙ ❙ epis x 1 , 0 y ❙ Properties - I ❙ µ X ( pps of t ) Properties - II X ˆ X X ❴ ❴ ❴ ❴ Main results ❦ ❦ ❦ Cohomological flavour ❝ ❡ ❤ ❧ ✈ x 0 , 1 y ❦ ❦ ❦ X ❛ ❫ ❴ ❴ ❵ µ X ˝x 0 , 1 y“ 1 X CT2019 Intrinsic Schreier split extnesions – 8 / 14

  37. � � � � � � � � Imaginary addition - I ù µ X : X ˆ X ��� X ¨ t natural imaginary addition Schreier (split) exts of monoids S -protomodularity t X,X � X ` X p 1 1 q � X Towards intrinsic P p X ˆ X q Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I µ X ˝x 1 , 0 y“ 1 X Imaginary addition - II ❵ ❴ ❴ ¨ X ❫ ❪ ❬ ❨ ❲ ❘ ❍ Intrinsic Schreier split ❙ ❙ epis x 1 , 0 y ❙ Properties - I ❙ µ X ( pps of t ) Properties - II X ˆ X X ❴ ❴ ❴ ❴ Main results ❦ ❦ ❦ Cohomological flavour ❝ ❡ ❤ ❧ ✈ x 0 , 1 y ❦ ❦ ❦ X ❛ ❫ ❴ ❴ ❵ µ X ˝x 0 , 1 y“ 1 X µ X � f ˝ µ X “ µ Y ˝ p f ˆ f q ¨ @ f : X Ñ Y, X ˆ X X ❴ ❴ ❴ f f ˆ f Y ˆ Y Y ❴ ❴ ❴ µ Y CT2019 Intrinsic Schreier split extnesions – 8 / 14

  38. � � � � � � � � Imaginary addition - I ù µ X : X ˆ X ��� X ¨ t natural imaginary addition Schreier (split) exts of monoids S -protomodularity t X,X � X ` X p 1 1 q � X Towards intrinsic P p X ˆ X q Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I µ X ˝x 1 , 0 y“ 1 X Imaginary addition - II ❵ ❴ ❴ ¨ X ❫ ❪ ❬ ❨ ❲ ❘ ❍ Intrinsic Schreier split ❙ ❙ epis x 1 , 0 y ❙ Properties - I ❙ µ X ( pps of t ) Properties - II X ˆ X X ❴ ❴ ❴ ❴ Main results ❦ ❦ ❦ Cohomological flavour ❝ ❡ ❤ ❧ ✈ x 0 , 1 y ❦ ❦ ❦ X ❛ ❫ ❴ ❴ ❵ µ X ˝x 0 , 1 y“ 1 X µ X � f ˝ µ X “ µ Y ˝ p f ˆ f q ¨ @ f : X Ñ Y, X ˆ X X ❴ ❴ ❴ f f ˆ f ( naturality of t ) Y ˆ Y Y ❴ ❴ ❴ µ Y CT2019 Intrinsic Schreier split extnesions – 8 / 14

  39. � Imaginary addition - II g h ¨ A � X A Schreier (split) exts of monoids S -protomodularity g p a q ` h p a q Towards intrinsic Schreier split epis Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II A X ❴ ❴ ❴ Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 9 / 14

  40. � � Imaginary addition - II g h ¨ A � X P p A q A Schreier (split) exts of monoids S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y Schreier split epis Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 9 / 14

  41. � � Imaginary addition - II P x 1 , 1 y � P p A ˆ A q g h ¨ A � X P p A q A Schreier (split) exts of monoids � ssssssssssss S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y Schreier split epis P p g ˆ h q Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 9 / 14

  42. � � Imaginary addition - II P x 1 , 1 y � P p A ˆ A q t A,A � g h ¨ A � X P p A q A ` A A Schreier (split) exts of monoids � ✉✉✉✉✉✉✉✉✉✉✉✉ � ssssssssssss S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y nt Schreier split epis g ` h P p g ˆ h q Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 9 / 14

  43. � � � Imaginary addition - II P x 1 , 1 y � P p A ˆ A q t A,A � g h ¨ A � X P p A q A ` A A Schreier (split) exts of monoids � ✉✉✉✉✉✉✉✉✉✉✉✉ � ssssssssssss S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y p g h q nt Schreier split epis g ` h P p g ˆ h q Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 9 / 14

  44. � � � Imaginary addition - II P x 1 , 1 y � P p A ˆ A q t A,A � g h ¨ A � X P p A q A ` A A Schreier (split) exts of monoids � ✉✉✉✉✉✉✉✉✉✉✉✉ � ssssssssssss S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y p g h q nt Schreier split epis g ` h P p g ˆ h q Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 9 / 14

  45. � � � � Imaginary addition - II P x 1 , 1 y � P p A ˆ A q t A,A � g h ¨ A � X P p A q A ` A A Schreier (split) exts of monoids � ✉✉✉✉✉✉✉✉✉✉✉✉ � ssssssssssss S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y p g h q nt Schreier split epis g ` h P p g ˆ h q Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour g j ¨ A � X B g p a q ` j p b q µ X � g ˆ j � X ˆ X A ˆ B X ❴ ❴ ❴ CT2019 Intrinsic Schreier split extnesions – 9 / 14

  46. � � � � � Imaginary addition - II P x 1 , 1 y � P p A ˆ A q t A,A � g h ¨ A � X P p A q A ` A A Schreier (split) exts of monoids � ✉✉✉✉✉✉✉✉✉✉✉✉ � ssssssssssss S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y p g h q nt Schreier split epis g ` h P p g ˆ h q Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour g j ¨ A � X P p A ˆ B q B g p a q ` j p b q P p g ˆ j q µ X � g ˆ j � X ˆ X � X ` X p 1 1 q � X P p X ˆ X q A ˆ B X ❴ ❴ ❴ t X,X CT2019 Intrinsic Schreier split extnesions – 9 / 14

  47. � � � � � � Imaginary addition - II P x 1 , 1 y � P p A ˆ A q t A,A � g h ¨ A � X P p A q A ` A A Schreier (split) exts of monoids � ✉✉✉✉✉✉✉✉✉✉✉✉ � ssssssssssss S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y p g h q nt Schreier split epis g ` h P p g ˆ h q Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour t A,B � g j ¨ A � X P p A ˆ B q A ` B B g p a q ` j p b q P p g ˆ j q g ` j nt µ X � g ˆ j � X ˆ X � X ` X p 1 1 q � X P p X ˆ X q A ˆ B X ❴ ❴ ❴ t X,X CT2019 Intrinsic Schreier split extnesions – 9 / 14

  48. � � � � � � � Imaginary addition - II P x 1 , 1 y � P p A ˆ A q t A,A � g h ¨ A � X P p A q A ` A A Schreier (split) exts of monoids � ✉✉✉✉✉✉✉✉✉✉✉✉ � ssssssssssss S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y p g h q nt Schreier split epis g ` h P p g ˆ h q Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour t A,B � g j ¨ A � X P p A ˆ B q A ` B B ❉ ❉ ❉ ❉ p g j q g p a q ` j p b q ❉ P p g ˆ j q g ` j ❉ nt ❉ ❉ ❉ ❉ µ X � g ˆ j � X ˆ X � X ` X p 1 1 q � X P p X ˆ X q A ˆ B X ❴ ❴ ❴ t X,X CT2019 Intrinsic Schreier split extnesions – 9 / 14

  49. � � � � � � � Imaginary addition - II P x 1 , 1 y � P p A ˆ A q t A,A � g h ¨ A � X P p A q A ` A A Schreier (split) exts of monoids � ✉✉✉✉✉✉✉✉✉✉✉✉ � ssssssssssss S -protomodularity g p a q ` h p a q Towards intrinsic P x g,h y p g h q nt Schreier split epis g ` h P p g ˆ h q Imaginary morphisms - I µ X � x g,h y � X ˆ X Imaginary morphisms - II � X ` X � X P p X ˆ X q A X ❴ ❴ ❴ Unital categories t X,X p 1 1 q Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour t A,B � g j ¨ A � X P p A ˆ B q A ` B B ❉ ❉ ❉ ❉ p g j q g p a q ` j p b q ❉ P p g ˆ j q g ` j ❉ nt ❉ ❉ ❉ ❉ µ X � g ˆ j � X ˆ X � X ` X p 1 1 q � X P p X ˆ X q A ˆ B X ❴ ❴ ❴ t X,X CT2019 Intrinsic Schreier split extnesions – 9 / 14

  50. Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 10 / 14

  51. � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I s Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 10 / 14

  52. � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I D q s � ❴ ❴ ❴ ❴ Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 10 / 14

  53. � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I D q s � ❴ ❴ ❴ ❴ Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis (iS1) Properties - I Properties - II p S1 q Main results x “ kq p x q ` sf p x q Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 10 / 14

  54. � � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I D q s � ❴ ❴ ❴ ❴ Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split t P p X q ,P p X q P x 1 , 1 y � P p P p X q ˆ P p X qq � P p X q ` P p X q epis P 2 p X q (iS1) Properties - I Properties - II p S1 q Main results p kq sfε X q x “ kq p x q ` sf p x q Cohomological flavour X CT2019 Intrinsic Schreier split extnesions – 10 / 14

  55. � � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I D q s � ❴ ❴ ❴ ❴ Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split t P p X q ,P p X q P x 1 , 1 y � P p P p X q ˆ P p X qq � P p X q ` P p X q epis P 2 p X q (iS1) Properties - I Properties - II p S1 q Main results p kq sfε X q x “ kq p x q ` sf p x q Cohomological flavour � � X P p X q ε X CT2019 Intrinsic Schreier split extnesions – 10 / 14

  56. � � � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I D q s � ❴ ❴ ❴ ❴ Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split t P p X q ,P p X q P x 1 , 1 y � P p P p X q ˆ P p X qq � P p X q ` P p X q epis P 2 p X q (iS1) Properties - I Properties - II p S1 q Main results p kq sfε X q δ X x “ kq p x q ` sf p x q Cohomological flavour P p X q � � X ε X CT2019 Intrinsic Schreier split extnesions – 10 / 14

  57. � � � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I D q s � ❴ ❴ ❴ ❴ Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split t P p X q ,P p X q P x 1 , 1 y � P p P p X q ˆ P p X qq � P p X q ` P p X q epis P 2 p X q (iS1) Properties - I Properties - II p S1 q Main results p kq sfε X q δ X x “ kq p x q ` sf p x q Cohomological flavour P p X q � � X ε X (iS2) p S2 q “ q p k p a q ` s p y qq a CT2019 Intrinsic Schreier split extnesions – 10 / 14

  58. � � � � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I D q s � ❴ ❴ ❴ ❴ Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split t P p X q ,P p X q P x 1 , 1 y � P p P p X q ˆ P p X qq � P p X q ` P p X q epis P 2 p X q (iS1) Properties - I Properties - II p S1 q Main results p kq sfε X q δ X x “ kq p x q ` sf p x q Cohomological flavour P p X q � � X ε X P p t K,Y q � P p K ` Y q P p k s q � P p X q P 2 p K ˆ Y q (iS2) p S2 q q “ q p k p a q ` s p y qq a K CT2019 Intrinsic Schreier split extnesions – 10 / 14

  59. � � � � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I D q s � ❴ ❴ ❴ ❴ Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split t P p X q ,P p X q P x 1 , 1 y � P p P p X q ˆ P p X qq � P p X q ` P p X q epis P 2 p X q (iS1) Properties - I Properties - II p S1 q Main results p kq sfε X q δ X x “ kq p x q ` sf p x q Cohomological flavour P p X q � � X ε X P p t K,Y q � P p K ` Y q P p k s q � P p X q P 2 p K ˆ Y q (iS2) p S2 q q “ q p k p a q ` s p y qq a � � K ˆ Y � � K P p K ˆ Y q ε K ˆ Y π K CT2019 Intrinsic Schreier split extnesions – 10 / 14

  60. � � � � � Intrinsic Schreier split epis ¨ C regular unital category w/ binary coproducts, functorial projective Schreier (split) exts of monoids covers and natural imaginary splitting t S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I D q s � ❴ ❴ ❴ ❴ Imaginary morphisms - II K ✤ � ¨ � X � � Y intrinsic Schreier split epi Unital categories k f Imaginary addition - I Imaginary addition - II Intrinsic Schreier split t P p X q ,P p X q P x 1 , 1 y � P p P p X q ˆ P p X qq � P p X q ` P p X q epis P 2 p X q (iS1) Properties - I Properties - II p S1 q Main results p kq sfε X q δ X x “ kq p x q ` sf p x q Cohomological flavour P p X q � � X ε X P p t K,Y q � P p K ` Y q P p k s q � P p X q P 2 p K ˆ Y q (iS2) p S2 q δ K ˆ Y q “ q p k p a q ` s p y qq a � � K P p K ˆ Y q � � K ˆ Y ε K ˆ Y π K CT2019 Intrinsic Schreier split extnesions – 10 / 14

  61. Properties - I ¨ q : X ��� K imaginary Schreier retraction Schreier (split) exts of monoids qk “ 1 K in Mon ù q ˝ k “ 1 K ô qP p k q “ ε K in C S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 11 / 14

  62. Properties - I ¨ q : X ��� K imaginary Schreier retraction Schreier (split) exts of monoids qk “ 1 K in Mon ù q ˝ k “ 1 K ô qP p k q “ ε K in C S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ qs “ 0 in Mon ù qP p s q “ 0 in C Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 11 / 14

  63. Properties - I ¨ q : X ��� K imaginary Schreier retraction Schreier (split) exts of monoids qk “ 1 K in Mon ù q ˝ k “ 1 K ô qP p k q “ ε K in C S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ qs “ 0 in Mon ù qP p s q “ 0 in C Unital categories Imaginary addition - I q p 0 q “ 0 in Mon ù obvious in C Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 11 / 14

  64. Properties - I ¨ q : X ��� K imaginary Schreier retraction Schreier (split) exts of monoids qk “ 1 K in Mon ù q ˝ k “ 1 K ô qP p k q “ ε K in C S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ qs “ 0 in Mon ù qP p s q “ 0 in C Unital categories Imaginary addition - I q p 0 q “ 0 in Mon ù obvious in C Imaginary addition - II Intrinsic Schreier split kq p s p y q ` k p a qq ` s p y q “ s p y q ` k p a q in Mon ù � in C epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 11 / 14

  65. Properties - I ¨ q : X ��� K imaginary Schreier retraction Schreier (split) exts of monoids qk “ 1 K in Mon ù q ˝ k “ 1 K ô qP p k q “ ε K in C S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ qs “ 0 in Mon ù qP p s q “ 0 in C Unital categories Imaginary addition - I q p 0 q “ 0 in Mon ù obvious in C Imaginary addition - II Intrinsic Schreier split kq p s p y q ` k p a qq ` s p y q “ s p y q ` k p a q in Mon ù � in C epis Properties - I Properties - II Main results ¨ q is unique Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 11 / 14

  66. Properties - I ¨ q : X ��� K imaginary Schreier retraction Schreier (split) exts of monoids qk “ 1 K in Mon ù q ˝ k “ 1 K ô qP p k q “ ε K in C S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ qs “ 0 in Mon ù qP p s q “ 0 in C Unital categories Imaginary addition - I q p 0 q “ 0 in Mon ù obvious in C Imaginary addition - II Intrinsic Schreier split kq p s p y q ` k p a qq ` s p y q “ s p y q ` k p a q in Mon ù � in C epis Properties - I Properties - II Main results ¨ q is unique Cohomological flavour ¨ (iS1) ñ p k s q : K ` Y ։ X regular epi CT2019 Intrinsic Schreier split extnesions – 11 / 14

  67. Properties - I ¨ q : X ��� K imaginary Schreier retraction Schreier (split) exts of monoids qk “ 1 K in Mon ù q ˝ k “ 1 K ô qP p k q “ ε K in C S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ qs “ 0 in Mon ù qP p s q “ 0 in C Unital categories Imaginary addition - I q p 0 q “ 0 in Mon ù obvious in C Imaginary addition - II Intrinsic Schreier split kq p s p y q ` k p a qq ` s p y q “ s p y q ` k p a q in Mon ù � in C epis Properties - I Properties - II Main results ¨ q is unique Cohomological flavour ¨ (iS1) ñ p k s q : K ` Y ։ X regular epi ñ p k, s q jointly extremal-epimorphic pair { p f, s q strong CT2019 Intrinsic Schreier split extnesions – 11 / 14

  68. Properties - I ¨ q : X ��� K imaginary Schreier retraction Schreier (split) exts of monoids qk “ 1 K in Mon ù q ˝ k “ 1 K ô qP p k q “ ε K in C S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ qs “ 0 in Mon ù qP p s q “ 0 in C Unital categories Imaginary addition - I q p 0 q “ 0 in Mon ù obvious in C Imaginary addition - II Intrinsic Schreier split kq p s p y q ` k p a qq ` s p y q “ s p y q ` k p a q in Mon ù � in C epis Properties - I Properties - II Main results ¨ q is unique Cohomological flavour ¨ (iS1) ñ p k s q : K ` Y ։ X regular epi ñ p k, s q jointly extremal-epimorphic pair { p f, s q strong ñ Schreier split epi ñ Schreier split extension CT2019 Intrinsic Schreier split extnesions – 11 / 14

  69. � Properties - I ¨ q : X ��� K imaginary Schreier retraction Schreier (split) exts of monoids qk “ 1 K in Mon ù q ˝ k “ 1 K ô qP p k q “ ε K in C S -protomodularity Towards intrinsic Schreier split epis Imaginary morphisms - I Imaginary morphisms - II ¨ qs “ 0 in Mon ù qP p s q “ 0 in C Unital categories Imaginary addition - I q p 0 q “ 0 in Mon ù obvious in C Imaginary addition - II Intrinsic Schreier split kq p s p y q ` k p a qq ` s p y q “ s p y q ` k p a q in Mon ù � in C epis Properties - I Properties - II Main results ¨ q is unique Cohomological flavour ¨ (iS1) ñ p k s q : K ` Y ։ X regular epi ñ p k, s q jointly extremal-epimorphic pair { p f, s q strong ñ Schreier split epi ñ Schreier split extension x 0 , 1 Y y ¨ X ✤ � � X ˆ Y � � Y intrinsic Schreier split extension x 1 X , 0 y π Y CT2019 Intrinsic Schreier split extnesions – 11 / 14

  70. � � � � � Properties - II s k ✤ � � X ¨ compatibility K Y � � Schreier (split) exts of monoids f S -protomodularity ρ g h Towards intrinsic Schreier split epis s 1 Imaginary morphisms - I K 1 ✤ � � X 1 f 1 � � Y 1 Imaginary morphisms - II k 1 Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 12 / 14

  71. � � � � � � Properties - II s q k ✤ � � K � X ¨ P p X q compatibility Y � � Schreier (split) exts of monoids f S -protomodularity ρq “ q 1 P p g q ρ g P p g q h Towards intrinsic Schreier split epis s 1 Imaginary morphisms - I � K 1 ✤ � � X 1 P p X 1 q f 1 � � Y 1 Imaginary morphisms - II q 1 k 1 Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 12 / 14

  72. � � � � � � � � � � Properties - II s q k ✤ � � K � X ¨ P p X q compatibility Y � � Schreier (split) exts of monoids f S -protomodularity ρq “ q 1 P p g q ρ g P p g q h Towards intrinsic Schreier split epis s 1 Imaginary morphisms - I � K 1 ✤ � � X 1 P p X 1 q f 1 � � Y 1 Imaginary morphisms - II q 1 k 1 Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split x 1 ,sg y epis K ✤ � ¨ � Z ˆ Y X Z Properties - I � � Properties - II π Z x 0 ,k y Main results g π X Cohomological flavour s K ✤ � � X � � Y k f CT2019 Intrinsic Schreier split extnesions – 12 / 14

  73. � � � � � � � � � � Properties - II s q k ✤ � � K � X ¨ P p X q compatibility Y � � Schreier (split) exts of monoids f S -protomodularity ρq “ q 1 P p g q ρ g P p g q h Towards intrinsic Schreier split epis s 1 Imaginary morphisms - I � K 1 ✤ � � X 1 P p X 1 q f 1 � � Y 1 Imaginary morphisms - II q 1 k 1 Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split x 1 ,sg y q ˝ π X epis K ✤ � � ❴ ❴ ❴ ❴ ¨ � Z ˆ Y X Z (iS1) Properties - I � � Properties - II π Z x 0 ,k y ñ Main results g π X Cohomological flavour q s K ✤ � � ❴ ❴ ❴ ❴ ❴ � X � � Y (iS1) k f CT2019 Intrinsic Schreier split extnesions – 12 / 14

  74. � � � � � � � � � � Properties - II s q k ✤ � � K � X ¨ P p X q compatibility Y � � Schreier (split) exts of monoids f S -protomodularity ρq “ q 1 P p g q ρ g P p g q h Towards intrinsic Schreier split epis s 1 Imaginary morphisms - I � K 1 ✤ � � X 1 P p X 1 q f 1 � � Y 1 Imaginary morphisms - II q 1 k 1 Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split x 1 ,sg y q ˝ π X epis K ✤ � � ❴ ❴ ❴ ❴ ¨ � Z ˆ Y X Z (iS1) Properties - I p π Z , x 1 , sg yq strong � � Properties - II π Z x 0 ,k y ñ Main results g π X Cohomological flavour q s K ✤ � � ❴ ❴ ❴ ❴ ❴ � X � � Y (iS1) p f, s q strong k f CT2019 Intrinsic Schreier split extnesions – 12 / 14

  75. � � � � � � � � � � Properties - II s q k ✤ � � K � X ¨ P p X q compatibility Y � � Schreier (split) exts of monoids f S -protomodularity ρq “ q 1 P p g q ρ g P p g q h Towards intrinsic Schreier split epis s 1 Imaginary morphisms - I � K 1 ✤ � � X 1 P p X 1 q f 1 � � Y 1 Imaginary morphisms - II q 1 k 1 Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split x 1 ,sg y q ˝ π X epis K ✤ � � ❴ ❴ ❴ ❴ ¨ � Z ˆ Y X Z (iS1) Properties - I p π Z , x 1 , sg yq strong � � Properties - II π Z x 0 ,k y ñ Main results g π X Cohomological flavour q s K ✤ � � ❴ ❴ ❴ ❴ ❴ � X � � Y (iS1) p f, s q strong k f ù p f, s q satisfies (iS1) ñ p f, s q stably strong CT2019 Intrinsic Schreier split extnesions – 12 / 14

  76. � � � � � � � � � � Properties - II s q k ✤ � � K � X ¨ P p X q compatibility Y � � Schreier (split) exts of monoids f S -protomodularity ρq “ q 1 P p g q ρ g P p g q h Towards intrinsic Schreier split epis s 1 Imaginary morphisms - I � K 1 ✤ � � X 1 P p X 1 q f 1 � � Y 1 Imaginary morphisms - II q 1 k 1 Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split x 1 ,sg y q ˝ π X epis K ✤ � � ❴ ❴ ❴ ❴ ¨ � Z ˆ Y X Z (iS1) Properties - I p π Z , x 1 , sg yq strong � � Properties - II π Z x 0 ,k y ñ Main results g π X Cohomological flavour q s K ✤ � � ❴ ❴ ❴ ❴ ❴ � X � � Y (iS1) p f, s q strong k f ù p f, s q satisfies (iS1) ñ p f, s q stably strong ¨ [MRVdL] Y protomodular object: all points X Ô Y are stably strong CT2019 Intrinsic Schreier split extnesions – 12 / 14

  77. � � � � � � � � � � Properties - II s q k ✤ � � K � X ¨ P p X q compatibility Y � � Schreier (split) exts of monoids f S -protomodularity ρq “ q 1 P p g q ρ g P p g q h Towards intrinsic Schreier split epis s 1 Imaginary morphisms - I � K 1 ✤ � � X 1 P p X 1 q f 1 � � Y 1 Imaginary morphisms - II q 1 k 1 Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split x 1 ,sg y q ˝ π X epis K ✤ � � ❴ ❴ ❴ ❴ ¨ � Z ˆ Y X Z (iS1) Properties - I p π Z , x 1 , sg yq strong � � Properties - II π Z x 0 ,k y ñ Main results g π X Cohomological flavour q s K ✤ � � ❴ ❴ ❴ ❴ ❴ � X � � Y (iS1) p f, s q strong k f ù p f, s q satisfies (iS1) ñ p f, s q stably strong ¨ [MRVdL] Y protomodular object: all points X Ô Y are stably strong ù If all X Ô Y satisfy (iS1) , then Y is a protomodular object CT2019 Intrinsic Schreier split extnesions – 12 / 14

  78. Main results ¨ Thm. In Mon (or any J´ onsson–Tarski variety V ): Schreier (split) exts of monoids - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B S -protomodularity Towards intrinsic Schreier split epis rp a, b qs ÞÑ a ` b Imaginary morphisms - I Imaginary morphisms - II Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 13 / 14

  79. Main results ¨ Thm. In Mon (or any J´ onsson–Tarski variety V ): Schreier (split) exts of monoids - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B S -protomodularity Towards intrinsic Schreier split epis rp a, b qs ÞÑ a ` b Imaginary morphisms - I Imaginary morphisms - II = Schreier split epi Unital categories Imaginary addition - I Imaginary addition - II Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 13 / 14

  80. Main results ¨ Thm. In Mon (or any J´ onsson–Tarski variety V ): Schreier (split) exts of monoids - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B S -protomodularity Towards intrinsic Schreier split epis rp a, b qs ÞÑ a ` b Imaginary morphisms - I Imaginary morphisms - II = Schreier split epi / right homogeneous split epi [BM-FMS] Unital categories Imaginary addition - I Imaginary addition - II ( (S1) x “ kq p x q ` sf p x q ; (S2) q p k p a q ` s p y qq “ a ) Intrinsic Schreier split epis Properties - I Properties - II Main results Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 13 / 14

  81. Main results ¨ Thm. In Mon (or any J´ onsson–Tarski variety V ): Schreier (split) exts of monoids - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B S -protomodularity Towards intrinsic Schreier split epis rp a, b qs ÞÑ a ` b Imaginary morphisms - I Imaginary morphisms - II = Schreier split epi / right homogeneous split epi [BM-FMS] Unital categories Imaginary addition - I Imaginary addition - II ( (S1) x “ kq p x q ` sf p x q ; (S2) q p k p a q ` s p y qq “ a ) Intrinsic Schreier split epis Properties - I - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B Properties - II Main results rp a, b qs ÞÑ b ` a Cohomological flavour CT2019 Intrinsic Schreier split extnesions – 13 / 14

  82. Main results ¨ Thm. In Mon (or any J´ onsson–Tarski variety V ): Schreier (split) exts of monoids - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B S -protomodularity Towards intrinsic Schreier split epis rp a, b qs ÞÑ a ` b Imaginary morphisms - I Imaginary morphisms - II = Schreier split epi / right homogeneous split epi [BM-FMS] Unital categories Imaginary addition - I Imaginary addition - II ( (S1) x “ kq p x q ` sf p x q ; (S2) q p k p a q ` s p y qq “ a ) Intrinsic Schreier split epis Properties - I - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B Properties - II Main results rp a, b qs ÞÑ b ` a Cohomological flavour = left homogeneous split epi [BM-FMS] CT2019 Intrinsic Schreier split extnesions – 13 / 14

  83. Main results ¨ Thm. In Mon (or any J´ onsson–Tarski variety V ): Schreier (split) exts of monoids - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B S -protomodularity Towards intrinsic Schreier split epis rp a, b qs ÞÑ a ` b Imaginary morphisms - I Imaginary morphisms - II = Schreier split epi / right homogeneous split epi [BM-FMS] Unital categories Imaginary addition - I Imaginary addition - II ( (S1) x “ kq p x q ` sf p x q ; (S2) q p k p a q ` s p y qq “ a ) Intrinsic Schreier split epis Properties - I - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B Properties - II Main results rp a, b qs ÞÑ b ` a Cohomological flavour = left homogeneous split epi [BM-FMS] ( (S1) ’ x “ sf p x q ` kq p x q ; (S2) ’ q p s p y q ` k p a qq “ a ) CT2019 Intrinsic Schreier split extnesions – 13 / 14

  84. Main results ¨ Thm. In Mon (or any J´ onsson–Tarski variety V ): Schreier (split) exts of monoids - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B S -protomodularity Towards intrinsic Schreier split epis rp a, b qs ÞÑ a ` b Imaginary morphisms - I Imaginary morphisms - II = Schreier split epi / right homogeneous split epi [BM-FMS] Unital categories Imaginary addition - I Imaginary addition - II ( (S1) x “ kq p x q ` sf p x q ; (S2) q p k p a q ` s p y qq “ a ) Intrinsic Schreier split epis Properties - I - intrinsic Schreier split epi wrt t A,B : P p A ˆ B q Ñ A ` B Properties - II Main results rp a, b qs ÞÑ b ` a Cohomological flavour = left homogeneous split epi [BM-FMS] ( (S1) ’ x “ sf p x q ` kq p x q ; (S2) ’ q p s p y q ` k p a qq “ a ) ¨ Thm. C regular unital category w/ binary coproducts, functorial proj covers and a nat imaginary splitting. C is S -protomodular for S = the class of intrinsic Schreier split epis CT2019 Intrinsic Schreier split extnesions – 13 / 14

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

A presentation of the book Schreier split epimorphisms in monoids and in semirings by D. Bourn,

A presentation of the book Schreier split epimorphisms in monoids and in semirings by D. Bourn,

A presentation of the book Schreier split epimorphisms in monoids and in semirings by D. Bourn, N. Martins-Ferreira, A. Montoli, and M. Sobral 24 January 2014 Universidade de Coimbra Outline Introduction Schreier split epimorphisms in

1.03k views • 65 slides
Non-semi-abelian split extensions in categorical algebra Manuela Sobral Universidade de Coimbra

Non-semi-abelian split extensions in categorical algebra Manuela Sobral Universidade de Coimbra

Non-semi-abelian split extensions in categorical algebra Manuela Sobral Universidade de Coimbra Category Theory 2019 University of Edinburgh 13 July 2019 Split extensions vs actions In the category of groups, there is a well-known

1.44k views • 111 slides
Higher-Order Modulators and the Toolbox Richard Schreier richard.schreier@analog.com

Higher-Order Modulators and the Toolbox Richard Schreier richard.schreier@analog.com

ECE1371 Advanced Analog Circuits Higher-Order Modulators and the Toolbox Richard Schreier richard.schreier@analog.com NLCOTD: Dynamic Flip-Flop Standard CMOS version D Q CK Q Can the circuit be simplified? Is a

387 views • 22 slides
INTRODUCTION TO DELTA-SIGMA ADCS Richard Schreier richard.schreier@analog.com NLCOTD: Level

INTRODUCTION TO DELTA-SIGMA ADCS Richard Schreier richard.schreier@analog.com NLCOTD: Level

ECE1371 Advanced Analog Circuits INTRODUCTION TO DELTA-SIGMA ADCS Richard Schreier richard.schreier@analog.com NLCOTD: Level Translator VDD1 > VDD2, e.g. 3-V logic ? 1-V logic VDD1 < VDD2, e.g. 1-V logic ? 3-V logic

627 views • 25 slides
Intrinsic Motivation Ho How to to G Get et You our r Kid ids s Mo Moti tivate ted d

Intrinsic Motivation Ho How to to G Get et You our r Kid ids s Mo Moti tivate ted d

Intrinsic Motivation Ho How to to G Get et You our r Kid ids s Mo Moti tivate ted d WITHOUT THOUT Sta tars rs and Sti tick cker ers What is Intrinsic Motivation? Intrinsic motivation refers to behavior that is driven by internal

704 views • 12 slides
SPL SPLIT IT CA CAST ST Installation of Split Cast Kit Split Cast Kit Rf QM 2000 2 screws

SPL SPLIT IT CA CAST ST Installation of Split Cast Kit Split Cast Kit Rf QM 2000 2 screws

SPL SPLIT IT CA CAST ST Installation of Split Cast Kit Split Cast Kit Rf QM 2000 2 screws , 2 magnets 2 split cast plates and 2 retention disks 1 : remove the nut of the screw 2 : Fixe the screws on articulator 3 : Fixe the magnets on

205 views • 9 slides
6 Feedback, Reinforcement, and Intrinsic Motivation Session Outline (continued) Intrinsic

6 Feedback, Reinforcement, and Intrinsic Motivation Session Outline (continued) Intrinsic

chapter 6 Feedback, Reinforcement, and Intrinsic Motivation Session Outline (continued) Intrinsic Motivation and Extrinsic Rewards Cognitive evaluation theory How extrinsic rewards affect intrinsic motivation in sport

1.38k views • 27 slides
PRODUCT DECOMPOSITION Ante Rozga, University of Split, Faculty of Economics/Split - Cvite

PRODUCT DECOMPOSITION Ante Rozga, University of Split, Faculty of Economics/Split - Cvite

NEW APPROACH TO GROSS DOMESTIC PRODUCT DECOMPOSITION Ante Rozga, University of Split, Faculty of Economics/Split - Cvite Fiskovia 5, 21 000 Split; CROATIA e-mail: ante.rozga@efst.hr Elza Jurun, University of Split, Faculty of

595 views • 38 slides
Flow A Special Case of A Special Case of Intrinsic Motivation Intrinsic Motivation Flow: A

Flow A Special Case of A Special Case of Intrinsic Motivation Intrinsic Motivation Flow: A

Flow A Special Case of A Special Case of Intrinsic Motivation Intrinsic Motivation Flow: A holistic, intrinsically motivating sensation people feel when they are totally involved in an activity or are on automatic pilot. The Flow

510 views • 22 slides
Semaphores, Locks & Conditions Intrinsic vs. Explicit Locks Pre Java 5.0 only intrinsic

Semaphores, Locks & Conditions Intrinsic vs. Explicit Locks Pre Java 5.0 only intrinsic

Semaphores, Locks & Conditions Intrinsic vs. Explicit Locks Pre Java 5.0 only intrinsic mechanisms were available for coordinating access to shared data. synchronized volatile How do synchronized and volatile differ in providing

637 views • 18 slides
Deformations of Artin-Schreier covers Huy Dang University of Virginia November 5, 2019 Huy Dang

Deformations of Artin-Schreier covers Huy Dang University of Virginia November 5, 2019 Huy Dang

Deformations of Artin-Schreier covers Huy Dang University of Virginia November 5, 2019 Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 1 / 23 What is an Artin-Schreier curve? P 1 A Z /p -cover

411 views • 23 slides
THE JOY OF CIRCUITS Richard Schreier Jan. 9 2013 ANALOG DEVICES Todays Message

THE JOY OF CIRCUITS Richard Schreier Jan. 9 2013 ANALOG DEVICES Todays Message

ANALOG INTEGRATED THE JOY OF CIRCUITS Richard Schreier Jan. 9 2013 ANALOG DEVICES Todays Message Analog IC design taps many areas of expertise: physics, geometry, analysis, algorithms, modeling, . Creativity (= Fun) is

458 views • 20 slides
Zeta Functions of a Class of Artin-Schreier Curves With Many Automorphisms Renate Scheidler Joint

Zeta Functions of a Class of Artin-Schreier Curves With Many Automorphisms Renate Scheidler Joint

Zeta Functions of a Class of Artin-Schreier Curves With Many Automorphisms Renate Scheidler Joint work with Irene Bouw , Wei Ho , Beth Malmskog , Padmavathi Srinivasan and Christelle Vincent Thanks to WIN3 3 rd Women in Numbers BIRS Workshop

411 views • 21 slides
Optimizing over the Split Closure Optimizing over the Split Closure Anureet Saxena ACO PhD

Optimizing over the Split Closure Optimizing over the Split Closure Anureet Saxena ACO PhD

Optimizing over the Split Closure Optimizing over the Split Closure Anureet Saxena ACO PhD Student, Tepper School of Business, Carnegie Mellon University. (Joint Work with Egon Balas) MIP Model MIP Model min cx Contains x j 0 j 2 N x j

837 views • 56 slides
I-65/I 65/I-70 N 70 Nor orth th Split Split Pr Project oject Public Open House October 10,

I-65/I 65/I-70 N 70 Nor orth th Split Split Pr Project oject Public Open House October 10,

I-65/I 65/I-70 N 70 Nor orth th Split Split Pr Project oject Public Open House October 10, 2018 Alter Alt erna nativ tives es De Development elopment Pr Process ocess Define Problems Balance Define Identify Context

514 views • 36 slides
Hurwitz trees and deformations of Artin-Schreier covers Huy Dang University of Virginia May 16,

Hurwitz trees and deformations of Artin-Schreier covers Huy Dang University of Virginia May 16,

Hurwitz trees and deformations of Artin-Schreier covers Huy Dang University of Virginia May 16, 2020 Huy Dang (University of Virginia) Hurwitz trees and deformations of Artin-Schreier covers May 16, 2020 1 / 17 What is an Artin-Schreier

371 views • 17 slides
Intrinsics, Metadata, and Attributes: The story continues! 2016 LLVM Developers Meeting Hal

Intrinsics, Metadata, and Attributes: The story continues! 2016 LLVM Developers Meeting Hal

Intrinsics, Metadata, and Attributes: The story continues! 2016 LLVM Developers Meeting Hal Finkel Goals of This Presentation: To review LLVM's concepts of intrinsics, metadata and attributes To explain how our metadata representation

713 views • 43 slides
Bellman GAN: Distributional Multivariate Policy Evaluation and Exploration Dror Freirich, Tzahi

Bellman GAN: Distributional Multivariate Policy Evaluation and Exploration Dror Freirich, Tzahi

ICML2019 Bellman GAN 1 Bellman GAN: Distributional Multivariate Policy Evaluation and Exploration Dror Freirich, Tzahi Shimkin, Ron Meir, Aviv Tamar Viterbi Faculty of Electrical Engineering Technion ICML 2019 ICML2019 Bellman GAN 2

275 views • 14 slides
Lecture 10: Exploration CS234: RL Emma Brunskill Spring 2017 With thanks to Christoph Dann some

Lecture 10: Exploration CS234: RL Emma Brunskill Spring 2017 With thanks to Christoph Dann some

Lecture 10: Exploration CS234: RL Emma Brunskill Spring 2017 With thanks to Christoph Dann some slides on PAC vs regret vs PAC-uniform Today Review: Importance of exploration in RL Performance criteria Optimism under uncertainty

812 views • 65 slides
Do Social Rewards Crowd Out Intrinsic Dona5ons? Paul Mills,

Do Social Rewards Crowd Out Intrinsic Dona5ons? Paul Mills,

Do Social Rewards Crowd Out Intrinsic Dona5ons? Paul Mills, Jennifer Wiggins Johnson, Pamela Grimm Kent State University October 2013 Paul Mills

332 views • 30 slides
The Governing Equation(s) for a Spring-Mass-System Bernd Schr oder logo1 Bernd Schr oder

The Governing Equation(s) for a Spring-Mass-System Bernd Schr oder logo1 Bernd Schr oder

The Parts Intrinsic Forces, No Friction Friction Friction and Outside Forces Outside Forces and No Friction The Governing Equation(s) for a Spring-Mass-System Bernd Schr oder logo1 Bernd Schr oder Louisiana Tech University, College

361 views • 25 slides
Intrinsic Energy Partition in Fission Outline 1. TIME DEPENDENT PAIRING EQUATIONS AND

Intrinsic Energy Partition in Fission Outline 1. TIME DEPENDENT PAIRING EQUATIONS AND

Intrinsic Energy Partition in Fission Outline 1. TIME DEPENDENT PAIRING EQUATIONS AND DISSIPATION 2. TIME DEPENDENT EQUATIONS WITH PARTICLE NUMBER PROJECTION 3. MACROSCOPIC MICROSCOPIC MODEL 4. MASS 132 5. FISSION OF U M. Mirea Horia

509 views • 32 slides
Unsupervised Methods For Subgoal Discovery During Intrinsic Motivation in Model-Free Hierarchical

Unsupervised Methods For Subgoal Discovery During Intrinsic Motivation in Model-Free Hierarchical

Unsupervised Methods For Subgoal Discovery During Intrinsic Motivation in Model-Free Hierarchical Reinforcement Learning Jacob Rafati http://rafati.net Co-authored with: David C. Noelle Ph.D. Candidate Electrical Engineering and Computer

648 views • 42 slides
Intrinsic Metrics on Graphs & Graph Geometry D. J. Klein Texas A&M University @ Galveston,

Intrinsic Metrics on Graphs & Graph Geometry D. J. Klein Texas A&M University @ Galveston,

Intrinsic Metrics on Graphs & Graph Geometry D. J. Klein Texas A&M University @ Galveston, Galveston, TX 77553-1675 kleind@tamug.edu Abstract Graphs are a cosmopolitan representation of a wide range of things: group networks in

835 views • 18 slides

More recommend