Groupoid object
In category theory, a branch of mathematics, a groupoid object in a category C admitting finite fiber products is a pair of objects together with five morphisms satisfying the following groupoid axioms 1.
* where the are the two projections, 2.
* (associativity) 3.
* (unit) 4.
* (inverse) , , . A group object is a special case of a .
Link from a Wikipage to another Wikipage
Wikipage redirect
primaryTopic
Groupoid object
In category theory, a branch of mathematics, a groupoid object in a category C admitting finite fiber products is a pair of objects together with five morphisms satisfying the following groupoid axioms 1.
* where the are the two projections, 2.
* (associativity) 3.
* (unit) 4.
* (inverse) , , . A group object is a special case of a .
has abstract
In category theory, a branch o ...... bject is a special case of a .
@en
Link from a Wikipage to an external page
Wikipage page ID
41,910,504
page length (characters) of wiki page
Wikipage revision ID
1,001,815,148
Link from a Wikipage to another Wikipage
label
Groupoid object
@en
wikiPageUsesTemplate
comment
In category theory, a branch o ...... bject is a special case of a .
@en