Politics.be Problemen met registreren? Of een verloren wachtwoord? Gelieve een mail te verzenden naar maarten@politics.be met vermelding van je gebruikersnaam.

Ga terug   Politics.be > Themafora > Wetenschap & Technologie
Registreer FAQForumreglement Ledenlijst Markeer forums als gelezen

Wetenschap & Technologie Van grondstoffen tot afgewerkt product, oude en nieuwe ontdekkingen, ... + de relatie tot de mens, macht, ...

Antwoord
 
Discussietools
Oud 5 juli 2018, 19:51   #41
dalibor
Perm. Vertegenwoordiger VN
 
dalibor's schermafbeelding
 
Geregistreerd: 9 mei 2014
Berichten: 11.197
Standaard

Kijk jij naar de Rode Duivels?
__________________
... beam me up Scotty...

Knuppel: "ik reageer op de beschuldiging dat Scotty een zionist is".
dalibor is offline   Met citaat antwoorden
Oud 6 juli 2018, 08:45   #42
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard rode duivels

Citaat:
Oorspronkelijk geplaatst door dalibor Bekijk bericht
Kijk jij naar de Rode Duivels?
Ja, ze gaan winnen vanavond omdat ze de underdog zijn (dan zijn ze goed)
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden
Oud 11 juli 2018, 08:03   #43
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory

Verschil functions en functor.

Binnen de Category zijn de relaties functions omdat de Category van het type small Category is en dus werkt zoals Sets

Tussen de Categories is er een pijl die de functor is en die draagt de structuur van de een category over op de andere.De structuren tussen de wetsartikels blijven op deze wijze behouden. zie hieronder
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-10-15-53-04.png‎
Bekeken: 3
Grootte:  247,1 KB
ID: 109090  

Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-10-16-01-25.png‎
Bekeken: 3
Grootte:  317,5 KB
ID: 109091  

Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-10-16-36-02.png‎
Bekeken: 2
Grootte:  375,6 KB
ID: 109092  

__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden
Oud 13 juli 2018, 10:07   #44
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard Category Theory Bifunctors

Voorbeeld BIFUNCTOR

c = BW 1271 ----> BW 1275=Fcd

d =BW 1690 ----> BW 1275=Fcd

Van toepassing bij overdracht van activa en passiva in een oneigenlijke fusie waarbij niet de aandeelhouders van de verkrijgende vennootschap maar de inbrengende vennootschap worden vergoed (gemeenrechtelijke fusie)

Een voorbeeld van een NFUNCTOR is CAT BW 1382
Bijgevoegde afbeelding(e)
 
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven

Laatst gewijzigd door bedrijven docter : 13 juli 2018 om 10:22.
bedrijven docter is offline   Met citaat antwoorden
Oud 13 juli 2018, 15:40   #45
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard Cat: Category Of Categories

CAT underground

The underground map is de Category of small categories.

Objects zijn small categories (stations).
Morphismen zijn functors.(structure preservng) de verbindingen tussen de stations

Cat of small categories zijn sets ! gezien CAT groot is en haar objecten klein heb je niet het probleem van Set theory en kan je de Categorie van alle small categorys construeren. dus je kan de volledige underground construeren met alle wetten (BW_Ger W etc etc etc)

Het was Lawvere's voorstel om deze CAT te gebruiken als foundations.
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  3e0fj.png‎
Bekeken: 3
Grootte:  414,5 KB
ID: 109102  

Klik op de afbeelding voor een grotere versie

Naam:  2013-03-01-february-disruptions.png‎
Bekeken: 2
Grootte:  454,7 KB
ID: 109104  

Bijgevoegde afbeelding(e)
 
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden
Oud 14 juli 2018, 18:15   #46
Eduard Khil
Secretaris-Generaal VN
 
Eduard Khil's schermafbeelding
 
Geregistreerd: 5 juni 2012
Locatie: Hemel
Berichten: 20.984
Standaard

