category theory toegepast op juridische constructies

[bedrijven docter]

Category theory toegepast op juridische constructies


Waarom category theory kan toegepast worden op juridische constructies.

https://www.youtube.com/watch?v=I8LbkfSSR58

CATEGORY is een mathematical abstract context waarop een constructie kan worden toegepast.

CATEGORY in recht is dus BW,GER W etc de wetboeken dus,de indeling gebeurt op basis van context ,niet op basis van inhoud (category theorie is geen set theory )

FUNCTOR = de juridische constructie vb doorstart

NATURAL TRANSFORMATION = Een morphisme tussen alle mogelijke constructies welke worden vastgelegd in een multigraph (diagram)

De uitleg over manoid en monads volgt later.

[bedrijven docter]

Wat zijn monoids ?


Monoids zijn de basics om 2 wetsartkelen te combineren tot een derde in dezelfde categorie (closure),het is een algebra die associative is en een identity heeft.Ze zijn bedoeld om zeer complexe juridische constructies op te breken in kleine begrijpbare primitive constructies.Ze zijn als het ware onze priemgetallen waarmee we alle constructies kunnen opbouwen via een algebra of functors.

[bedrijven docter]

MONODIAL CATEGORY

Net zoals in de getallen leer waar je 5 nog kan factorizeren via de class number theory in 2 algebraïsche conjugate getallen (zoek het maar eens op)
Is de in voorgaande besproken monoi nog verder opsplitsbaar in 3 aparte monois ,gezien een Monoi strikt mathematisch maar 1 object mag hebben.
Het zijn de 3 wets artikels a,b, en axb

De vorige paragraaf beschrijft een monodial category via zijn HOM(sets).

https://www.youtube.com/watch?v=aZjhqkD6k6w&t=1938s

[bedrijven docter]

Abstracte wiskunde toegepast op rechtsconstructies.

Best even deze draden terug opnemen anders gaat het zeer moeilijk worden om te volgen.

https://forum.politics.be/showthread.php?t=234569

[bedrijven docter]

Wat de bedoeling is met toepassen van category op recht

Hier bij zie je een typisch voorbeeld van category theory ,namelijk de map van de london underground.
Alle overbodige informatie is weggelaten ,alleen de voornaamste eigenschap is behouden namelijk de verbindingen tussen de diverse stations (functors).
Dit is niet de werkelijke map van Londen ,maar een abstracte map met alle informatie nodig om zich zonder zorgen te verplaatsen door Londen.

Ik ben momenteel bezig dezelfde map te maken voor recht ,waar elke lijn een wetboek is (BW,Ger W..........). de stations zijn dan de terminal of initial objects waar de artikels van de diverse wetboeken elkaar kruisen en commuteren (Centralisers uit mijn thesis). Ik krijg dus een helicopter view over de wetboeken en kan onmiddellijk beslissen bij het analyseren van een juridisch probleem welke artikels ik gezamenlijk nodig heb om het op te lossen m.a.w. in welke stations ik moet afstappen.


https://www.youtube.com/watch?v=ho7oagHeqNc

[bedrijven docter]

Categories zijn de underground trein stations

Een station -category bestaat uit :
-objects (de monoids ),in ons geval de wetsartikelen welke commute.
-Verbindingen die daar toekomen of vertrekken , (de wetsartikels gegroepeerd in dat station -category)
-Identity zoek nog uit wat het is maar speel met initial en terminal objects.
-Associative het maakt niet uit hoeveel overstappen je maakt om tot dat station -categorie te komen.

Een belangrijk station - category is station 1382 bw,daar komen zeer veel lijnen aan.Dit station -category heeft zeer veel objecten en verbindingen (morphismen)

https://www.youtube.com/watch?v=MvQxNm5gn8g

[bedrijven docter]

Categorie station vb 1382

In elk metro station komen verschillende lijnen aan ,maar ze komen niet allen aan op hetzelfde perron.
Vandaar dat de category een verzameling is van objecten (de perrons van de diverse lijnen die daar aankomen (BW.Ger w.Beslag recht,faill wet ...)
Dus vb in station category BW 1167 komen diverse lijn aan op verschillende perrons.De verschillende monoids die commuten met BW 1167.

De namen van de diverse categories zijn telkens nummers uit het Burgerlijk wetboek. Later zullen we zien dat via natural transformations wij een totale map overzicht hebben waarop de namen van de stations bv allen nrs zijn uit het Ger W. of allen nrs uit het faill wet.(swappen)

Maar voorlopig moet U enkel weten wat een categorie is en waaruit het is samengesteld.

[bedrijven docter]

Category of categories is de totale underground map

Vermits de stations categories zijn ,is de totale map de category of categories.

Dus het overzicht van het ganse recht is een category van categories.

[Eduard Khil]

tl;dr

[Wapper]

[bedrijven docter]

Oorspronkelijk geplaatst door Eduard Khil

tl;dr

Nu ben ik eens rustig een theory aan het toepassen en lap de zwammers zijn er weer.

Voor als je niet kan volgen :

http://rechtenforum.nl/forum/thread/t/45513/highlight//

[dalibor]

Zwaktes van theorieën: zelfreferentialiteit.

[Eduard Khil]

Oorspronkelijk geplaatst door bedrijven docter

Nu ben ik eens rustig een theory aan het toepassen en lap de zwammers zijn er weer.

Voor als je niet kan volgen :

http://rechtenforum.nl/forum/thread/t/45513/highlight//

tl;dr

[dalibor]

brainstormen met de bedrijvendocter: yeah!

[bedrijven docter]

Oorspronkelijk geplaatst door dalibor

Zwaktes van theorieën: zelfreferentialiteit.

THERE IS NO BETTER WAY TO UNDERSTAND THE PATTERNS UNDERLYING LAW STRUCTURE THAN STUDYING CATEGORY THEORY.

[Eduard Khil]

Openbaar vervoer is voor strandjanetten

[bedrijven docter]

Oorspronkelijk geplaatst door Eduard Khil

Openbaar vervoer is voor strandjanetten

Dan begrijp je nog niet eens wat morphismen zijn ,ga nog eens 10 jaar abstracte wiskunde studeren en kom dan nog eens terug.

[Eduard Khil]

Oorspronkelijk geplaatst door bedrijven docter

Dan begrijp je nog niet eens wat morphismen zijn ,ga nog eens 10 jaar abstracte wiskunde studeren en kom dan nog eens terug.

abstracte wiskunde is voor losers

[dalibor]

Zou er niet-abstracte wiskunde bestaan?

[bedrijven docter]

Oorspronkelijk geplaatst door Eduard Khil

abstracte wiskunde is voor losers

Daarmee dat ik 5 a 6 maanden per jaar op reis ben