Functor
... em teoria das categorias, é um mapeamento entre categorias que preserva estruturas. os functores podem ser ...

Metric spaces and enriched categories 2
... definition of a generalized metric space as an enriched category. the definition of a metric map as an ...

Distributive laws 1
... of distributive law of one monad over another, and the example of multiplication distributing over ...

2-categories 2
... middle four interchange law in a 2-category comes from functoriality of the composition ...

Distributive laws 2
... key result about how a distributive law of s over t gives relationships between s-algebras, t-algebras and ...

Distributive laws 4 [30]
... laws as monads in the 2-category mnd(c). autor: thecatsters keywords: category ...

Adjunctions from morphisms 2
... category of bundles on a set as a slice category and as a functor category into sets. autor: ...

Eckmann-Hilton 1
... present and prove the eckmann-hilton argument: given a set with two binary, unital operations that distribute ...

Monoid objects 2
... monoid object in the category of monoids is a commutative monoid. we use the eckmann-hilton ...

Distributive laws 3 and/or Monads 6 [29]
... introduce the idea of monads *in* a general 2-category c (where putting c = cat gives the usual notion of monad ...

Categoria (teoria das categorias)
... teoria das categorias é um estudo matemático abstrato de estruturas matemáticas e as relações existentes entre elas. ...

Homologia (matemática)
... matemática, a homologia consiste na atribuição de uma sequência de grupos a um espaço topológico. na linguagem da teoria ...

Produto categorial
... comutativo do produto categorialo produto categorial é uma generalização categorial do produto cartesiano. seja c ...

Monomorfismo (teoria das categorias)
... monomorfismo (ou mono), no contexto de teoria das categorias, é uma seta que possui uma propriedade distintiva. seja uma ...

Produto fibrado
... de produto fibradoo produto fibrado é uma construção de teoria das categorias. dadas duas setas e , de uma ...

Objeto (teoria das categorias)
... no contexto de teoria das categorias, é um dos elementos que formam uma categoria. podemos entender uma categoria ...

Isomorfismo (teoria das categorias)
... isomorfismo (ou iso), no contexto de teoria das categorias, é uma seta que possui uma propriedade distintiva. seja uma ...

Objeto terminal
... terminal, no contexto de teoria das categorias, é um objeto especial em uma categoria. o objeto terminal, , é ...

Grupo fundamental
... topología, el grupo fundamental de un espacio topológico basado en un punto es el conjunto de clases de homotopía de ...

Objeto inicial
... inicial, no contexto de teoria das categorias, é um objeto especial em uma categoria. seja c uma categoria. um objeto ...