Posts

Showing posts from March 1, 2019

Pároco

Image
Pároco é o presbítero da Igreja Católica responsável por administrar uma Paróquia. [ 1 ] Ver também | Lista de posições na hierarquia católica Referências ↑ «Enciclopédia Católica Popular». portal.ecclesia.pt . Consultado em 29 de janeiro de 2016   v   •   e Catolicismo Catolicismo   · Cristianismo História Jesus   · Os Doze Apóstolos   · Igreja primitiva   · História do Papado   · Concílios ecuménicos   · Perseguições   · Constantino I   · Estados Papais   · Cruzadas   · Cisma do Oriente   · Questão das investiduras   · Cisma do Ocidente   · Reforma Protestante   · Contrarreforma   · Questão Romana   · Concílio Vaticano II Hierarquia Papa   · Cardeal   · Patriarca   · Primaz   · Metropolita   · Arcebispo   · Bispo   · Prelado   · Monsenhor   · Vigário-geral   · Cônego   · Padre, Pároco   · Capelão   · Diácono   · Prior(esa)   · Abade(essa), Frade   · Freira   · Consagrado(a)

Initial objects on $infty$-categories

Image
3 1 $begingroup$ Let $X in mathbf{Set}_{Delta}$ an $infty$ -category and $tau_1$ the left adjoint functor to the nerve $mathrm{N} colon mathbf{Cat} to mathbf{Set}_{Delta}$ . Show that if $x$ is an initial object in $X$ , then $x$ is an initial object in $tau_1(X)$ . I don't really know where to start here. An object $x in X$ is initial if the map $h colon X_{/x} to X$ is a trivial Kan fibration (by which I guess it means that it is both a weak homotopy equivalence and a Kan fibration), where $h$ is defined by restricting $$Delta^0 star Delta^n to mathcal{C}$$ to $Delta^n$ . On the other hand, objects in $tau_1(X)$ are the $0$ -simplices of $X_0$ . But I don't know how to prove the result from that. Thank you in advance. category-theory hom