Skip to content

Instantly share code, notes, and snippets.

View vcvpaiva's full-sized avatar
💭
working, as much as possible, as usual

Valeria de Paiva vcvpaiva

💭
working, as much as possible, as usual
View GitHub Profile
@codyroux
codyroux / dial_2.v
Created February 5, 2021 22:32
Valeria: Dial_2(Set) is a category
Record Dial_2 :=
{
U : Type;
X : Type;
alpha : U -> X -> Prop
}.
Record Mor (A B : Dial_2) :=
{
f : U A -> U B;
@TOTBWF
TOTBWF / Dialectica.lagda.md
Last active June 14, 2024 14:55
Dialectica Categories with Valeria
description
Dialectica categories, done representably. June 4th, 2024 at the HIM trimester.