Topological category

From formulasearchengine
Jump to navigation Jump to search

In category theory, a discipline in mathematics, a topological category is a category that is enriched over the category of compactly generated Hausdorff spaces. They can be used as a foundation for higher category theory.Template:Harv

A topological category is a category along with a grounding functor that maps to the category of sets such that admits weak or initial structures with respect to . This means that constant functions in lift to -morphisms and that fibers are small (they are sets and not proper classes).[1]

See also


  1. {{#invoke:Citation/CS1|citation |CitationClass=journal }}
  • {{#invoke:citation/CS1|citation

|CitationClass=citation }}