Objeto (teoria das categorias)




Objeto, no contexto de Teoria das categorias, é um dos elementos que formam uma categoria. Podemos entender uma categoria como sendo uma coleção de elementos chamados objetos e morfismos entre estes objetos.


Na categoria Set objetos são conjuntos e morfismos são as funções (totais) entre eles. No entanto, no caso geral de categorias, um paralelo entre objetos e conjuntos estruturados nem sempre é válido.



Ver também |



  • Matemática

  • Ciência da computação



Ligações externas |



  • Categories, Types and Structures por Andrea Asperti e Giuseppe Longo

  • Lâminas para um curso curto de Teoria das Categorias por Carlos Campani



Referências |



  • Mac Lane, Saunders (1998). Categories for the Working Mathematician (2nd ed.). Graduate Texts in Mathematics 5. Springer. ISBN 0-387-98403-8.

  • Barr, Michael & Wells, Charles, Category Theory for Computing Science, Prentice Hall, London, UK, 1990.

  • Paulo Blauth Menezes & Edward Hermann Haeusler, Teoria das categorias para ciência da computação, Porto Alegre, Editora Sagra-Luzzatto.




Teoria das categorias

Conceitos e construções categoriais:
Objeto |
Morfismo |
Categoria |
Objeto inicial |
Objeto terminal
Monomorfismo |
Epimorfismo |
Isomorfismo |
Limite |
Colimite
Produto categorial |
Coproduto categorial |
Equalizador |
Coequalizador
Produto fibrado |
Soma amalgamada |
Cone |
Cocone |
Functor
Transformação natural |
Objeto exponencial |
Adjunção






Ícone de esboço
Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.

  • v

  • d

  • e



-

Popular posts from this blog

A CLEAN and SIMPLE way to add appendices to Table of Contents and bookmarks

Image
0 I found a lot of questions abount appendices and ToC. Many users want appendices to be grouped in an Appendix part, however some problems arise with ToC, hyperref, PDF viewer bookmarks, and so on. There are different solutions which require extra packages, command patching and other extra code, however none of them satisfies me. I almost found an easy way to accomplish a good result, where appendices are added to bookmarks in the right way and hyperref links point to the right page. However, the number of the "Appendix" part page is wrong (it's the number of appendix A). Is there any EASY way to fix that? This is a MWE: documentclass{book} usepackage[nottoc,notlot,notlof]{tocbibind} usepackage{hyperref} begin{document} frontmatter tableofcontents mainmatter part{First} chapter{
Read more

Calculate evaluation metrics using cross_val_predict sklearn

Image
1 In the sklearn.model_selection.cross_val_predict page it is stated: Generate cross-validated estimates for each input data point. It is not appropriate to pass these predictions into an evaluation metric. Can someone explain what does it mean? If this gives estimate of Y (y prediction) for every Y (true Y), why can't I calculate metrics such as RMSE or coefficient of determination using these results? python scikit-learn cross-validation share | improve this question edited Nov 28 '18 at 17:52 desertnaut 20.3k 7 43 79
Read more

Insert data from modal to MySQL (multiple modal on website)

Image
0 I have problem with inserting data to MySQL from modal. My modal: <a href="#" class="badge badge-pill badge-success">6 komentarzy</a> <a href="#" class="badge badge-pill badge-danger">brak komentarzy</a> <a data-toggle="modal" href="#add_desk_comm_{$desk_['desk_id']}" data-target="#add_desk_comm_{$desk_['desk_id']}" class="ediiit">(dodaj)</a> <div class="modal fade" id="add_desk_comm_{$desk_['desk_id']}" tabindex="-1" role="dialog" aria-labelledby="edit_printer" aria-hidden="true"> <div class="modal-dialog" role="document">
Read more