Politics.be Registreren kan je hier.
Problemen met registreren of reageren op de berichten?
Een verloren wachtwoord?
Gelieve een mail te zenden naar [email protected] 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 19 juni 2018, 19:49   #21
Eduard Khil
Secretaris-Generaal VN
 
Eduard Khil's schermafbeelding
 
Geregistreerd: 5 juni 2012
Locatie: Hemel
Berichten: 35.531
Standaard

Citaat:
Oorspronkelijk geplaatst door bedrijven docter Bekijk bericht
Daarmee dat ik 5 a 6 maanden per jaar op reis ben
het enige hotel waar jij in thuishoort, is het hotel zonder klinken
__________________
MAMBO VOORSPELT MILJARDEN DODEN DOOR HET COVIDVACCIN IN DE KOMENDE PAAR JAAR. MILJARDEN!


Eduard Khil is offline   Met citaat antwoorden
Oud 19 juni 2018, 19:50   #22
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory toegepast op recht

Citaat:
Oorspronkelijk geplaatst door dalibor Bekijk bericht
Zou er niet-abstracte wiskunde bestaan?
Ja calculus en al wat burgerlijk ingenieurs leren .
Is trouwens een goede vraag ,category theory is de foundation maar functional programming is wat wij alle dagen overal zien.
Maar om een goed programmeur te zijn is het best dat je category theory kent.
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 19 juni 2018, 19:52   #23
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard

Citaat:
Oorspronkelijk geplaatst door Eduard Khil Bekijk bericht
het enige hotel waar jij in thuishoort, is het hotel zonder klinken
Gek dat na 3 jaar herstarten er nog niemand aan mijn deur is geweest.
Reden : ik ken heus wiskunde toegepast op recht.
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  catbookspng.png‎
Bekeken: 114
Grootte:  314,9 KB
ID: 108986  

__________________
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 19 juni 2018, 19:56   #24
Eduard Khil
Secretaris-Generaal VN
 
Eduard Khil's schermafbeelding
 
Geregistreerd: 5 juni 2012
Locatie: Hemel
Berichten: 35.531
Standaard

nobody cares
__________________
MAMBO VOORSPELT MILJARDEN DODEN DOOR HET COVIDVACCIN IN DE KOMENDE PAAR JAAR. MILJARDEN!


Eduard Khil is offline   Met citaat antwoorden
Oud 19 juni 2018, 22:55   #25
Tavek
Banneling
 
 
Geregistreerd: 11 januari 2004
Berichten: 66.569
Standaard

lel

is dat hier nu nog bezig
Tavek is offline   Met citaat antwoorden
Oud 20 juni 2018, 03:18   #26
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory toegepast op recht.

Citaat:
Oorspronkelijk geplaatst door Tavek Bekijk bericht
lel

is dat hier nu nog bezig
Kwestie van hits op mijn draad te krijgen,de spammers trappen er nog steeds in

https://forum.politics.be/showthread.php?t=234985
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 : 20 juni 2018 om 03:19.
bedrijven docter is offline   Met citaat antwoorden
Oud 20 juni 2018, 03:21   #27
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory

Citaat:
Oorspronkelijk geplaatst door Eduard Khil Bekijk bericht
nobody cares
Mijn klanten wel
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 20 juni 2018, 03:52   #28
patrickve
Secretaris-Generaal VN
 
patrickve's schermafbeelding
 
Geregistreerd: 24 februari 2009
Locatie: Grenoble, Frankrijk
Berichten: 111.429
Standaard

Citaat:
Oorspronkelijk geplaatst door bedrijven docter Bekijk bericht
Waarom category theory kan toegepast worden op juridische constructies.
Dat zal niet lukken. Voor zover ik weet heeft category theorie geen bewezen inconsistenties.

Heel mooi, natuurlijk, maar eigenlijk ben je gewoon object-georienteerd programmeren aan 't ontdekken. Category theorie is een classificatie theorie van structuren (ttz, combinaties van verzamelingen en relaties), maar dat uit de kast halen om een concrete ad hoc structuur te bedenken die aan aan concreet probleem een beschrijving geeft, is niks anders dan het abstracte idee achter object-georienteerd programmeren. Je zou kunnen zeggen dat de gemiddelde programmeur M. Jourdain is, die niet wist dat hij al heel de tijd proza sprak.
Maar de echte bestaansreden van category theorie is niet gewoon het klasseren van structuren, maar wel van het bewijzen van verbanden ertussen. In dit geval hier zou je misschien kunnen aantonen dat de structuur van de Londense metro een intiem verband heeft met de arbeidswetgeving in Zimbabwe, maar wat je dan daarmee moet doen, is de vraag, he.
patrickve is offline   Met citaat antwoorden
Oud 20 juni 2018, 09:19   #29
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory

Citaat:
Oorspronkelijk geplaatst door patrickve Bekijk bericht
Dat zal niet lukken. Voor zover ik weet heeft category theorie geen bewezen inconsistenties.

