diff --git a/doc/Doc.autodoc b/doc/Doc.autodoc
index c654fd4a..9d15c5a1 100644
--- a/doc/Doc.autodoc
+++ b/doc/Doc.autodoc
@@ -46,6 +46,9 @@
 @Subsection Pushout
 @InsertChunk Pushout
 
+@Subsection Limit
+@InsertChunk Limit
+
 @Subsection Cartesian Lambda Introduction
 @InsertChunk CartesianLambdaIntroduction
 
@@ -112,6 +115,9 @@
 @Subsection Skeletal Pushout
 @InsertChunk SkeletalPushout
 
+@Subsection Skeletal Limit
+@InsertChunk SkeletalLimit
+
 @Subsection Skeletal Cartesian Lambda Introduction
 @InsertChunk SkeletalCartesianLambdaIntroduction
 
diff --git a/examples/Limit.g b/examples/Limit.g
new file mode 100644
index 00000000..c3399d4f
--- /dev/null
+++ b/examples/Limit.g
@@ -0,0 +1,18 @@
+#! @Chunk Limit
+
+LoadPackage( "FinSetsForCAP" );
+
+#! @Example
+m := FinSet( [ 1 .. 3 ] );
+#! <An object in FinSets>
+f := MapOfFinSets( m, [ [ 1, 3 ], [ 2, 2 ], [ 3, 1 ] ], m );
+#! <A morphism in FinSets>
+l := Limit( [ m ], [ [ 1, f, 1 ] ] );
+#! <An object in FinSets>
+Display( l );
+#! [ [ 2 ] ]
+e := ProjectionInFactorOfLimit( [ m ], [ [ 1, f, 1 ] ], 1 );
+#! <A morphism in FinSets>
+Display( e );
+#! [ [ [ 2 ] ], [ [ [ 2 ], 2 ] ], [ 1 .. 3 ] ]
+#! @EndExample
diff --git a/examples/SkeletalLimit.g b/examples/SkeletalLimit.g
new file mode 100644
index 00000000..66e6aeaf
--- /dev/null
+++ b/examples/SkeletalLimit.g
@@ -0,0 +1,18 @@
+#! @Chunk SkeletalLimit
+
+LoadPackage( "FinSetsForCAP" );
+
+#! @Example
+m := FinSet( 3 );
+#! <An object in SkeletalFinSets>
+f := MapOfFinSets( m, [ 3, 2, 1 ], m );
+#! <A morphism in SkeletalFinSets>
+l := Limit( [ m ], [ [ 1, f, 1 ] ] );
+#! <An object in SkeletalFinSets>
+Display( l );
+#! 1
+e := ProjectionInFactorOfLimit( [ m ], [ [ 1, f, 1 ] ], 1 );
+#! <A morphism in SkeletalFinSets>
+Display( e );
+#! [ 1, [ 2 ], 3 ]
+#! @EndExample