skip to main content
Idioma:

The p-adic Integers as Final Coalgebra

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.189-199 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
  • Título:
    The p-adic Integers as Final Coalgebra
  • Autor: de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G
  • Assuntos: Artificial intelligence ; Coalgebra Structure ; Endofunctor ; Initial Algebra ; Inverse Limit ; Mathematical theory of computation ; Maths for computer scientists ; final Coalgebra
  • É parte de: Logic, Language, Information, and Computation, 2015, Vol.9160, p.189-199
  • Descrição: We express the classical p-adic integers \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} hat{\mathbb {Z}}_p end{document}, as a metric space, as the final coalgebra to a certain endofunctor. We realize the addition and the multiplication on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} hat{\mathbb {Z}}_p end{document} as the coalgebra maps from \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} hat{\mathbb {Z}}_p\times \hat{\mathbb {Z}}_p end{document}.
  • Títulos relacionados: Lecture Notes in Computer Science
  • Editor: Germany: Springer Berlin / Heidelberg
  • Idioma: Inglês
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.