nLab
circle object
Contents
Context
2-Category Theory
higher category theory
Basic concepts
Basic theorems
Applications
Models
Morphisms
Functors
Universal constructions
Extra properties and structure
1-categorical presentations
Contents
Idea
The semantics of the circle type in (2,1)-category theory.
Definition
In a weak (2,1)-category with terminal object , a circle object is an object in with a global element and an equivalence such that for every other object in with a global element and an equivalence , there is a functor and a functor and equivalences and satisfying coherence laws.
Properties
The loop space object of the object with global element the circle object is equivalent to an integers object .
See also
Created on May 14, 2022 at 04:30:53.
See the history of this page for a list of all contributions to it.