Click here to Skip to main content
15,867,453 members

Welcome to the Lounge

   

For discussing anything related to a software developer's life but is not for programming questions. Got a programming question?

The Lounge is rated Safe For Work. If you're about to post something inappropriate for a shared office environment, then don't post it. No ads, no abuse, and no programming questions. Trolling, (political, climate, religious or whatever) will result in your account being removed.

 
GeneralGreat video, reflection, history lesson on plagues... (& covid) Pin
Super Lloyd21-Jan-22 12:08
Super Lloyd21-Jan-22 12:08 
GeneralRe: Great video, reflection, history lesson on plagues... (& covid) Pin
jmaida22-Jan-22 8:01
jmaida22-Jan-22 8:01 
GeneralRe: Great video, reflection, history lesson on plagues... (& covid) Pin
obermd22-Jan-22 11:43
obermd22-Jan-22 11:43 
QuestionDo any of you mod fallout 4? Pin
honey the codewitch21-Jan-22 11:45
mvahoney the codewitch21-Jan-22 11:45 
AnswerRe: Do any of you mod fallout 4? Pin
DRHuff21-Jan-22 18:05
DRHuff21-Jan-22 18:05 
GeneralRe: Do any of you mod fallout 4? Pin
honey the codewitch22-Jan-22 0:00
mvahoney the codewitch22-Jan-22 0:00 
AnswerRe: Do any of you mod fallout 4? Pin
dandy7222-Jan-22 5:19
dandy7222-Jan-22 5:19 
GeneralAnother Math Question Pin
Jon McKee21-Jan-22 9:41
professionalJon McKee21-Jan-22 9:41 
I don't see a math forum, so I'll tack on another math question here if anyone is familiar with abstract algebra and/or category theory.

I've been learning category theory and have gotten stumped when learning about different characteristics of morphisms - specifically monomorphisms and epimorphisms. A monomorphism is defined as "a morphism f: X -> Y such that for all objects Z and all morphisms g1, g2: Z -> X, f o g1 = f o g2 implies g1 = g2." In English, it means that if we take a morphism f and compose it with any two morphisms "leading into" f, if the results are equal that implies the two morphisms are equal. It's basically the injective (or 1-to-1) property but for morphisms. An epimorphism is the same idea but for morphisms that f "leads into." It's basically the surjective (or onto) property but for morphisms.

So here's where I'm confused: it's beaten into your head in textbooks to not think of categories and objects as concrete. The whole point is the morphisms. But how can you show characteristics like monomorphic or epimorphic behavior without analyzing the morphisms in a concrete object context? If you don't, how can you 1) guarantee the category is even equipped with the concept of equality? (not everything is a setoid), and 2) show that the equality holds per the mono- and/or epi-morphic definition?

I hope that makes some sense. I'm still very much in the learning stage on this topic Blush | :O

GeneralRe: Another Math Question Pin
0x01AA21-Jan-22 10:02
mve0x01AA21-Jan-22 10:02 
GeneralRe: Another Math Question Pin
swampwiz21-Jan-22 10:15
swampwiz21-Jan-22 10:15 
GeneralRe: Another Math Question Pin
0x01AA21-Jan-22 10:18
mve0x01AA21-Jan-22 10:18 
GeneralRe: Another Math Question Pin
j snooze21-Jan-22 11:34
j snooze21-Jan-22 11:34 
GeneralRe: Another Math Question Pin
0x01AA21-Jan-22 11:49
mve0x01AA21-Jan-22 11:49 
GeneralRe: Another Math Question Pin
Nelek21-Jan-22 12:02
protectorNelek21-Jan-22 12:02 
GeneralRe: Another Math Question Pin
0x01AA21-Jan-22 12:11
mve0x01AA21-Jan-22 12:11 
GeneralRe: Another Math Question Pin
Gary R. Wheeler21-Jan-22 11:30
Gary R. Wheeler21-Jan-22 11:30 
GeneralRe: Another Math Question Pin
Jon McKee21-Jan-22 12:23
professionalJon McKee21-Jan-22 12:23 
GeneralRe: Another Math Question Pin
Stefan_Lang22-Jan-22 13:37
Stefan_Lang22-Jan-22 13:37 
GeneralRe: Another Math Question Pin
Jon McKee23-Jan-22 14:47
professionalJon McKee23-Jan-22 14:47 
GeneralMath Terminology: Can you tell me? Pin
raddevus21-Jan-22 8:55
mvaraddevus21-Jan-22 8:55 
GeneralRe: Math Terminology: Can you tell me? Pin
NeverJustHere21-Jan-22 9:01
NeverJustHere21-Jan-22 9:01 
GeneralRe: Math Terminology: Can you tell me? Pin
raddevus21-Jan-22 9:11
mvaraddevus21-Jan-22 9:11 
PraiseRe: Math Terminology: Can you tell me? Pin
0x01AA21-Jan-22 9:22
mve0x01AA21-Jan-22 9:22 
GeneralRe: Math Terminology: Can you tell me? Pin
0x01AA21-Jan-22 9:04
mve0x01AA21-Jan-22 9:04 
GeneralRe: Math Terminology: Can you tell me? Pin
raddevus21-Jan-22 9:13
mvaraddevus21-Jan-22 9:13 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.