peterlefanulumsdaine/hott-limits peterlefanulumsdaine/hott-limits

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language Coq
  • Created over 11 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
peterlefanulumsdaine/hott-limits
github

peterlefanulumsdaine

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A formalization of (homotopy) limits in Homotopy Type Theory

More Repositories

1

general-type-theories

A (formalised) general definition of type theories
Coq
56
star
2

palmgren-archive

Research material of Erik Palmgren (1963–2019)
Agda
20
star
3

Oberwolfach-explorations

collaboration on work in progress
Verilog
15
star
4

cartmell-thesis

HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
TeX
14
star
5

higher-inductive-paper

Paper in progress
TeX
7
star
6

pllthesis

Fossil record of the growth of my thesis.
TeX
1
star
7

UniMath2017-CategoryTheory

Category theory group projects at UniMath workshop, Birmingham, Dec 2017
Coq
1
star