category of Z-functors
This category is used in functorial algebraic geometry. It also provides a typical example of a functor category that is not locally small, but nevertheless relevant. Most of its properties are directly derived from the category of sets, so other functor categories for large categories will be similar.
Satisfied Properties
Assigned properties
- is complete
- is cocomplete
- is infinitary extensive
- has exact filtered colimits
- is regular
- is coregular
- has effective congruences
Deduced properties
- has connected limits
- is finitely complete
- has equalizers
- has products
- is multi-complete
- has coequalizers of kernel pairs
- has quotients of congruences
- is Barr-exact
- has filtered colimits
- has filtered-colimit-stable monomorphisms
- has cartesian filtered colimits
- has coproducts
- is countably extensive
- has connected colimits
- is finitely cocomplete
- has coequalizers
- is multi-cocomplete
- has equalizers of cokernel pairs
- has finite products
- has a multi-terminal object
- has coreflexive equalizers
- is Cauchy complete
- has countable coproducts
- is extensive
- is filtered
- has directed colimits
- has ℵ₁-filtered colimits
- has sifted colimits
- has powers
- has ℵ₂-small products
- has wide pullbacks
- has kernel pairs
- has finite coproducts
- has a multi-initial object
- has reflexive coequalizers
- is cofiltered
- has cosifted limits
- has copowers
- has ℵ₂-small coproducts
- has wide pushouts
- has cokernel pairs
- is mono-regular
- has disjoint finite coproducts
- has a strict initial object
- is distributive
- is infinitary distributive
- is countably distributive
- is sifted
- is ℵ₁-filtered
- has countable products
- has ℵ₂-small powers
- has binary products
- has a terminal object
- has finite powers
- has cofiltered limits
- has pullbacks
- is a pretopos
- has coquotients of cocongruences
- is cosifted
- has sequential colimits
- has ℵ₂-small copowers
- has binary coproducts
- has an initial object
- has countable copowers
- has finite copowers
- has pushouts
- has a natural numbers object
- has a parametrized natural numbers object
- is connected
- has disjoint coproducts
- has cocartesian cofiltered limits
- has sequential limits
- is balanced
- has countable powers
- has binary powers
- is ℵ₁-cofiltered
- has directed limits
- has ℵ₁-cofiltered limits
- has binary copowers
- is epi-regular
- is inhabited
- is co-Malcev
- has effective cocongruences
- is Barr-coexact
Unsatisfied Properties
Assigned properties
- is not skeletal
- is not Malcev
- is not semi-strongly connected
- is not locally essentially small
- is not cartesian closed
- is not well-powered
- does not have cofiltered-limit-stable epimorphisms
Deduced properties*
- is not thin
- is not additive
- is not accessible
- is not locally cartesian closed
- is not strongly connected
- is not discrete
- is not essentially discrete
- is not a groupoid
- is not essentially small
- is not locally small
- is not locally finite
- is not concretizable
- is not subobject-trivial
- is not gaunt
- is not direct
- is not an elementary topos
- is not a Grothendieck topos
- is not total
- is not coaccessible
- is not well-copowered
- is not coextensive
- does not have exact cofiltered limits
- is not right cancellative
- is not quotient-trivial
- is not essentially finite
- is not inverse
- is not cototal
- is not self-dual
- is not locally presentable
- is not ℵ₁-accessible
- is not locally multi-presentable
- is not locally poly-presentable
- is not preadditive
- is not abelian
- is not one-sorted finitary algebraic
- is not left cancellative
- does not have zero morphisms
- is not core-connected
- is not trivial
- does not have a strict terminal object
- is not small
- is not finite
- is not essentially countable
- is not regular-subobject-trivial
- is not core-thin
- is not a quasitopos
- is not locally copresentable
- is not cocartesian coclosed
- does not have disjoint finite products
- is not countably coextensive
- does not have a regular quotient object classifier
- is not regular-quotient-trivial
- is not pointed
- is not locally ℵ₁-presentable
- is not finitely accessible
- is not Grothendieck abelian
- is not split abelian
- does not have biproducts
- is not a generalized variety
- does not have kernels
- does not satisfy CIP
- is not normal
- is not countable
- is not one-way
- is not locally cocartesian coclosed
- does not have disjoint products
- is not codistributive
- does not have cokernels
- does not satisfy CSP
- is not infinitary coextensive
- is not conormal
- does not have a quotient object classifier
- is not unital
- is not locally finitely presentable
- is not finitary algebraic
- is not locally finitely multi-presentable
- is not multi-algebraic
- is not counital
- is not countably codistributive
- is not infinitary codistributive
*This also uses the deduced satisfied properties.
Unknown properties
There are 10 properties for which the database doesn't have an answer if they are satisfied or not. Please help to contribute the data!
- has a cogenerating collection
- has a cogenerator
- has an extremal cogenerating collection
- has an extremal cogenerator
- has an extremal generating collection
- has an extremal generator
- has a generating collection
- has a generator
- has a regular subobject classifier
- has a subobject classifier
Special objects
- terminal object: constant functor with value
- initial object: constant functor with value
- products: pointwise defined direct product
- coproducts: pointwise disjoint union
Special morphisms
- isomorphisms: natural isomorphisms
- monomorphisms: pointwise injective natural transformations
- epimorphisms: objectwise surjective natural transformations
- regular monomorphisms: same as monomorphisms
- regular epimorphisms: same as epimorphisms