https://github.com/altaris/htpy-str-omegacat
Unofficial notes from the lectures of François Métayer ``Homotopy Theory of Strict $\omega$-Categories''
Science Score: 13.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
✓codemeta.json file
Found codemeta.json file -
○.zenodo.json file
-
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (1.0%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
Repository
Unofficial notes from the lectures of François Métayer ``Homotopy Theory of Strict $\omega$-Categories''
Basic Info
- Host: GitHub
- Owner: altaris
- Language: TeX
- Default Branch: master
- Size: 300 KB
Statistics
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
- Releases: 0
Created over 8 years ago
· Last pushed over 8 years ago
Metadata Files
Readme
readme.md
This document is unofficial notes taken from the lectures "Homotopy Theory of Strict ω-Categories" given by François Métayer during the conference "Categories in Homotopy Theory and Rewriting", held at CIRM in September 2017. It can contain many typos and mistakes, and some notations have been changed from the original lecture.
Owner
- Name: Cédric
- Login: altaris
- Kind: user
- Location: Japan
- Company: RIKEN
- Website: https://cedric.hothanh.fr
- Repositories: 45
- Profile: https://github.com/altaris
GitHub Events
Total
Last Year
Issues and Pull Requests
Last synced: over 1 year ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0