Revision as of 08:11, 31 January 2023 by Fire(talk | contribs)(Created a new Item: internal category, structure, with properties similar to a (small) category, constructed inside any category with pullbacks; two objects O (objects) and M (morphisms), equipped with arrows s, t: M → O (source/target), e: O → M (identity), m: M ₛ×ₜ M → M)