__________________
Es ist Zeit für Rache! We moeten het linkse gedachtengoed UITROEIEN!
Eduard Khil is offline   Met citaat antwoorden
Oud 15 juli 2018, 10:20   #47
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory toegepast op recht

CAT en FUNCTOR

Een CATEGORIE bestaat uit objecten (wetsartikelen ) en morphosmen (verbindingen)

Een category wordt gevalideerd door haar adjacent matrix A (zie picture A)
belangrijk is dat deze matrix allemaal 1 heeft in de A11 dit wil zeggen in de eerste rij en de eerste kolom.
Object 1 het innitial en terminal object van de CAT I

Een natural transformatie gebeurt door de objecten 1.2.3 en 4 te vervangen door de CATEGORY I,II,III en IV en tussen de categories de Functors te plaatsen F1,2 ; F1,3;F1,4;F2,3 om een isomorphe wijze zoals CAT 1

De natural transformatie wordt gevalideert door een incident matrix
(zie picture B)
Belangrijk is dat de matrix P,Q aan de volgende zaken voldoet

De som van de degre van de vertices = 2 Q
en er is altijd een even aantal odd degrees van de vertices

Elke matrix is P,Q
Waarbij P : aantal vertices (objects of categories)
Waarbij Q : aantal edges (verbindingen of morphismen)


Picture A = detail van een category
Paicture B = CAT bestaande uit categories als objecten
Bijgevoegde afbeelding(e)
Bestandstype: jpg IMG_20180715_110314.jpg‎ (309,0 KB, 3x gelezen)
Bestandstype: jpg IMG_20180715_110625.jpg‎ (311,7 KB, 4x gelezen)
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden
Oud 15 juli 2018, 10:21   #48
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard

Citaat:
Oorspronkelijk geplaatst door Eduard Khil Bekijk bericht
Kan je niet meer volgen jongen ??
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden
Oud 15 juli 2018, 12:05   #49
Eduard Khil
Secretaris-Generaal VN
 
Eduard Khil's schermafbeelding
 
Geregistreerd: 5 juni 2012
Locatie: Hemel
Berichten: 20.984
Standaard

__________________
Es ist Zeit für Rache! We moeten het linkse gedachtengoed UITROEIEN!
Eduard Khil is offline   Met citaat antwoorden
Oud 17 juli 2018, 09:20   #50
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory

REPRESENTATION OF CATEGORY BY PSEUDOGRAPH

De CAT (station -wetsartilel) wordt door een pseudograph voorgesteld omdat er loops zijn (identity)

De graph moet enkel connected zijn en moet niet complete Kn of planar zijn.
Indien hij geen crossings heeft (en dus planar is) doet men de proef 3p - 6 als p > 3 .

In de CAT underground (total map) zijn de Functors bridges
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  categories 3.png‎
Bekeken: 3
Grootte:  54,4 KB
ID: 109123  

Bijgevoegde afbeelding(e)
 
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden
Oud 17 juli 2018, 12:00   #51
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory adjoint functors

Adjoint functors

De underground map CAT Underground wordt dan uitgebreid met adjoint functors.

Dus wets artikel 5 en 6 worden via adjoint functors toegevoegd (zie tekening)
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  leinster-chap02.png‎
Bekeken: 3
Grootte:  51,8 KB
ID: 109126  

Bijgevoegde afbeelding(e)
Bestandstype: jpg beck.jpg‎ (199,6 KB, 3x gelezen)
Bestandstype: jpg adjoint functors.jpg‎ (327,2 KB, 3x gelezen)
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden
Oud 17 juli 2018, 15:17   #52
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard Free forgetfull functor in category theory

FREE FORGETFULL FUNCTOR


Free constructions are a powerful application of adjunctions. A free functor is defined as the left adjoint to a forgetful functor. A forgetful functor is usually a pretty simple functor that forgets some structure.

Een beeld zegt meer als 1000 woorden (zie bijlagen)
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  awodey-chap08.png‎
Bekeken: 1
Grootte:  50,1 KB
ID: 109129  

