Zobrazeno 1 - 10
of 192
pro vyhledávání: '"Kan extension"'
Publikováno v:
Mathematical and Computational Applications, Vol 29, Iss 5, p 74 (2024)
Recent research has suggested that category theory can provide useful insights into the field of machine learning (ML). One example is improving the connection between an ML problem and the design of a corresponding ML algorithm. A tool from category
Externí odkaz:
https://doaj.org/article/27a110ce16eb4137b96326f033750307
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Jesús Castillo
Publikováno v:
Extracta Mathematicae (2021)
What has category theory to offer to Banach spacers? In this second part survey-like paper we will focus on very much needed advanced categorical and homological elements, such as Kan extensions, derived category and derived functor or Abelian hearts
Externí odkaz:
https://doaj.org/article/c72c7b9b76674df8b10d5615c7643d32
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Intermont, Michele
Publikováno v:
Transactions of the American Mathematical Society, 1999 Jul 01. 351(7), 2763-2775.
Externí odkaz:
https://www.jstor.org/stable/118000
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
We specialise a recently introduced notion of generalised dinaturality for functors $$T : (\mathcal {C}^\mathsf {op})^p \times \mathcal {C}^q \rightarrow \mathcal {D}$$ to the case where the domain (resp., codomain) is constant, obtaining notions of
Autor:
Martín Hötzel Escardó
Publikováno v:
Mathematical Structures in Computer Science. 31:89-111
We investigate the injective types and the algebraically injective types in univalent mathematics, both in the absence and in the presence of propositional resizing. Injectivity is defined by the surjectivity of the restriction map along any embeddin