AbstractSome old and new constructions of free categories with good properties (regularity, exactness, etc.) are investigated, consistently showing their role in proof theory and in realizability theory, and in particular in the construction of the “effective topos” of M. Hyland. The subject of “small complete categories” is discussed, with a proposed new definition of what “complete” should mean for a full reflective subcategory of a topos
AbstractA new and simple method of describing all canonical natural transformations on closed catego...
International audienceThe notion of pasting diagram is central in the study of strict ω-categories: ...
ABSTRACT. In the present article we continue recent work in the direction of domain theory were cert...
AbstractThe regular and exact completions of categories withweak limits are proved to exist and to b...
ABSTRACT. Free regular and exact completions of categories with various ranks of weak limits are pre...
The thesis is a comprehensive analysis of realizability toposes, which is divided into three central...
Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. B...
The standard presentation of topological spaces rely heavily on (na ve) set theory: a topology cons...
AbstractWe introduce a relativised version of the regular and exact completion. This is motivated by...
Realizability toposes are "models of constructive set theory" based on abstract notions of computabi...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
A topos is a category satisfying certain axioms. By satisfying the topos axioms, a category can be t...
To complete a category is to embed it into a larger one which is closed under a given type of limits...
The problem of characterizing colimits in graphs (i.e., in free categories) has arisen in connection...
AbstractThis is a survey for the working mathematician of the theory of initially complete categorie...
AbstractA new and simple method of describing all canonical natural transformations on closed catego...
International audienceThe notion of pasting diagram is central in the study of strict ω-categories: ...
ABSTRACT. In the present article we continue recent work in the direction of domain theory were cert...
AbstractThe regular and exact completions of categories withweak limits are proved to exist and to b...
ABSTRACT. Free regular and exact completions of categories with various ranks of weak limits are pre...
The thesis is a comprehensive analysis of realizability toposes, which is divided into three central...
Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. B...
The standard presentation of topological spaces rely heavily on (na ve) set theory: a topology cons...
AbstractWe introduce a relativised version of the regular and exact completion. This is motivated by...
Realizability toposes are "models of constructive set theory" based on abstract notions of computabi...
Precategories generalize both the notions of strict n-category and sesquicategory: their definition ...
A topos is a category satisfying certain axioms. By satisfying the topos axioms, a category can be t...
To complete a category is to embed it into a larger one which is closed under a given type of limits...
The problem of characterizing colimits in graphs (i.e., in free categories) has arisen in connection...
AbstractThis is a survey for the working mathematician of the theory of initially complete categorie...
AbstractA new and simple method of describing all canonical natural transformations on closed catego...
International audienceThe notion of pasting diagram is central in the study of strict ω-categories: ...
ABSTRACT. In the present article we continue recent work in the direction of domain theory were cert...
DOI
Add to ORKG