MathDB1 problem
Directed homotopy theory is intended to provide a type-theoretic setting in which types encode infinity-categories and terms automatically respect directed homomorphisms. Foundatio…
Directed homotopy theory is intended to provide a type-theoretic setting in which types encode infinity-categories and terms automatically respect directed homomorphisms. Foundatio…