AbstractA new and simple method of describing all canonical natural transformations on closed categories is given by using internal languages to determine the structure of free closed categories
Given a class F of weights, one can consider the construction thattakes a small category C to the fr...
We show how one can reason about free monads using their universal properties rather than any concre...
AbstractSome old and new constructions of free categories with good properties (regularity, exactnes...
AbstractA new and simple method of describing all canonical natural transformations on closed catego...
AbstractWe show that every free cartesian closed category can be faithfully mapped to the category o...
AbstractThe necessary and sufficient conditions of commutativity of all the diagrams of canonical ma...
AbstractThe finite group (or profinite) topology was first introduced for the free group by M. Hall,...
AbstractProofs of propositions about ordinary categories, e.g. the Yoneda Lemma, may often be reinte...
We show that a version of Martin-Lof type theory with an extensional identity type former I, a unit ...
summary:We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using ...
International audienceWe show that a version of Martin-Löf type theory with extensional identity, a ...
We present a formalism for describing categories equipped with extra structure that involves covaria...
AbstractGiven a class F of weights, one can consider the construction that takes a small category C ...
The standard presentation of topological spaces relies heavily on (naïve) set theory: a topology con...
AbstractFor any locally small category A, applying Lawvere's “structure” functor to the hom-functor ...
Given a class F of weights, one can consider the construction thattakes a small category C to the fr...
We show how one can reason about free monads using their universal properties rather than any concre...
AbstractSome old and new constructions of free categories with good properties (regularity, exactnes...
AbstractA new and simple method of describing all canonical natural transformations on closed catego...
AbstractWe show that every free cartesian closed category can be faithfully mapped to the category o...
AbstractThe necessary and sufficient conditions of commutativity of all the diagrams of canonical ma...
AbstractThe finite group (or profinite) topology was first introduced for the free group by M. Hall,...
AbstractProofs of propositions about ordinary categories, e.g. the Yoneda Lemma, may often be reinte...
We show that a version of Martin-Lof type theory with an extensional identity type former I, a unit ...
summary:We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using ...
International audienceWe show that a version of Martin-Löf type theory with extensional identity, a ...
We present a formalism for describing categories equipped with extra structure that involves covaria...
AbstractGiven a class F of weights, one can consider the construction that takes a small category C ...
The standard presentation of topological spaces relies heavily on (naïve) set theory: a topology con...
AbstractFor any locally small category A, applying Lawvere's “structure” functor to the hom-functor ...
Given a class F of weights, one can consider the construction thattakes a small category C to the fr...
We show how one can reason about free monads using their universal properties rather than any concre...
AbstractSome old and new constructions of free categories with good properties (regularity, exactnes...
DOI
Add to ORKG