Isomorphism
Backlinks
Distributive Category
Core of a Category
Burnside Semiring
Acyclic Class
Delooping of a Group
Additive Bundle
Idempotent Monad
Subobject
Cofibre
Pseudo-Torsor
Tensor Product of Commutative Monoids
Fibre Bundle
Category of Lenses
Torsor
Invertible Element
Cartesian Morphism