The fundamental group functor as a Kan extension
We prove that the fundamental group functor from categorical Galois theory may be computed as a Kan extension.
Researcher profile
Julia Goedecke
Julia Goedecke contributes to research discovery and scholarly infrastructure.
ResearcherAffiliation not importedOpen to collaborate
Trust snapshot
Quick read
Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
2topics
2close collaborators
Actions
Decide how to stay connected
Identity and collaboration
How to connect with this researcher
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Open a focused conversation when the fit is right
Claim this author entity first to unlock direct invitations.
Research graph
See the researcher in context
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
Building this graph slice
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
3 published item(s)
preprint2012arXiv
Resolutions, higher extensions and the relative Mal'tsev axiom
We study how the concept of higher-dimensional extension which comes from categorical Galois theory relates to simplicial resolutions. For instance, an augmented simplicial object is a resolution if and only if its truncation in every dimension gives a higher extension, in which sense resolutions are infinite-dimensional extensions or higher extensions are finite-dimensional resolutions. We also relate certain stability conditions of extensions to the Kan property for simplicial objects. This gives a new proof of the fact that a regular category is Mal'tsev if and only if every simplicial object is Kan, using a relative setting of extensions.
0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv
On satellites in semi-abelian categories: Homology without projectives
Working in a semi-abelian context, we use Janelidze's theory of generalised satellites to study universal properties of the Everaert long exact homology sequence. This results in a new definition of homology which does not depend on the existence of projective objects. We explore the relations with other notions of homology, and thus prove a version of the higher Hopf formulae. We also work out some examples.
0 citations0 reviewsNo code linkedOpen access