Repository navigation

hott-doc

Public

About

No description, website, or topics provided.

4 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
abstract-tt.tex		abstract-tt.tex
alg-lin.tex		alg-lin.tex
alg-models-ams.tex		alg-models-ams.tex
alg-models-mscs.tex		alg-models-mscs.tex
alg-syntax.tex		alg-syntax.tex
alg-tt-ams.tex		alg-tt-ams.tex
alg-tt.tex		alg-tt.tex
bidirectional.tex		bidirectional.tex
cart-models.tex		cart-models.tex
cats.tex		cats.tex
composable-tt.tex		composable-tt.tex
cover-spaces-sn.tex		cover-spaces-sn.tex
cover-spaces.tex		cover-spaces.tex
doc.tex		doc.tex
enriched-cwa.tex		enriched-cwa.tex
homotopy-model.tex		homotopy-model.tex
hotti-local-models.tex		hotti-local-models.tex
hotti-models.tex		hotti-models.tex
indexed-models.tex		indexed-models.tex
indexed-tt-ams.tex		indexed-tt-ams.tex
indexed-tt-mscs.tex		indexed-tt-mscs.tex
leftovers.tex		leftovers.tex
marked-obj-ams.tex		marked-obj-ams.tex
marked-obj-tac.tex		marked-obj-tac.tex
model-structures-ams.tex		model-structures-ams.tex
model-structures-tac.tex		model-structures-tac.tex
morita-equiv.tex		morita-equiv.tex
mscs.cls		mscs.cls
ref.bib		ref.bib
rus.tex		rus.tex
scheme-sites.tex		scheme-sites.tex
sn-jnl.cls		sn-jnl.cls
sn-mathphys-num.bst		sn-mathphys-num.bst
tac.cls		tac.cls
tau-rus.tex		tau-rus.tex
tau.tex		tau.tex
thesis-rus.tex		thesis-rus.tex
vclang.tex		vclang.tex

Repository files navigation

hott-doc

Some docs

About

No description, website, or topics provided.

4 stars

0 watching

Report repository

Releases

Packages

Used by

Contributors

Languages