On comparing definitions of "weak n–category"

  title={On comparing definitions of "weak n–category"},
  author={Michael Makkai},
"Weak" signifies an indeterminate notion; there are several different specific versions of weak category. It can also be used as a vague notion, when one is merely looking at what one would like to have. There are specific kinds of category, such as "Batanin category" [B1], "multitopic category" [HMP1,2,3,4,5], [M8]. When one wants to talk about the "ordinary, strict" version of the notion, one says "strict". Thus, "strict category" is my term for an ordinary, strict ω-category. 

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 10 references

The petit topos of globular sets

  • R. Street
  • J. Pure and Applied Algebra
  • 2000

On structuralism in mathematics. Chapter 3 in: Language, Logic and Concepts

  • M. Makkai
  • Essays in Memory of John Macnamara. (ed.'s: R…
  • 1999

Batanin, Computads for Finitary Monads on Globular Sets

  • M A.
  • Contemporary Mathematics
  • 1998

Batanin, Monoidal Globular Categories As a Natural Environment for the Theory of Weak n-Categories

  • M A.
  • Advances in Mathematics
  • 1998

Generalized sketches as a framework for completeness theorems

  • M. Makkai
  • Part II. Journal of Pure and Applied Algebra
  • 1997

Zawadowski, Multitopic sets are the same as many-to-one computads

  • V. Harnik, M. M. Makkai
  • In preparation. A. Joyal, Disks, Duality and…
  • 1997

Avoiding the axiom of choice in general category theory

  • M. Makkai
  • Journal of Pure and Applied Algebra
  • 1996

announcement; letter to R

  • J. C. Baez, J. Dolan
  • Street, November
  • 1995

Similar Papers

Loading similar papers…