free download: https://caulden.bandcamp.com/album/apology-accepted

thank you so much for listening and supporting <3

it takes time (w/ nedim š.)

Tôi làm logic. Ta có đẳng thức A = B iff A và B là hai hình thái tương đương đồng luân, tức:
A ≃ B ⇔ ∃(f: A → B), (g: B → A), (η: g ∘ f ≃ id_A),                  (ε: f ∘ g ≃ id_B).
Theo tiên đề Univalence( tương đương-đẳng thức), 
(A ≃ B) => (A = B). Vậy, A bằng B!

I do logic. Type A and B are said to be equal iff they are homotopically equivalent, i.e. 
A ≃ B ⇔ ∃(f: A → B), (g: B → A), (η: g ∘ f ≃ id_A),                  (ε: f ∘ g ≃ id_B).
By the Univalence axiom, (A ≃ B) => (A = B).

"comfort" out now!

https://open.spotify.com/album/5oISDlfLUrxNE3xCvOQYX9?si=9e7d54bc2f534a97

best beats in town, you could call me dwight schrute