Heel mooi, natuurlijk, maar eigenlijk ben je gewoon object-georienteerd programmeren aan 't ontdekken. Category theorie is een classificatie theorie van structuren (ttz, combinaties van verzamelingen en relaties), maar dat uit de kast halen om een concrete ad hoc structuur te bedenken die aan aan concreet probleem een beschrijving geeft, is niks anders dan het abstracte idee achter object-georienteerd programmeren. Je zou kunnen zeggen dat de gemiddelde programmeur M. Jourdain is, die niet wist dat hij al heel de tijd proza sprak.
Maar de echte bestaansreden van category theorie is niet gewoon het klasseren van structuren, maar wel van het bewijzen van verbanden ertussen. In dit geval hier zou je misschien kunnen aantonen dat de structuur van de Londense metro een intiem verband heeft met de arbeidswetgeving in Zimbabwe, maar wat je dan daarmee moet doen, is de vraag, he.
Mooi ,het plan van de underground is een voorbeeld van category theory , het gaat inderdaad om de verbanden (verbindingen) en dat is nu net wat ik doe met recht . elk station is een catagory en de funtors zijn d verbanden tussen de wetsartikelen.Dwz elk station vb BW 1167 heeft alle wetsartikels die verband houden met BW 1167 en dat zijn er veel en elke CAT station is op zijn beurd verbonden met een ander station via een functor zodat station BW 1382 en BW 1167 dicht bij elkaar liggen .BW art die ver van elkaar liggen of niets te maken hebben met elkaar liggen dan ook zeer ver van elkaar. Ik maak ook gebruik als van initial en terminal objects als begin en eindstations-category .Ik gebruikte vroeger group theory in mijn thesis via Ca centralizers en probeer het nu allemaal via diagrams aan elkaar te composeren.
Java 8 heeft NU pas cathegory ontdekt ! zie lamda conference in CADIZ.
ik ben nu Haskel ook aan het leren om beter te kunnen composeren.
De underground van london is het schoolvoorbeeld van Category theory en ik probeer nu de functors te vinden want de CATEGORY's had ik al via mijn CENTRALISERS
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 21 juni 2018, 08:24   #30
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory

Citaat:
Oorspronkelijk geplaatst door patrickve Bekijk bericht
Dat zal niet lukken. Voor zover ik weet heeft category theorie geen bewezen inconsistenties.

Heel mooi, natuurlijk, maar eigenlijk ben je gewoon object-georienteerd programmeren aan 't ontdekken. Category theorie is een classificatie theorie van structuren (ttz, combinaties van verzamelingen en relaties), maar dat uit de kast halen om een concrete ad hoc structuur te bedenken die aan aan concreet probleem een beschrijving geeft, is niks anders dan het abstracte idee achter object-georienteerd programmeren. Je zou kunnen zeggen dat de gemiddelde programmeur M. Jourdain is, die niet wist dat hij al heel de tijd proza sprak.
Maar de echte bestaansreden van category theorie is niet gewoon het klasseren van structuren, maar wel van het bewijzen van verbanden ertussen. In dit geval hier zou je misschien kunnen aantonen dat de structuur van de Londense metro een intiem verband heeft met de arbeidswetgeving in Zimbabwe, maar wat je dan daarmee moet doen, is de vraag, he.
Ik denk dat je gelijk hebt ,het moet allemaal zo rigoureus niet zijn .ik kan beter category gebruiken als achtergrond theory zoals de functional programmings software designers doen en overschakelen op een database constructie waarbij de CAT = TYPE en dan via de andere mogelijkheden de kaart van de underground (morphisme) opstellen.Ik vind wel een specialist in Haskell die dat samen voor mij gaat oplossen.Ik blijf dan de theoretische achtergrond studeren via CATEGORY theory en hij zet het praktisch om in een functionele database.
Paul Dirac heeft het ons voorgedaan ,zijn theorie klopte absoluut niet volgens de strikte mathematica maar hij kreeg er toch de nobelprijs voor.
Hartelijk dank voor je insteek en het bewijs dat je niet steeds moet spammen op mijn draden.

https://forum.politics.be/showpost.p...3&postcount=39
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  dirac 5.png‎
Bekeken: 103
Grootte:  329,3 KB
ID: 108995  

__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven

Laatst gewijzigd door bedrijven docter : 21 juni 2018 om 08:49.
bedrijven docter is offline   Met citaat antwoorden
Oud 21 juni 2018, 08:33   #31
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory

Voor zij die niet weten wat Ca centralizers zijn :

https://forum.politics.be/showpost.p...91&postcount=7
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 25 juni 2018, 01:50   #32
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard Category theory toegepast op recht

Initial en terminal object.

VB CAT BW 1184

Deze category (station) bestaat uitsluitend uit monoids (1 wetsartikel)

de identity is BW 1184 zelf

