Zobrazeno 1 - 7
of 7
pro vyhledávání: '"pasting schemes"'
Autor:
Camell Kachour
Publikováno v:
Categories and General Algebraic Structures with Applications, Vol 21, Iss 1, Pp 19-68 (2024)
In globular higher category theory the small category $\Theta_0$ of finite rooted trees plays an important role: for example the objects of $\Theta_0$ are the arities of the operations inside the free globular $\omega$-operad $\mathbb{B}^0$ of Batani
Externí odkaz:
https://doaj.org/article/d4d27967c1c645d8adef756500b8a696
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Benjamin, Thibaut
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩
We study a type theoretic definition of weak omega-categories originally introduced by Finster and Mimram, inspired both from ideas coming from homotopy type theory and from a definition of weak omega-category due to Grothendieck and Maltsiniotis. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::42e29af0e28d739514d689a299e60b65
https://tel.archives-ouvertes.fr/tel-03106197/file/94836_BENJAMIN_2020_archivage.pdf
https://tel.archives-ouvertes.fr/tel-03106197/file/94836_BENJAMIN_2020_archivage.pdf
Autor:
Benjamin, Thibaut
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩
We study a type theoretic definition of weak omega-categories originally introduced by Finster and Mimram, inspired both from ideas coming from homotopy type theory and from a definition of weak omega-category due to Grothendieck and Maltsiniotis. Th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::42e29af0e28d739514d689a299e60b65
https://tel.archives-ouvertes.fr/tel-03106197/file/94836_BENJAMIN_2020_archivage.pdf
https://tel.archives-ouvertes.fr/tel-03106197/file/94836_BENJAMIN_2020_archivage.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.