Theorems · Inductive type · Lie groups

TopRep

(k : Type u) → (G : Type v) → [Ring k] → [TopologicalSpace k] → [Monoid G] → Type (max (max u v) (w + 1))

The category of topological representations of a monoid G over a topological ring k, and their morphisms.

Defined in

Mathlib.RepresentationTheory.Continuous.TopRep

Cited by

54 results in Mathlib

Foundations

Depth 1 from the axioms · uses no axioms

Assumes

RingTopologicalSpaceMonoid