Click!

Hello, unknown observer...

Profile

Call me
icon

Yuki
Osada

About

Handle name

Myxogastria0808

A→∼BA \xrightarrow{\sim} B≅\cong

Affiliation

University of Tsukuba
College of Information Science

a∈Ua \in U∈\in

Interest

Category Theory, HoTT, Type Theory, Nix

λx:A. x\lambda x {:} A.\, xλ\lambda

EMail / Social

Email

r.rstudio.c@gmail.com

Social

Works

The proof of DB Schema Migration

2026

The proof for validation of DB schema migrations.

Category TheoryDB Theory
GitHub
View All Works →

Banners

my banner

Portfolio of myxogastria0808

Accepting reciprocal links!

Portfolio of mizuameWebsite of ak47Blog of whatacottonWebsite of masebbWebsite of happy-busy