walking isomorphism
- notation:
- objects: two objects and
- morphisms: identities, and two morphisms and that are mutually inverse
- Related categories: , ,
- nLab Link
The name of this category comes from the fact that it consists of two objects and an isomorphism between them, and a functor out of this category is the same as an isomorphism in the target category. The walking isomorphism is actually equivalent to the trivial category.
Satisfied Properties
Properties from the database
Deduced properties
- is essentially small
- is locally small
- has a generating set
- is locally essentially small
- is well-copowered
- is well-powered
- is countable
- is essentially finite
- is essentially countable
- is essentially discrete
- is a groupoid
- has directed limits
- has sequential limits
- is left cancellative
- is Cauchy complete
- is finitely accessible
- has coreflexive equalizers
- has reflexive coequalizers
- is mono-regular
- has pullbacks
- has wide pullbacks
- has cofiltered limits
- is self-dual
- is locally cartesian closed
- is balanced
- is thin
- is one-way
- has connected limits
- has equalizers
- is finitary algebraic
- has a generator
- is inhabited
- is locally strongly finitely presentable
- is regular
- is finitely complete
- has finite products
- has binary products
- has a terminal object
- has products
- has countable products
- has powers
- has countable powers
- is complete
- has finite powers
- has binary powers
- is multi-complete
- has a multi-terminal object
- is connected
- is strongly connected
- is a Grothendieck topos
- is split abelian
- is abelian
- is additive
- is preadditive
- is normal
- has zero morphisms
- has kernels
- has biproducts
- has finite coproducts
- is unital
- has cokernels
- is conormal
- is cocomplete
- is locally finitely presentable
- is locally ℵ₁-presentable
- is locally presentable
- has exact filtered colimits
- has filtered colimits
- has sifted colimits
- has directed colimits
- has cartesian filtered colimits
- is ℵ₁-accessible
- is accessible
- is a generalized variety
- is locally multi-presentable
- is multi-cocomplete
- is locally finitely multi-presentable
- is locally poly-presentable
- is multi-algebraic
- is cartesian closed
- is distributive
- is codistributive
- has a strict initial object
- has an initial object
- is pointed
- has disjoint products
- has coproducts
- is infinitary distributive
- is countably distributive
- has countable coproducts
- is Grothendieck abelian
- has a cogenerator
- is an elementary topos
- has a subobject classifier
- has a regular subobject classifier
- has disjoint finite coproducts
- has disjoint coproducts
- is epi-regular
- is finitely cocomplete
- is infinitary extensive
- is extensive
- has cocartesian cofiltered limits
- is coregular
- is co-Malcev
- has a natural numbers object
- is semi-strongly connected
- has disjoint finite products
- is Malcev
- is filtered
- is sifted
- has connected colimits
- has cosifted limits
- has copowers
- has binary coproducts
- has coequalizers
- has countable copowers
- has sequential colimits
- has pushouts
- has wide pushouts
- has finite copowers
- has binary copowers
- has a multi-initial object
- is counital
- has a strict terminal object
- is infinitary codistributive
- is countably codistributive
- has a cogenerating set
- is right cancellative
- is locally cocartesian coclosed
- is cocartesian coclosed
- is coaccessible
- is locally copresentable
- has a regular quotient object classifier
- has a quotient object classifier
- is coextensive
- is infinitary coextensive
- is cosifted
- is cofiltered
Unsatisfied Properties
Properties from the database
- is not skeletal
Deduced properties*
*This also uses the deduced satisfied properties.
Unknown properties
—
Special objects
- terminal object: both objects
- initial object: both objects
- products:
- coproducts:
Special morphisms
- isomorphisms: every morphism
- monomorphisms: every morphism
- epimorphisms: every morphism
- regular monomorphisms: same as isomorphisms
- regular epimorphisms: same as isomorphisms