## Abstract Higher types can readily be added to set theory, BernaysβMorse set theory being an example. A type for each ordinal is added in [2]. Adding higher types to set theory provides a neat solution to the problem of how to handle higher type categories. We give the basic definitions, and prov
β¦ LIBER β¦
Directed Algebraic Topology, Categories and Higher Categories
β Scribed by Marco Grandis
- Publisher
- Springer
- Year
- 2007
- Tongue
- English
- Weight
- 339 KB
- Volume
- 15
- Category
- Article
- ISSN
- 0927-2852
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Higher type categories
β
Martin Dowd
π
Article
π
1993
π
John Wiley and Sons
π
English
β 256 KB
Algebras of Higher Operads as Enriched C
β
Michael Batanin; Mark Weber
π
Article
π
2008
π
Springer
π
English
β 730 KB
Multiple categories and algebraic K-theo
β
Kazuhisa Shimakawa
π
Article
π
1986
π
Elsevier Science
π
English
β 951 KB
Indexed categories and generated topolog
β
Robert ParΓ©
π
Article
π
1980
π
Elsevier Science
π
English
β 845 KB
Modular Categories and Hopf Algebras
β
Mitsuhiro Takeuchi
π
Article
π
2001
π
Elsevier Science
π
English
β 96 KB
The modularity of a ribbon Hopf algebra is characterized by the Drinfeld map. Ε½ An elementary approach to Etingof and Gelaki's 1998, Math. Res. Lett. 5, . 119α197 result on the dimensions of irreducible modules is given by deducing the Ε½ . necessary identities involving the matrix S from the well-k
Algebraic lattices and locally finitely
β
Hans-E. Porst
π
Article
π
2011
π
Springer
π
English
β 273 KB