𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Higher type categories

✍ Scribed by Martin Dowd

Publisher
John Wiley and Sons
Year
1993
Tongue
English
Weight
256 KB
Volume
39
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 prove cocompleteness of some higher type categories. MSC: 14A15.

πŸ“œ SIMILAR VOLUMES

A Cellular Nerve for Higher Categories
A Cellular Nerve for Higher Categories
✍ Clemens Berger πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 481 KB

We realise Joyal's cell category Y as a dense subcategory of the category of ocategories. The associated cellular nerve of an o-category extends the well-known simplicial nerve of a small category. Cellular sets (like simplicial sets) carry a closed model structure in Quillen's sense with weak equiv

On weak higher-dimensional categories I
On weak higher-dimensional categories I – 2
✍ Claudio Hermida; Michael Makkai; John Power πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 325 KB

The present second part of a three-part paper gives the detailed treatment of the new notion of multicategory, and that of the construction of the particular multicategory of function replacement. For the overall purpose of the whole paper, see the abstract in Part 1.