timelets: (Default)
[personal profile] timelets
I'm now stuck on this definition.




How can I construct a simple topos to work through the definition?

Let's start with (4) and say that B represents various kinds of sports games; S - a particular game of sports, e.g. football; 1 stands for the rules; Ω - truth table to determine the nature of the game.

Looking at (5), let PB be the score; that is, each game has a score according to the official rules. B -> PB.

Let A be a bet on the outcome of a game. g: A -> PB.

What's BxA? It looks like a matrix of games and related bets. Using f: BxA -> Ω, we can determine whether the bet was legit.

What's BxPB? It looks like a matrix of games and scores. Using epsilon: BxPB -> Ω we can determine whether the score was legit.

In this topos we can say that a unique function g maps all bets to legitimate scores.

Does this make sense?
From:
Anonymous
OpenID
Identity URL: 
User
Account name:
Password:
If you don't have an account you can create one now.
Subject:
HTML doesn't work in the subject.

Message:

 
Links will be displayed as unclickable URLs to help prevent spam.

Profile

timelets: (Default)
timelets

September 2017

S M T W T F S
     1 2
3 4 5 6 7 8 9
10 11 1213 141516
1718192021 2223
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 08:27 pm
Powered by Dreamwidth Studios