Skip to Main Content
Juan-Carlos Gandhi (
juan_gandhi
) wrote
2020
-
09
-
18
08:18 am
Entry tags:
logic
,
programming
logic timeline
Dana S. Scott, A Timeline for Logic, λ-Calculus, and Programming Language Theory
Flat
|
Top-Level Comments Only
no subject
sassa_nf
2020-09-18 05:05 pm (UTC)
(
link
)
> Theorem. The category of T0-topological spaces with an equivalence
relation and continuous functions respecting equivalences
is cartesian closed.
so cool...
no subject
juan_gandhi
2020-09-18 05:12 pm (UTC)
(
link
)
Pretty unusual, right?
no subject
sassa_nf
2020-09-18 05:38 pm (UTC)
(
link
)
I am humbled by the profound impact equivalence has.
There was a cool post by akuklev once, and an eye-opening talk by Thorsten Altenkirch.
16 comments
Post a new comment
Flat
|
Top-Level Comments Only
Log in
Account name:
Password:
Remember me
Other options:
Forget your password?
Log in with OpenID?
Close
menu
Log in
Create
Create Account
Display Preferences
Explore
Interests
Directory Search
Site and Journal Search
Latest Things
Random Journal
Random Community
FAQ
Shop
Buy Dreamwidth Services
Gift a Random User
DW Merchandise
Interest
Region
Site and Account
FAQ
Email
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
juan_gandhi) wrote2020-09-18 08:18 amjuan_gandhi) wrote2020-09-18 08:18 am
no subject
relation and continuous functions respecting equivalences
is cartesian closed.
so cool...
no subject
Pretty unusual, right?
no subject
There was a cool post by akuklev once, and an eye-opening talk by Thorsten Altenkirch.