Missing data
This page lists some missing data in the database. Please help us fill in the gaps by contributing to this project.
Categories with unknown properties
There are 14 categories that have some unknown properties.
- category of combinatorial species
- category of free abelian groups
- category of locally ringed spaces
- category of measurable spaces
- category of metric spaces with continuous maps
- category of metric spaces with non-expansive maps
- category of schemes
- category of sets and relations
- category of simplicial sets
- category of smooth manifolds
- category of Z-functors
- delooping of the additive monoid of ordinal numbers
- partial order [0,1]
- partial order of extended natural numbers
In total, there are 72 unknown (category, property)-pairs.
Categories with properties without recorded reason
There are 6 categories with properties that have no reason.
- category of finite orders
- category of finite sets and injections
- category of finite sets and surjections
- category of locally ringed spaces
- category of metric spaces with non-expansive maps
- category of schemes
Categories with non-properties without recorded reason
There are 46 categories with non_properties that have no reason.
- category of abelian groups
- category of Banach spaces with linear contractions
- category of combinatorial species
- category of commutative rings
- category of fields
- category of finite abelian groups
- category of finite orders
- category of finite sets
- category of finite sets and bijections
- category of finite sets and injections
- category of finite sets and surjections
- category of finitely generated abelian groups
- category of free abelian groups
- category of groups
- category of left R-modules
- category of locally ringed spaces
- category of M-sets
- category of measurable spaces
- category of metric spaces with ∞ allowed
- category of metric spaces with continuous maps
- category of metric spaces with non-expansive maps
- category of monoids
- category of non-empty sets
- category of pointed sets
- category of posets
- category of rings
- category of rngs
- category of schemes
- category of sets
- category of sets and relations
- category of simplicial sets
- category of small categories
- category of smooth manifolds
- category of topological spaces
- category of vector spaces
- category of Z-functors
- delooping of a non-trivial finite group
- delooping of an infinite group
- delooping of the additive monoid of natural numbers
- delooping of the additive monoid of ordinal numbers
- discrete category on two objects
- empty category
- partial order [0,1]
- partial order of natural numbers
- partial order of ordinal numbers
- walking morphism
Categories with unknown special morphisms
There are 8 categories whose iso-, epi-, or monomorphisms are unknown.