DeepAI AI Chat
Log In Sign Up

On local presentability of T/A

07/06/2018
by   Patricia Johann, et al.
0

We prove that if A is a locally λ-presentable category and T : A→A is a λ-accessible functor then T/A is locally λ-presentable.

READ FULL TEXT

page 1

page 2

page 3

page 4

11/23/2022

A note on the category of c-spaces

We prove that the category of c-spaces with continuous maps is not carte...
10/15/2021

Non-existing and ill-behaved coequalizers of locally ordered spaces

Categories of locally ordered spaces are especially well-adapted to the ...
04/23/2019

A Category Theoretic Interpretation of Gandy's Principles for Mechanisms

Based on Gandy's principles for models of computation we give category-t...
06/04/2021

Verification Tools for Checking some kinds of Testability

A locally testable language L is a language with the property that for s...
04/09/2020

DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios

To ensure interoperability and the correct behavior of heterogeneous dis...
10/23/2017

Locally Nameless Permutation Types

We define "Locally Nameless Permutation Types", which fuse permutation t...
03/15/2022

Estimating the potential to prevent locally acquired HIV infections in a UNAIDS Fast-Track City, Amsterdam

Amsterdam and other UNAIDS Fast-Track cities aim for zero new HIV infect...