Bijgevoegde afbeelding(e)
Bestandstype: jpg free adjoint functor.jpg‎ (179,8 KB, 2x gelezen)
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden
Oud 17 juli 2018, 15:57   #53
Eduard Khil
Secretaris-Generaal VN
 
Eduard Khil's schermafbeelding
 
Geregistreerd: 5 juni 2012
Locatie: Hemel
Berichten: 20.984
Standaard

__________________
Es ist Zeit für Rache! We moeten het linkse gedachtengoed UITROEIEN!
Eduard Khil is offline   Met citaat antwoorden
Oud 17 juli 2018, 18:43   #54
Wapper
Perm. Vertegenwoordiger VN
 
Wapper's schermafbeelding
 
Geregistreerd: 7 juni 2014
Locatie: 't Steen
Berichten: 13.836
Standaard

Wapper is offline   Met citaat antwoorden
Oud 17 juli 2018, 19:06   #55
Eduard Khil
Secretaris-Generaal VN
 
Eduard Khil's schermafbeelding
 
Geregistreerd: 5 juni 2012
Locatie: Hemel
Berichten: 20.984
Standaard

Citaat:
Oorspronkelijk geplaatst door Wapper Bekijk bericht
__________________
Es ist Zeit für Rache! We moeten het linkse gedachtengoed UITROEIEN!
Eduard Khil is offline   Met citaat antwoorden
Oud 18 juli 2018, 11:27   #56
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.336
Stuur een bericht via Skype™ naar bedrijven docter
Standaard monad in Category theory

Definitie MONAD

Elk paar ADJOINT FUNCTORS welke disjoint Categories verbind is een Monad.Deze adjoint functors zijn endofunctors omdat ze geen wetsartikelen verbinden anders waren de categories niet disjoint.

De verbindingen zijn dus rechtspraak en rechtsleer of IPR.

Deze adjoint functors zijn reperesentable functors voor de rechtspraak en rechtsleer welke BIND;MEET of JOIN

Bartosz Milewski :

Programmers have developed a whole mythology around monads. It’s supposed to be one of the most abstract and difficult concepts in programming. There are people who “get it” and those who don’t. For many, the moment when they understand the concept of the monad is like a mystical experience. The monad abstracts the essence of so many diverse constructions that we simply don’t have a good analogy for it in everyday life. We are reduced to groping in the dark, like those blind men touching different parts of the elephant end exclaiming triumphantly: “It’s a
rope,” “It’s a tree trunk,” or “It’s a burrito!”

The monad is like duct tape. Its applications are widely diverse, but its principle is very simple: it glues things together. More precisely, it composes things.
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  awodey-chap10.png‎
Bekeken: 3
Grootte:  49,5 KB
ID: 109133  

Bijgevoegde afbeelding(e)
 
Bijgevoegde afbeelding(e)
Bestandstype: jpg monads1.jpg‎ (231,6 KB, 3x gelezen)
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven
bedrijven docter is offline   Met citaat antwoorden
Oud Vandaag, 21:14   #57
Eyjafjallajökull
Perm. Vertegenwoordiger VN
 
Eyjafjallajökull's schermafbeelding
 
Geregistreerd: 17 mei 2010
Berichten: 14.800
Standaard

Hoe zit dat met die voordrachten eigenlijk ?
Eyjafjallajökull is offline   Met citaat antwoorden
Antwoord


Discussietools

Regels voor berichten
Je mag niet nieuwe discussies starten
Je mag niet reageren op berichten
Je mag niet bijlagen versturen
Je mag niet jouw berichten bewerken

vB-code is Aan
Smileys zijn Aan
[IMG]-code is Aan
HTML-code is Uit
Forumnavigatie


Alle tijden zijn GMT +1. Het is nu 22:19.


Forumsoftware: vBulletin®
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd.
Content copyright ©2002 - 2016, Politics.be