Timeline for finite limit sketches with specified maps
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Nov 19, 2015 at 2:51 | comment | added | David Roberts♦ | @Hurkyl yes, generic monomorphisms, but I suspect I was thinking of classes of monomorphisms (e.g. regular, or strong, etc), if I can recall at all what I was thinking at the time! :-) | |
| Nov 18, 2015 at 13:01 | comment | added | user13113 | Monic arrows are always expressible via universal properties: in any category, $f : X \to Y$ is monic if and only if the following diagram is a pullback square: $$ \begin{matrix} X & \xrightarrow{1_X} & X \\ \downarrow 1_X\!\!\!\!\!\!\!\! & & \downarrow f \!\!\!\! \\ X & \xrightarrow{f} & Y \end{matrix} $$ | |
| Oct 27, 2010 at 23:56 | history | asked | David Roberts♦ | CC BY-SA 2.5 |