de andere objecten zijn de initial of terminal object dwz de wetsartikelen die vanuit BW 1184 worden bereikt (de Centraliser bw 1184,zie vorige mededeling) en de wetsartikelen die aankomen in BW 1184 .
Initial en terminal objects zijn gelijk omdat ze commuten .
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  adjmatexample.png‎
Bekeken: 116
Grootte:  31,0 KB
ID: 109010  

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 25 juni 2018, 02:06   #33
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard

Verduidelijking
In het bovenste plaatje is 1 de identyty en niet 4 en behoort 5 niet tot de category.
De adjacent matrix eerste rij is dus 11110
In het laatste plaatje behoort enkel 1,2,5 tot de objecten van de category
De category (station) wordt dus best via adjacentmatrixen voorgesteld .
1 is initial object
-1 is terminal object

Opgelet het gaat hier niet om HOM(A,B) want de objecten zijn geen sets maar monoids.

1 2 3 4 5 van het bovenste plaatje gaan op hun beurt CAT (stations vormen)
zodat de underground map nu bestaat uit 5 stations (CAT -stations)
en elk Cat (station) op haar beurt monoids (wetsartikels bevat die initial of terminal zijn)

VB CAT 2 bevat al zeker 1,2,3 en 5

CAT 4 bevat 4 en andere monoids dan 1.2.3 of 5 dus andere wetsartikelen die niet verbonden zijn met BW 1184 maar wel met het wetsartikel dat de identity is van cat 4
__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven

Laatst gewijzigd door bedrijven docter : 25 juni 2018 om 02:17.
bedrijven docter is offline   Met citaat antwoorden
Oud 5 juli 2018, 10:02   #34
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard Category Theory

N _CATEGORY SIMPLEX

Tussen 2 category (stations ) heb je een bicategory
Tussen 3 category (stations-wets artikel) heb je een tricategory
Tusse N category heb je een hogerdimensional simplex als category
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-02-15-50-27.png‎
Bekeken: 112
Grootte:  308,1 KB
ID: 109045  

Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-02-15-49-54.png‎
Bekeken: 115
Grootte:  336,4 KB
ID: 109046  

Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-05-11-03-13.png‎
Bekeken: 139
Grootte:  496,8 KB
ID: 109047  

__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven

Laatst gewijzigd door bedrijven docter : 5 juli 2018 om 10:14.
bedrijven docter is offline   Met citaat antwoorden
Oud 5 juli 2018, 10:54   #35
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard

voor meer info van het voorgaande

http://www.euclideanspace.com/prog/s...xiom/index.htm
__________________
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 5 juli 2018, 14:10   #36
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory toegepast op recht

Het probleem met bi-categorys ,laat staan met N category's
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-05-15-01-16.png‎
Bekeken: 109
Grootte:  254,8 KB
ID: 109049  

Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-05-15-01-43.png‎
Bekeken: 110
Grootte:  477,9 KB
ID: 109050  

Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-05-15-03-50.png‎
Bekeken: 113
Grootte:  327,1 KB
ID: 109051  

__________________
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 5 juli 2018, 15:02   #37
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory toegepast op recht

details van een CATEGORY (station) vb BW 1167

in onderstaande link zie je wat je doet met een CATEGORY (station)

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


ik gebruik dagelijks de aangegeven software om mijn underground map te maken
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  Screenshot_2018-07-05-16-07-58.png‎
Bekeken: 126
Grootte:  101,3 KB
ID: 109052  

__________________
Ik werd nooit betaald om de dingen juist te schrijven, maar wel om de juiste dingen te schrijven

Laatst gewijzigd door bedrijven docter : 5 juli 2018 om 15:03.
bedrijven docter is offline   Met citaat antwoorden
Oud 5 juli 2018, 17:28   #38
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory

Interne en externe morphismen

De CATEGORY word voorgesteld door A de adjecent matrix
De underground wordt voorgesteld door M de incident matrix waarbij de verbindingen de FUNCTORS zijn.

de kleinste underground is een verbinding tussen 2 categories (bicategory) maar het beste krijg je een inzicht als je een tri category maakt.

Hoger dimensional wordt al moeilijk om te bevatten
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 5 juli 2018, 17:30   #39
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard Category Theory

Hogerdimensional
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  cats.png‎
Bekeken: 139
Grootte:  156,8 KB
ID: 109058  

__________________
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 5 juli 2018, 17:33   #40
bedrijven docter
Minister
 
bedrijven docter's schermafbeelding
 
Geregistreerd: 30 april 2016
Locatie: berchem
Berichten: 3.416
Stuur een bericht via Skype™ naar bedrijven docter
Standaard category theory

abstract denken
Category theory is de hoogste vorm van abstract denken,quantum theory is nog kinderspel tegen dit soort opleidingen laat staan toepassing op recht.
Bijgevoegde miniaturen
Klik op de afbeelding voor een grotere versie

Naam:  awodey-chap02.png‎
Bekeken: 91
Grootte:  46,5 KB
ID: 109061  

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
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 02:58.


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