https://github.com/jaycech3n/internal-diagrams

WIP: Reedy fibrant diagrams in models of type theory
https://github.com/jaycech3n/internal-diagrams

categories-with-families category-theory homotopy-type-theory semisimplicial-types type-theory

Last synced: 3 months ago
JSON representation

WIP: Reedy fibrant diagrams in models of type theory

• Host: GitHub
• URL: https://github.com/jaycech3n/internal-diagrams
• Owner: jaycech3n
• Created: 2022-10-13T11:21:09.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2024-12-06T19:41:13.000Z (6 months ago)
• Last Synced: 2025-01-29T20:48:48.744Z (5 months ago)
• Topics: categories-with-families, category-theory, homotopy-type-theory, semisimplicial-types, type-theory
• Language: Agda
• Homepage:
• Size: 913 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Diagrams in internal models of homotopy type theory

+ Internal categories with families, Reedy fibrant diagrams, and related things in univalent foundations (MLTT with univalence).

+ Depends on the Agda 2.6.2.2-compatible fork of the HoTT-Agda library .