- Inici
- Investigació
- e-prints
- 12 - Matemàtiques
- Visualitza element
IMPORTANT: Aquest repositori està en una versió antiga des del 3/12/2023. La nova instal.lació está en https://roderic.uv.es/
Functoriality of the Schmidt construction
Mostra el registre parcial de l'element
| dc.contributor.author | Climent Vidal, Juan | |
| dc.contributor.author | Cosme i Llópez, Enric | |
| dc.date.accessioned | 2023-09-27T10:32:55Z | |
| dc.date.available | 2023-09-27T10:32:55Z | |
| dc.date.issued | 2022 | |
| dc.identifier.citation | Climent Vidal, Juan Cosme i Llópez, Enric 2023 Functoriality of the Schmidt construction Logic Journal of the IGPL 31 5 822 893 | |
| dc.identifier.uri | https://hdl.handle.net/10550/89665 | |
| dc.description.abstract | After proving, in a purely categorial way, that the inclusion functor InAlg(Σ) from Alg(Σ), the category of many-sorted Σ-algebras, to PAlg(Σ), the category of many-sorted partial Σ-algebras, has a left adjoint FΣ, the (absolutely) free completion functor, we recall, in connection with the functor FΣ, the generalized recursion theorem of Schmidt, which we will also call the Schmidt construction. Next, we define a category Cmpl(Σ), of Σ-completions, and prove that FΣ, labelled with its domain category and the unit of the adjunction of which it is a part, is a weakly initial object in it. Following this, we associate to an ordered pair (α,f), where α=(K,γ,α) is a morphism of Σ-completions from F=(C,F,η) to G=(D,G,ρ) and f a homomorphism of D from the partial Σ-algebra A to the partial Σ-algebra B, a homomorphism Υ G,0α(f):Schα(f)⟶B. We then prove that there exists an endofunctor, Υ G,0α, of Mortw(D), the twisted morphism category of D, thus showing the naturalness of the previous construction. Afterwards, we prove that, for every Σ-completion G=(D,G,ρ), there exists a functor ΥG from the comma category (Cmpl(Σ)↓G) to End(Mortw(D)), the category of endofunctors of Mortw(D), such that ΥG,0, the object mapping of ΥG, sends a morphism of Σ-completion of Cmpl(Σ) with codomain G, to the endofunctor ΥG,0α | |
| dc.language.iso | eng | |
| dc.relation.ispartof | Logic Journal of the IGPL, 2023, vol. 31, num. 5, p. 822-893 | |
| dc.subject | Àlgebra | |
| dc.title | Functoriality of the Schmidt construction | |
| dc.type | journal article | |
| dc.date.updated | 2023-09-27T10:32:56Z | |
| dc.identifier.doi | 10.1093/jigpal/jzac048 | |
| dc.identifier.idgrec | 161325 | |
| dc.rights.accessRights | open access |
Visualització
(567.8Kb)
Aquest element apareix en la col·lecció o col·leccions següent(s)
-
12 - Matemàtiques [287]