Main public logs
From EverybodyWiki Bios & Wiki
Combined display of all available logs of EverybodyWiki Bios & Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 04:23, 12 July 2026 Oidification talk contribs created page Adjunction (Created page with "Let <math>F</math>, <math>G</math> be two functors in opposite directions. e.g., <math>F : \mathcal A \to \mathcal B</math> and <math>G : \mathcal B \to \mathcal A</math>. <math>F</math> is said to be left adjoint of <math>G</math> and <math>G</math> is said to be right adjoint of <math>F</math>, and write <math>F \dashv G</math> if") Tag: Visual edit: Switched
- 14:52, 10 July 2026 Oidification talk contribs created page Category (category theory) (Created page with "== As a first order theory == It is technically possible to define a fully formal first order theory for categories as follows: The signature of the language is given below. Domains: there are two domains * Objects (Ob), simply denoted by uppercase variables. * Morphisms (Mor), simply denoted by lowercase variables. There are two function symbols * <math>\mathrm{dom}</math> : Mor -> Ob * <math>\mathrm{cod}</math> : Mor -> Ob And one relation symbol, which is ternary....") Tag: Visual edit: Switched
- 14:20, 10 July 2026 Oidification talk contribs created page Function (Created page with "A mathematical object between two sets. Formally, a function <math>f</math> with the domain <math>X</math> and codomain <math>Y</math> can be encoded as a 3-tuple <math>(X, Y, G)</math> such that: * <math>G \sub X \times Y</math> * <math>\forall x \in X \exists y \in Y ( (x, y) \in G )</math> * <math>\forall (x, y) \in G \forall (x, y') \in G ( y = y' )</math>") Tag: Visual edit: Switched
- 14:09, 10 July 2026 Oidification talk contribs created page Category theory (Created page with "Category theory is a field of mathematics that studies categories.") Tag: Visual edit: Switched
- 13:52, 10 July 2026 Oidification talk contribs created page User:Oidification (create user page)
- 13:52, 10 July 2026 User account Oidification talk contribs was created
